11324 search results - page 1871 / 2265 » Coordination Models and Languages |
169
click to vote
DEON
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
192
click to vote
ER
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In Data Warehouse (DW) scenarios, ETL (Extraction, Transformation, Loading) processes are responsible for the extraction of data from heterogeneous operational data sourc...
227
click to vote
NMR
2004
Springer
16 years 6 days ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
161
Voted
SAT
2004
Springer
16 years 6 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
181
click to vote
COOPIS
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...