5639 search results - page 1048 / 1128 » Timed Abstract Non-interference |
123
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
117
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
CICLING
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
128
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
172
click to vote
CLEAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper describes Pittsburgh Pattern Recognition’s participation in the face detection and tracking tasks for the CLEAR 2007 evaluation. Since CLEAR 2006, we have ma...