61 search results - page 9 / 13 » Verification of safety properties for concurrent assembly co... |
119
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
SIGSOFT
2007
ACM
16 years 1 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 ...
124
Voted
ISSRE
2010
IEEE
14 years 11 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
115
Voted
DC
2010
15 years 15 days ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
113
Voted
SP
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...