554 search results - page 73 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
ITSSA
2006
13 years 8 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Performance of WLANs has been extensively studied during the past few years. While the focus has mostly been on isolated cells, the coverage of WLANs is in practice most often rea...
WOTUG
2008
13 years 10 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— Robotic routers (mobile robots with wireless communication capabilities) can create an adaptive wireless network and provide communication services for mobile users ond...
MOVEP
2000
14 years 9 days ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...