2273 search results - page 110 / 455 » On the Expressiveness and Complexity of ATL |
FQAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. When querying XML collections, users cannot always express their need in a precise way. Systems should therefore support vagueness at both the content and structural leve...
VLDB
1995
ACM
15 years 1 months ago
1995
ACM
Query processing is one of the most, critical issues in Object-Oriented DBMSs. Extensible opt,imizers with efficient, search strategies require a cost model to select the most eff...
ACL
1998
14 years 11 months ago
1998
A model for reference use in communication is proposed, from a representationist point of view. Both the sender and the receiver of a message handle representations of their commo...
ENTCS
2006
14 years 10 months ago
2006
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...
102
click to vote
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...