1109 search results - page 178 / 222 » Software verification for TinyOS |
ACMSE
2007
ACM
15 years 1 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
149
click to vote
B
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
COMPSAC
2007
IEEE
15 years 1 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
FOSSACS
2009
Springer
15 years 1 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...