372 search results - page 49 / 75 » From Data to Events: Checking Properties on the Control of a... |
ICLP
2007
Springer
14 years 14 days ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
SBBD
2004
13 years 10 months ago
2004
Flexible and dynamic environments are characterized by high independence from connection participants, low control over available services and high tolerance to communication fail...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
CSFW
1999
IEEE
14 years 28 days ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
MASCOTS
2010
13 years 10 months ago
2010
Controlling energy usage in data centers, and storage in particular, continues to rise in importance. Many systems and models have examined energy efficiency through intelligent sp...