Sciweavers

84 search results - page 8 / 17
» Collaborative Modelling and Co-simulation in the Development...
Sort
View
IROS
2007
IEEE
140views Robotics» more  IROS 2007»
14 years 1 months ago
Test-environment based on a team of miniature walking robots for evaluation of collaborative control methods
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
Florian Weissel, Marco F. Huber, Uwe D. Hanebeck
HICSS
2009
IEEE
189views Biometrics» more  HICSS 2009»
14 years 2 months ago
Predicting Change: A Study of the Value Frequency Model for Change of Practice
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
Robert O. Briggs, John D. Murphy, Thomas F. Carlis...
SOFSEM
2007
Springer
14 years 1 months ago
Separation of Concerns and Consistent Integration in Requirements Modelling
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
Xin Chen, Zhiming Liu, Vladimir Mencl
DATE
2003
IEEE
140views Hardware» more  DATE 2003»
14 years 27 days ago
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
Franco Carbognani, Christopher K. Lennard, C. Norr...
FM
2009
Springer
189views Formal Methods» more  FM 2009»
13 years 5 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...