10038 search results - page 427 / 2008 » Model Checking for Managers |
164
click to vote
CHI
2008
ACM
15 years 9 months ago
2008
ACM
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
173
click to vote
CN
2007
15 years 7 months ago
2007
The need for content access control in hierarchies (CACH) appears naturally in all contexts where a set of users have different access rights to a set of resources. The hierarchy...
172
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—A challenging aspect of mobile communications consists in exploring ways in which the available run time of terminals can be maximized. In this paper, we present a detai...
176
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
174
click to vote
FORMATS
2005
Springer
16 years 14 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...