442 search results - page 68 / 89 » Model Checking of Systems Employing Commutative Functions |
QEST
2005
IEEE
14 years 29 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
CHI
2000
ACM
13 years 11 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...
AAAI
2012
11 years 9 months ago
2012
In conservation biology and natural resource management, adaptive management is an iterative process of improving management by reducing uncertainty via monitoring. Adaptive manag...
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...