621 search results - page 83 / 125 » Model Checking Probabilistic Distributed Systems |
TIP
2010
13 years 2 months ago
2010
Camera networks are being deployed for various applications like security and surveillance, disaster response and environmental modeling. However, there is little automated process...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
PPDP
2001
Springer
14 years 8 days ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
SDL
2007
13 years 9 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Many applications that make use of sensor networks require secure communication. Because asymmetric-key solutions are difficult to implement in such a resource-constrained env...