Sciweavers

570 search results - page 30 / 114
» Using Patterns in the Design of Inter-organizational Systems...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 27 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
JFR
2010
59views more  JFR 2010»
13 years 3 months ago
A robotic system for monitoring carp in Minnesota lakes
Robotic Sensor Networks (RSNs) find increasing use in environmental monitoring as RSNs can collect data from obscure, hard-to-reach places over long periods of time. This work rep...
Pratap Tokekar, Deepak Bhadauria, Andrew Studenski...
DSVIS
2008
Springer
13 years 10 months ago
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofi...
ISESE
2005
IEEE
14 years 2 months ago
The use and usefulness of the ISO/IEC 9126 quality standard
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
Hiyam Al-Kilidar, Karl Cox, Barbara Kitchenham
ISPE
2003
13 years 10 months ago
A collaborative knowledge management system for concurrent design and manufacturing
ABSTRACT: Knowledge systems for scientific and engineering endeavors must be able to insure the accuracy, completeness, and validity of their contents. When designed as such, these...
A. H. Liszka, William A. Stubblefield, Stephen D. ...