10038 search results - page 422 / 2008 » Model Checking for Managers |
207
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Dynamic Power Management is a design methodology aiming at reducing power consumption of electronic systems, by performing selective shutdown of the idle system resources. The eff...
173
click to vote
ENGL
2008
15 years 7 months ago
2008
`Purchase dependency' refers to the dependency of purchase or non-purchase of one item or itemset on the purchase or non-purchase of another item or itemset. The research in t...
141
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
198
click to vote
WOA
2003
15 years 8 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
203
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—The delivery of latency sensitive packets is a crucial issue in real time applications of communication networks. Such packets often have a firm deadline and a packet becomes u...