2106 search results - page 155 / 422 » Operational Semantics for MSC'96 |
151
click to vote
TREC
2000
15 years 7 months ago
2000
This paper describes the architecture, operation and results obtained with the Question Answering prototype developed in the Department of Language Processing and Information Syst...
163
Voted
SOSP
2005
ACM
16 years 2 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
333
click to vote
ICDE
2009
IEEE
16 years 7 months ago
2009
IEEE
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
141
Voted
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
163
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
This paper brings forward a two-phase semantic service discovery mechanism which supports both the operation matchmaking and operation-composition matchmaking. A serial of experim...