2138 search results - page 391 / 428 » Logical Step-Indexed Logical Relations |
145
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
165
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
140
click to vote
IANDC
2006
15 years 4 months ago
2006
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
155
click to vote
JAIR
2008
15 years 4 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
146
click to vote
JLP
2008
15 years 4 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...