2273 search results - page 218 / 455 » On the Expressiveness and Complexity of ATL |
251
click to vote
CMMR
2007
Springer
16 years 23 days ago
2007
Springer
Electroacoustic music lacks a definitive vocabulary for describing its spatiality. Not only does it lack a vocabulary for describing the spatial attributes of individual sound sour...
152
click to vote
CPAIOR
2007
Springer
16 years 23 days ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
152
click to vote
DBPL
2007
Springer
16 years 22 days ago
2007
Springer
Transforming relational data into XML, as known as XML publishing, is often necessary when one wants to exchange data residing in databases or to create an XML interface of a tradi...
169
click to vote
EMISA
2007
Springer
16 years 22 days ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
184
click to vote
ICFEM
2007
Springer
16 years 22 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...