2137 search results - page 328 / 428 » Proving Abstract Non-interference |
109
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal t...
131
Voted
DCOSS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we present local distributed algorithms for constructing spanners in wireless sensor networks modeled as unit ball graphs (shortly UBGs) and quasi-unit ball...
121
click to vote
FSE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The CBC-MAC or cipher block chaining message authentication code, is a well-known method to generate message authentication codes. Unfortunately, it is not forgery-secure...
125
Voted
ICLP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
101
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...