1060 search results - page 102 / 212 » Mechanized semantics |
109
click to vote
GRID
2008
Springer
14 years 10 months ago
2008
Springer
A Grid information system should rely upon two basic features: the replication and dissemination of information about Grid services and resources, and the distribution of such info...
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...
178
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- We investigate techniques to automatically decompose any XQuery query into subqueries, that can be executed near their data sources; i.e., function-shipping. In this sce...
MICS
2010
14 years 8 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
173
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...