4290 search results - page 252 / 858 » Formal Approaches to Teamwork |
149
click to vote
MIAR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...
174
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
224
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
192
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
228
click to vote
FORTE
2009
15 years 4 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...