2024 search results - page 42 / 405 » A Formal Model of Multi-agent Computations |
DAC
2003
ACM
14 years 9 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
GCC
2003
Springer
14 years 1 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
EUROMICRO
2000
IEEE
14 years 28 days ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
NSPW
1998
ACM
14 years 23 days ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
IFIPTCS
2000
14 years 3 days ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...