7209 search results - page 923 / 1442 » Software Engineering for Multi-Agent Systems |
138
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
125
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
125
click to vote
ESSOS
2010
Springer
16 years 1 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
136
click to vote
ISPASS
2010
IEEE
15 years 11 months ago
2010
IEEE
—In the past ten years, computer architecture has seen a paradigm shift from emphasizing single thread performance to energy efficient, throughput oriented, chip multiprocessors...
130
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...