1398 search results - page 82 / 280 » Ensuring Properties of Interaction Systems |
133
click to vote
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
186
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
116
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper considers networks consisting of integral input-to-state stable (iISS) subsystems and addresses the problem of verifying iISS property of a given network. First, we ...
140
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Shoogle is a novel, intuitive interface for sensing data within a mobile device, such as presence and properties of text messages or remaining resources. It is based around active...
147
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
This study examines the interaction effect between user factors and media factors on feelings of social presence which are critical in the design of virtual reality systems and hu...