8232 search results - page 1535 / 1647 » Dynamic Logic Programming |
132
click to vote
WIOPT
2005
IEEE
15 years 8 months ago
2005
IEEE
Wireless networks consist of senders, receivers, and intermediate nodes that collaborating (more or less) to establish the communication paths. Most of the researches in the domai...
144
Voted
OTM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
147
click to vote
WWW
2004
ACM
15 years 7 months ago
2004
ACM
An increasingly large amount of such applications employ service objects such as Servlets to generate dynamic and personalized content. Existing caching infrastructures are not we...
142
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
127
click to vote
DOLAP
2003
ACM
15 years 7 months ago
2003
ACM
Motivated by the need for more flexible OLAP systems, this paper presents work on logical integration of external data in OLAP databases, carried out in cooperation between the D...