3358 search results - page 174 / 672 » Dynamic Description Logics |
187
click to vote
APAL
2006
15 years 7 months ago
2006
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
183
click to vote
ACSC
2007
IEEE
16 years 1 months ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
209
click to vote
BPM
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
214
click to vote
CP
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
284
click to vote
GLOBAL
2003
Springer
16 years 10 days ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...