10038 search results - page 621 / 2008 » Model Checking for Managers |
213
Voted
ISN
1999
Springer
15 years 11 months ago
1999
Springer
The ACTS FlowThru project aims to build a management system which supports the flow of management information across organisational and technological domains by reusing components ...
191
Voted
RULES
1993
Springer
15 years 11 months ago
1993
Springer
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
189
Voted
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Dynamic power management aims at extending battery life by switching devices to lower-power modes when there is a reduced demand for service. Static power management strategies can...
222
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
240
Voted
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...