457 search results - page 7 / 92 » Distributed verification with LoLA |
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
Defending against denial-of-service (DoS) in a mobile ad hoc network (MANET) is challenging because the network topology is dynamic and nodes are selfish. In this paper, we propos...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
CONCUR
1998
Springer
13 years 11 months ago
1998
Springer
PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion. We suggest viewing PA-processes as trees, and using treeautomata technique...