Sciweavers

2136 search results - page 420 / 428
» A Game-Theoretic Operational Semantics
Sort
View
ATAL
2010
Springer
15 years 2 months ago
A model of normative power
A power describes the ability of an agent to act in some way. While this notion of power is critical in the context of organisational dynamics, and has been studied by others in t...
Nir Oren, Michael Luck, Simon Miles
GG
2008
Springer
15 years 2 months ago
Transformation-Based Operationalization of Graph Languages
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
Erhard Weinell
134
Voted
SIGMOD
2010
ACM
232views Database» more  SIGMOD 2010»
15 years 2 months ago
Optimizing content freshness of relations extracted from the web using keyword search
An increasing number of applications operate on data obtained from the Web. These applications typically maintain local copies of the web data to avoid network latency in data acc...
Mohan Yang, Haixun Wang, Lipyeow Lim, Min Wang
149
Voted
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 2 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
124
Voted
VEE
2010
ACM
204views Virtualization» more  VEE 2010»
15 years 2 months ago
Energy-efficient storage in virtual machine environments
Current trends in increasing storage capacity and virtualization of resources combined with the need for energy efficiency put a challenging task in front of system designers. Pre...
Lei Ye, Gen Lu, Sushanth Kumar, Chris Gniady, John...