2514 search results - page 131 / 503 » The use of industrial-strength formal methods |
161
click to vote
FMICS
2010
Springer
15 years 4 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...
187
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Different rule semantics have been successively defined in many contexts such as implications in artificial intelligence, functional dependencies in databases or association rules...
261
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...
164
click to vote
IFM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
161
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...