974 search results - page 32 / 195 » Formal Modeling of Communication Traces |
JOT
2008
13 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
TCAD
2008
13 years 7 months ago
2008
We propose a methodology for the early estimation of communication implementation choices eftarting from an abstract transaction level system model (TLM). The reference version of ...
AAAI
2006
13 years 8 months ago
2006
Helping behavior in effective teams is enabled by some overlapping "shared mental models" that are developed and maintained by members of the team. In this paper, we tak...
JOT
2010
13 years 5 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
LATINCRYPT
2010
13 years 5 months ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...