4190 search results - page 273 / 838 » Implementing commitment-based interactions |
139
click to vote
ISCA
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper evaluates the tradeoffs involved in the design of the software-extended memory system of Alewife, a multiprocessor architecturethat implements coherentsharedmemorythrou...
138
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Systems are increasingly expected to adapt themselves to changing requirements and environmental situations with minimum user interactions. A challenge for self-adaptation is the i...
132
click to vote
ACE
2003
15 years 5 months ago
2003
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...
122
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
149
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...