10159 search results - page 561 / 2032 » System Design Validation Using Formal Models |
188
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
185
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work, we investigate the security of anonymous wireless sensor networks. To lay down the foundations of a formal framework, we propose a new model for analyzing and evalua...
143
click to vote
EHCI
2001
15 years 7 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
184
click to vote
SRDS
2006
IEEE
16 years 15 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
191
click to vote
FORTE
2010
15 years 8 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...