4962 search results - page 508 / 993 » Stochastic Model Checking |
177
click to vote
FORMATS
2005
Springer
16 years 16 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
158
click to vote
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
207
click to vote
DKE
2002
15 years 6 months ago
2002
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...
179
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
236
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...