488 search results - page 58 / 98 » Derivation of Java Monitors |
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we extend our previous work on soft probabilistic contracts for QoS management, from the particular case of “response time”, to general QoS parameters. Our stu...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper presents a distributed control strategy for deploying hovering robots with multiple downward facing cameras to collectively monitor an environment. Information per p...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...
108
click to vote
ECMDAFA
2007
Springer
15 years 6 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Provenance is generally defined as the documentation of a process that leads to some result, and has long been recognised as being fundamental to the development of problem solvi...