1782 search results - page 327 / 357 » Tool Support for Proof Engineering |
143
click to vote
E4MAS
2006
Springer
15 years 3 months ago
2006
Springer
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
CAV
2001
Springer
15 years 3 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
WSC
2007
15 years 2 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
119
click to vote
ECBS
2007
IEEE
15 years 1 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...