152 search results - page 18 / 31 » Interactive verification of concurrent systems using symboli... |
122
click to vote
SP
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
107
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
138
Voted
ANSS
1997
IEEE
15 years 6 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
123
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
139
click to vote
HASE
1997
IEEE
15 years 6 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...