728 search results - page 61 / 146 » A Logical View of Choreography |
181
click to vote
ADC
2008
Springer
16 years 3 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
143
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
137
click to vote
NGITS
1997
Springer
15 years 10 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
199
click to vote
ISKI
1994
15 years 9 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
147
click to vote
EKAW
2000
Springer
15 years 9 months ago
2000
Springer
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...