4962 search results - page 114 / 993 » Stochastic Model Checking |
144
click to vote
TC
2002
15 years 6 months ago
2002
The efficient distribution of stored information has become a major concern in the Internet which has increasingly become a vehicle for the transport of stored video. Because of th...
231
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
168
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Uniļ¬ed Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
169
click to vote
AIIA
2007
Springer
16 years 15 days ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of ācourse designā, that we call curricula model, and introduce a graphical language, groun...
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The speciļ¬catio...