3515 search results - page 499 / 703 » On the semantics of Strategy Logic |
208
click to vote
WECWIS
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
292
click to vote
ARTDB
1997
Springer
15 years 11 months ago
1997
Springer
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
208
click to vote
POPL
1996
ACM
15 years 11 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
200
click to vote
APCCM
2004
15 years 8 months ago
2004
In this paper we present a multilingual information retrieval system that provides access to Tourism information by exploiting the intuitiveness of natural language. In particular...
168
click to vote
AAAI
1997
15 years 8 months ago
1997
Case-based problem-solving systems rely on similarity assessment to select stored cases whose solutions are easily adaptable to t current problems. However, widely-used similarity...