1953 search results - page 101 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
ANTSW
2008
Springer
14 years 4 days ago
2008
Springer
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
HPCN
1995
Springer
14 years 1 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
EMSOFT
2008
Springer
13 years 12 months ago
2008
Springer
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...
RE
2006
Springer
13 years 10 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...