SAC
2004
ACM
14 years 2 months ago
2004
ACM
Integrity constraints are valuable tools for enforcing consistency of data in a database. Global integrity constraints ensure integrity and consistency of data spanning multiple d...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
SAC
2004
ACM
14 years 2 months ago
2004
ACM
ËØÓÖ Ò × Ø× Ò ÕÙ ÖÝ Ò Ø Ñ ´ º º¸ ×Ù × Ø ÕÙ Ö × Ø Ø ÔÖÓÚ ÐÐ ×ÙÔ Ö× Ø× Ó Ú Ò × Øµ × ÒÓÛÒ ØÓ Æ ÙÐØ Û Ø Ò Ö Ð Ø ÓÒ ...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
An import issue for numerical weather prediction modes (NWP) is the time it takes to produce a valid forecast. One factor, which greatly influences this simulation time is the si...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
The purpose of this paper is to investigate the use of a new concept in component communication, expressed by the channel based coordination language called ρέω, in the coordina...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
SAC
2004
ACM
14 years 2 months ago
2004
ACM