974 search results - page 123 / 195 » Formal Modeling of Communication Traces |
120
click to vote
CIA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a trust model extension that attempts to relax the assumptions that are currently taken by the majority of existing trust models: (i) proven identity of agents...
108
click to vote
SIMPRA
2008
14 years 11 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
CODES
1999
IEEE
15 years 3 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
LMO
1996
15 years 27 days ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...