103 search results - page 15 / 21 » Dependability Analysis and Verification for Connected System... |
99
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
194
click to vote
POPL
2008
ACM
15 years 12 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
114
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
100
click to vote
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...