2685 search results - page 222 / 537 » A Formal Semantics for SPKI |
192
Voted
NMR
2004
Springer
16 years 3 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
160
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
205
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
189
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
151
click to vote
SEBD
2007
15 years 8 months ago
2007
Preference queries aim to retrieve from large databases those objects that better match user’s requirements. Approaches proposed so far in the DB field for specifying preference...