3256 search results - page 207 / 652 » Applications of Formal Methods to System Design and Verifica... |
190
click to vote
RTAS
2008
IEEE
16 years 26 days ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
187
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
176
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
207
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
130
click to vote
AIL
2007
15 years 6 months ago
2007
One of the major problems in the implementation of the precautionary principle in environmental cases is the estimation of the weight of evidence. In this paper we propose a forma...