3765 search results - page 120 / 753 » Formal Methods for Systems Engineering Behavior Models |
126
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
110
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
124
click to vote
ISOLA
2007
Springer
15 years 8 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
119
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
148
Voted
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 8 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...