1953 search results - page 101 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
100
click to vote
ANTSW
2008
Springer
15 years 3 months 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...
123
Voted
HPCN
1995
Springer
15 years 5 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
15 years 7 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 ...
124
click to vote
EMSOFT
2008
Springer
15 years 3 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...
141
click to vote
RE
2006
Springer
15 years 1 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...