1398 search results - page 45 / 280 » Ensuring Properties of Interaction Systems |
89
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
154
click to vote
ICONS
2009
IEEE
15 years 10 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
139
Voted
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
137
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
163
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...