19 search results - page 2 / 4 » SMART: Stochastic Model-checking Analyzer for Reliability an... |
EICS
2009
ACM
14 years 4 hour ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
CAV
2012
Springer
11 years 8 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
APN
2004
Springer
13 years 11 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
MOBICOM
2006
ACM
13 years 11 months ago
2006
ACM
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
EXPERT
2007
13 years 5 months ago
2007
Prediction is an important component in a variety of domains. Intelligent systems that can predict future events are better enabled to make more informed, and therefore more relia...