2273 search results - page 224 / 455 » On the Expressiveness and Complexity of ATL |
152
click to vote
POLICY
2005
Springer
16 years 1 days ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
188
click to vote
SACMAT
2004
ACM
15 years 12 months ago
2004
ACM
In order to provide a general access control methodology for parts of XML documents, we propose combining rolebased access control as found in the Role Graph Model, with a methodo...
149
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
196
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
158
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
Most image retrieval systems only allow a fragment of text or an example image as a query. Most users have more complex information needs that are not easily expressed in either of...