427 search results - page 71 / 86 » On the Power of Labels in Transition Systems |
VEE
2006
ACM
14 years 3 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
SYRCODIS
2008
13 years 11 months ago
2008
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
EDBT
1994
ACM
14 years 2 months ago
1994
ACM
We describe a system that provides query based associative access to the contents of distributed information servers. In typical distributed information systems there are so many o...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
Energy consumption is a major and costly problem in data centers. A large fraction of this energy goes to powering idle machines that are not doing any useful work. We identify tw...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...