1737 search results - page 324 / 348 » On Interpolation in Existence Logics |
185
click to vote
VEE
2006
ACM
16 years 20 hour ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
167
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
188
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
187
click to vote
TLDI
2005
ACM
15 years 11 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
187
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...