7452 search results - page 1163 / 1491 » A Semantics for Multiprocessor Systems |
240
click to vote
AMEC
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
185
Voted
ATAL
2004
Springer
16 years 28 days ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
187
click to vote
DEXA
2004
Springer
16 years 28 days ago
2004
Springer
Data integration is a significant challenge: relevant data objects are split across multiple information sources, and often owned by different organizations. The sources represent...
173
click to vote
GCC
2004
Springer
16 years 27 days ago
2004
Springer
This paper introduces a novel approach for dynamic service establishment in a virtual organization. To allow dynamism semantic information has to be processed. A common language is...
197
click to vote
ICADL
2004
Springer
16 years 27 days ago
2004
Springer
In order to support various requirements from the user’s perspective, digital library (DL) systems may need to apply a large variety of services, such as query services for a spe...