Sciweavers

1396 search results - page 129 / 280
» DATES: Design Analysis Tool for Enterprise Systems
Sort
View
WICSA
2004
15 years 7 months ago
Understanding Tradeoffs among Different Architectural Modeling Approaches
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...
Roshanak Roshandel, Bradley R. Schmerl, Nenad Medv...
EMSOFT
2008
Springer
15 years 8 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
IJHPCA
2006
99views more  IJHPCA 2006»
15 years 6 months ago
A Pragmatic Analysis Of Scheduling Environments On New Computing Platforms
Today, large scale parallel systems are available at relatively low cost. Many powerful such systems have been installed all over the world and the number of users is always incre...
Lionel Eyraud
KI
2007
Springer
16 years 16 days ago
The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems
This paper presents the behaviour-based control architecture iB2C (integrated Behaviour-Based Control) used for the development of complex robotic systems. The specification of be...
Martin Proetzsch, Tobias Luksch, Karsten Berns
RAS
2010
137views more  RAS 2010»
15 years 4 months ago
Development of complex robotic systems using the behavior-based control architecture iB2C
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
Martin Proetzsch, Tobias Luksch, Karsten Berns