Sciweavers

427 search results - page 83 / 86
» On the Power of Labels in Transition Systems
Sort
View
CIKM
2004
Springer
14 years 29 days ago
Extending and inferring functional dependencies in schema transformation
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...
Qi He, Tok Wang Ling
KDD
2009
ACM
168views Data Mining» more  KDD 2009»
14 years 8 months ago
Sustainable operation and management of data center chillers using temporal data mining
Motivation: Data centers are a critical component of modern IT infrastructure but are also among the worst environmental offenders through their increasing energy usage and the re...
Debprakash Patnaik, Manish Marwah, Ratnesh K. Shar...
EUROSYS
2009
ACM
14 years 4 months ago
Privacy-preserving browser-side scripting with BFlow
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle usersā€™ conļ¬...
Alexander Yip, Neha Narula, Maxwell N. Krohn, Robe...
HICSS
2007
IEEE
103views Biometrics» more  HICSS 2007»
14 years 1 months ago
Colombia Firm Energy Market
A firm energy market for Colombia is presented. Firm energyā€”the ability to provide energy in a dry periodā€”is the product needed for reliability in Colombiaā€™s hydrodominated ...
Peter Cramton, Steven Stoft
OOPSLA
2007
Springer
14 years 1 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer speciļ¬es a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden