7452 search results - page 1163 / 1491 » A Semantics for Multiprocessor Systems |
215
click to vote
AMEC
2004
Springer
16 years 5 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...
168
Voted
ATAL
2004
Springer
16 years 5 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...
163
click to vote
DEXA
2004
Springer
16 years 4 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...
151
click to vote
GCC
2004
Springer
16 years 4 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...
180
click to vote
ICADL
2004
Springer
16 years 4 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...