152 search results - page 14 / 31 » Interactive verification of concurrent systems using symboli... |
JCP
2008
13 years 7 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
EPIA
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
NFM
2011
13 years 2 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
FMICS
2010
Springer
13 years 5 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
DIMEA
2008
13 years 9 months ago
2008
In this article, we present the development of research carried out to design a system of interactive scores for composition and execution, based on temporal constraints called Is...