2273 search results - page 334 / 455 » On the Expressiveness and Complexity of ATL |
EURONGI
2006
Springer
15 years 1 months ago
2006
Springer
We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. In general, our aim is to study the performance as perceived by users in a dynamic...
FASE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...
106
click to vote
BIBE
2001
IEEE
15 years 1 months ago
2001
IEEE
Effective analysis of genome sequences and associated functional data requires access to many different kinds of biological information. For example, when analysing gene expressio...
COMPSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
he correspondence between the role abstraction in Role-based Access Control (RBAC) and the notion of organizational positions, it seems easy to construct role hierarchies. This is...
ESWS
2010
Springer
15 years 1 months ago
2010
Springer
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...