974 search results - page 77 / 195 » Formal Modeling of Communication Traces |
156
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
109
Voted
NHM
2010
14 years 6 months ago
2010
We propose here a general framework to address the question of trace operators on a dyadic tree. This work is motivated by the modeling of the human bronchial tree which, thanks t...
102
Voted
UIC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
100
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
PE
2000
Springer
14 years 11 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...