4290 search results - page 151 / 858 » Formal Approaches to Teamwork |
172
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
158
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
206
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
194
click to vote
BRAIN
2010
Springer
15 years 3 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
168
click to vote
AICT
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents our approach for grid monitoring: A contextual grid monitoring by a model driven approach. Our approach consists in supervising an entity by taking into accoun...