检索结果-内蒙古大学图书馆

2014 Symposium on Theory of Modeling and Simulation - DEVS Integrative M and S Symposium, DEVS 2014;2014 Spring Simulation Multi-Conference, SpringSim 2014

作者： Johanson, Arne Hasselbring, Wilhelm Department of Computer Science Software Engineering Group Kiel University Kiel Germany GEOMAR- Helmholtz Centre for Ocean Research Kiel Germany

ISBN: (纸本)9781632662156

Scientific software is becoming more complex and its development nowadays is often an interdisciplinary process in which usually scientists - most of them without training in software engineering - implement the software themselves. To help them achieve a good code quality, we propose to employ a process called Sprat based on the concept of hierarchies of domain-specific languages (DSLs). In such a hierarchy, every DSL constitutes an implementation platform for the DSL directly above it. Each role in the development process (i.e., a scientist from a specific discipline) implements a layer of the software in a DSL belonging to the hierarchy. Therefore, the scientists only deal with abstractions they are familiar with from their respective domain and a clear separation of components is attained. To evaluate the Sprat approach, we present its application to the development of the Sprat simulation - A marine ecosystem model for long-term fish stock prediction.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Cloud API issues: An empirical study and impact 13

Cloud API issues: An empirical study and impact

引用

9th International ACM Sigsoft Conference on the Quality of software Architectures, QoSA 2013

作者： Lu, Qinghua Zhu, Liming Bass, Len Xu, Xiwei Li, Zhanwen Wada, Hiroshi Software Systems Research Group NICTA Sydney Australia School of Computer Science and Engineering University of New South Wales Sydney Australia

ISBN: (纸本)9781450321266

Outages to the cloud infrastructures have been widely publicized and it would be easy to conclude that application developers only need to be concerned with large scale cloud provider infrastructure outages. Unfortunately, this is not the case. In-cloud applications heavily rely on cloud infrastructure APIs (directly or indirectly through scripts and consoles) for many sporadic activities such as deployment change, scaling out/in, backup, recovery and migration. Failures and/or issues around API calls are a large source of faults that could lead to application failures, especially during sporadic activities. Infrastructure outages can also be greatly exacerbated by API-related issues. In this paper we present an empirical study of issues in Amazon EC2 APIs. Some of the major findings around API issues include: 1) A majority (60%) of the cases of API failures are related to "stuck" API calls or unresponsive API calls. 2) A significant portion (12%) of the cases of API failures are about slow responsive API calls. 3) 19% of the cases of API failures are related to the output issues of API calls, including failed calls with unclear error messages, as well as missing output, wrong output, and unexpected output of API calls. 4) There are 9% cases of API failures reporting that their calls (performing some actions and expecting a state change) were pending for a certain time and then returned to the original state without informing the caller properly or the calls were reported to be successful first but failed later. We also classify the causes of API issues and discuss the impact of API issues on application architectures. Copyright © ACM.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

computer science and communications protocols: research relationships 3rd

引用

3rd International Conference on Computing and Information, ICCI 1991

作者： Probert, Robert L. Protocols/Software Engineering Research Group Department of Computer Science University of Ottawa OttawaONKIN 6N5 Canada

ISBN: (纸本)9783540540298

Many of the interesting problems in computer Science related to software engineering have yielded only to partial solutions or not at all. In the related areas of research denoted Communications software engineering and Protocols, most corresponding problems are on their way to a solution. In this presentation, we will explore some similarities and differences between these research areas by giving examples of problems which appear to be tractable in one area and not the other, and conclude with some ideas for building conceptual bridges. © Springer-Verlag Berlin Heidelberg 1991.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

You hacked and now what? – Exploring outcomes of a corporate hackathon

引用

Proceedings of the ACM on Human-computer Interaction 2018年第CSCW期2卷 1-23页

作者： Nolte, Alexander Pe-Than, Ei Pa Pa Filippova, Anna Bird, Christian Scallen, Steve Herbsleb, James D. University of Tartu Software Engineering % Information Systems Group Institute of Computer Science Tartu Estonia Carnegie Mellon University Institute for Software Research School of Computer Science PittsburghPA United States GitHub Inc. San Francisco CA United States Microsoft Research RedmondWA United States Microsoft Garage RedmondWA United States

