2136 search results - page 328 / 428 » A Game-Theoretic Operational Semantics |
179
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
To make the World Wide Web machine-understandable there is a strong demand both for languages describing metadata and for languages querying metadata. The Resource Description Fram...
173
click to vote
ASPLOS
1998
ACM
15 years 10 months ago
1998
ACM
Optimizations aimed at reducing the impact of memory operations on execution speed have long concentrated on improving cache performance. These efforts achieve a reasonable level...
154
click to vote
RULES
1993
Springer
15 years 10 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...
195
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
173
click to vote
LISA
2008
15 years 8 months ago
2008
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...