1914 search results - page 295 / 383 » Abstract lambda-Calculus Machines |
SIGMETRICS
2004
ACM
14 years 1 months ago
2004
ACM
d Abstract] Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, and Gregory R. Ganger Carnegie Mellon University This work explores the applicatio...
AMEC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Supply chains are a current, challenging problem for agentbased electronic commerce. Motivated by the Trading Agent Competition Supply Chain Management (TAC SCM) scenario...
AUSAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Analysis of queries posed to open-domain question-answering systems indicates that particular types of queries are dominant, e.g., queries about the identity of people, a...
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
CC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...