Time bounded events such as hackathons, data dives, codefests, hack-days, sprints or edit-a-thons have increasingly gained attention from practitioners and researchers. Existing research, however, has mainly focused on the event itself, while potential outcomes of hackathons have received limited attention. Furthermore, most research around hackathons focuses on collegiate or civic events. research around hackathons internal to tech companies, which are nearly ubiquitous, and present significant organizational, cultural, and managerial challenges, remains scarce. In this paper we address this gap by presenting findings from a case study of five teams which participated in a large scale corporate hackathon. Most team members voiced their intentions to continue the projects their worked on during the hackathon, but those whose projects did get continued were characterized by meticulous preparation, a focus on executing a shared vision during the hackathon, extended dissemination activities afterwards and a fit to existing product lines. Such teams were led by individuals who perceived the hackathon as an opportunity to bring their idea to life and advance their careers, and who recruited teams who had a strong interest in the idea and in learning the skills necessary to contribute efficiently. Our analysis also revealed that individual team members perceived hackathon participation to have positive effects on their career parts, networks and skill development. © 2018 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： computer programming

来源：评论

学校读者我要写书评

暂无评论

Ensuring IoT Controller Reliability with Colored Generalized Stochastic Petri Net 28

Ensuring IoT Controller Reliability with Colored Generalized...

引用

28th International computer Science and engineering Conference, ICSEC 2024

作者： Samngamnoi, Kruntarat Pomsiri, Sutinun Kamput, Apipath Dechsupa, Chanon College of Computing Khon Kaen University Intelligent Software Engineering Research Group Department of Computer Science Khon Kaen40002 Thailand

ISBN: (纸本)9798350366860

In IoT systems managing multiple devices simultaneously, errors in system controllers often undermine intended operations. Formal verification offers a method to assess system reliability. Colored Generalized Stochastic Petri Net (CGSPN), a formal language, facilitate correctness checks of such systems. This study proposes a verification approach by translating a C++-based system controller of a self-service machine into a CGSPN models and validating it using the Snoopy Tool. Mapping techniques employed to transform components in the controller into CGSPN models are provided. Results demonstrate the method's efficacy in verifying system safety properties, simulating system events, and enabling quantitative verification. © 2024 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Context-aware UI component reuse

Context-aware UI component reuse

引用

25th International Conference on Advanced Information Systems engineering, CAiSE 2013

作者： Klemisch, Kerstin Weber, Ingo Benatallah, Boualem School of Computer Science and Engineering University of New South Wales Australia Software Systems Research Group NICTA Sydney NSW Australia

ISBN: (纸本)9783642387081

Adapting user interfaces (UIs) to various contexts, such as for the exploding number of different devices, has become a major challenge for UI developers. The support offered by current development environments for UI adaptation is limited, as is the support for the efficient creation of UIs in Web service-based applications. In this paper, we describe an approach where - based on a given context - a complete user interface is suggested. We demonstrate the approach for the example of a SOA environment. The suggestions are created by a rule-based recommender system, which combines Web service-bound UI elements with other UI building blocks. The approach has been implemented, as well as evaluated by simulating the development of 115 SAP UI screens. © 2013 Springer-Verlag.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Soilse: A decentralized approach to optimization of fluctuating urban traffic using reinforcement learning

Soilse: A decentralized approach to optimization of fluctuat...

引用

International IEEE Conference on Intelligent Transportation Systems

作者： Salkham, AS'ad Cahill, Vinny Distributed Systems Group School of Computer Science and Statistics Trinity College Dublin Ireland Lero - The Irish Software Engineering Research Centre

ISBN: (纸本)9781424476572

Increasing traffic congestion is a major problem in urban areas, which incurs heavy economic and environmental costs in both developing and developed countries. Efficient urban traffic control (UTC) can help reduce traffic congestion. However, the increasing volume and the dynamic nature of urban traffic pose particular challenges to UTC. Reinforcement Learning (RL) has been shown to be a promising approach to efficient UTC. However, most existing work on RL-based UTC does not adequately address the fluctuating nature of urban traffic. This paper presents Soilse1, a decentralized RL-based UTC optimization scheme that includes a nonparametric pattern change detection mechanism to identify local traffic pattern changes that adversely affect an RL agent's performance. Hence, Soilse is adaptive as agents learn to optimize for different traffic patterns and responsive as agents can detect genuine traffic pattern changes and trigger relearning. We compare the performance of Soilse to two baselines, a fixed-time approach and a saturation balancing algorithm that emulates SCATS, a well-known UTC system. The comparison was performed based on a simulation of traffic in Dublin's inner city centre. Results from using our scheme show an approximate 35%-43% and 40%-54% better performance in terms of average vehicle waiting time and average number of vehicle stops respectively against the best baseline performance in our simulation. ©2010 IEEE.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

