2661 search results - page 328 / 533 » Model Checking Performability Properties |
128
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
121
Voted
INFORMS
1998
15 years 10 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
100
Voted
EMSOFT
2009
Springer
15 years 5 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
111
Voted
MOBIHOC
2008
ACM
16 years 7 days ago
2008
ACM
Recent discovery of the mixture (power-law and exponential) behavior of inter-meeting time distribution of mobile nodes presents new challenge to the problem of mobility modeling ...
90
Voted
WSC
2004
15 years 2 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...