3515 search results - page 616 / 703 » On the semantics of Strategy Logic |
166
click to vote
VLDB
2004
ACM
16 years 12 days ago
2004
ACM
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...
180
click to vote
ITCC
2003
IEEE
16 years 9 days ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
174
click to vote
WECWIS
2003
IEEE
16 years 9 days ago
2003
IEEE
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...
233
click to vote
AI
2003
Springer
16 years 8 days ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
211
click to vote
FORMATS
2003
Springer
16 years 8 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...