123 search results - page 20 / 25 » A case study on the automated verification of groupware prot... |
JAR
2008
13 years 7 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
ENTCS
2008
13 years 7 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
ASE
2004
13 years 7 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
CHI
2004
ACM
14 years 7 months ago
2004
ACM
The aim of our study is to investigate systems for supporting remote instruction via a mobile robot. In the real world, instructions are typically given through words and body ori...