4962 search results - page 360 / 993 » Stochastic Model Checking |
159
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
140
Voted
ROOM
2000
15 years 4 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
127
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper presents a novel stochastic link-layer channel model for IEEE 802.11 ad hoc networks. The model characterizes the variations of the channel service process in a non-...
151
Voted
WSC
2004
15 years 4 months ago
2004
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...
102
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...