A Novel Association Rule Mining Method for Streaming Temporal Data

引用

Annals of Data Science 2022年第4期9卷 863-883页

作者： Zheng, Hui Li, Peng He, Jing School of Computer Science Nanjing University of Posts and Telecommunications Nanjing China Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks Jiangsu Nanjing China School of Software and Electrical Engineering Swinburne University of Technology Melbourne Australia

Streaming temporal data contains time stamps and values, challenging to quantify relationships of time stamps and corresponding values. Moreover, the characteristics and relationships of streaming temporal data are not invariable. Thus, it is impossible to analyse all data by a trained model at the beginning of data streams. Practically, the trained model to analyse streaming temporal data should change according to the increasing volume of data. Association rule mining, on the other hand, can find potential relationships from given data. This paper proposes an association rule mining method for streaming temporal data to discover potential relationships from streaming temporal data. Our experiments verify our proposed method. A public data set is applied to compare the performance of the proposed method and its counterpart. A small data set is also applied for two case studies to further illustrate our proposed method mine association rules with streaming temporal data with time stamps and corresponding values. © 2021, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

关键词： Association rule mining Streaming data Potential relationships Timestamp Value Data mining Association rule learning

来源：评论

学校读者我要写书评

暂无评论

Coordinated load management in Peer-to-Peer coupled federated grid systems

Coordinated load management in Peer-to-Peer coupled federate...

引用

作者： Ranjan, Rajiv A., Harwood R., Buyya Research Group School of Computer Science and Engineering University of New South Wales Sydney Australia Clouds Lab and P2P Group Department of Computer Science and Software Engineering University of Melbourne Melbourne Australia

This paper proposes a coordinated load management protocol for Peer-to-Peer (P2P) coupled federated Grid systems. The participants in the system, such as the resource providers and the consumers who belong to multiple control domains, work together to enable a coordinated federation. The coordinated load management protocol embeds a logical spatial index over a Distributed Hash Table (DHT) space for efficient management of the coordination objects;the DHT-based space serves as a kind of decentralized blackboard system. We show that our coordination protocol has a message complexity that is logarithmic to the number of nodes in the system, which is significantly better than existing broadcast based coordination protocols. The proposed load management protocol can be applied for efficiently coordinating resource brokering services of distributed computing systems such as grids and PlanetLab. Resource brokering services are the main components that control the way applications are scheduled, managed and allocated in a distributed, heterogeneous, and dynamic Grid computing environments. Existing Grid resource brokers, e-Science application work-flow schedulers, operate in tandem but still lack a coordination mechanism that can lead to efficient application schedules across distributed resources. Further, lack of coordination exacerbates the utilization of various resources (such as computing cycles and network bandwidth). The feasibility of the proposed coordinated load management protocol is studied through extensive simulations. © 2012 Springer Science+Business Media, LLC.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Implementation of Smart Headband for the wearable healthcare

Implementation of Smart Headband for the wearable healthcare

引用

26th IEEE International Conference on Consumer Electronics, The Mobile Consumer, ICCE 2008

作者： Kim, Sanghyun Ryoo, Dongwan Bae, Changseok Department of Computer Software and Engineering Korea University of Science and Technology Korea Republic of Post PC Research Group Electronics and Telecommunications Research Institute Korea Republic of

ISBN: (纸本)142441458X

The rapid technology advances enable healthcare system to monitor physiological signals in human's daily life. The wearable healthcare system should be not only small and easy for users to wear them but accurate in measuring physiological signals in daily life without any inconvenience. To meet these requirements we propose a headband-style device to be easily wearable, Smart Headband. It measures a photoplethysmography (PPG) signal at the forehead for monitoring the heart rate and acceleration signals for counting the number of steps. For the precise measurement, we adopt Adaptive Noise Cancellation (ANC). Smart Headband can provide the healthcare service to monitor the health state and to alert emergency situation. ©2008 IEEE.

关键词： Health care

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：