SAC
2004
ACM
14 years 11 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 11 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 11 months ago
2004
ACM
SAC
2004
ACM
14 years 11 months ago
2004
ACM
ËØÓÖ Ò × Ø× Ò ÕÙ ÖÝ Ò Ø Ñ ´ º º¸ ×Ù × Ø ÕÙ Ö × Ø Ø ÔÖÓÚ ÐÐ ×ÙÔ Ö× Ø× Ó Ú Ò × Øµ × ÒÓÛÒ ØÓ Æ ÙÐØ Û Ø Ò Ö Ð Ø ÓÒ ...
SAC
2004
ACM
14 years 11 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 11 months ago
2004
ACM
SAC
2004
ACM
14 years 11 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 11 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 11 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 11 months ago
2004
ACM