1398 search results - page 130 / 280 » Ensuring Properties of Interaction Systems |
156
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
144
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
134
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
133
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
120
click to vote
PODC
2005
ACM
15 years 10 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...