1804 search results - page 228 / 361 » On set systems with a threshold property |
164
click to vote
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
168
click to vote
ATAL
2005
Springer
16 years 15 hour ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
167
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
Paracatadioptric sensors combine a parabolic shaped mirror and a camera inducing an orthographic projection. Such a configuration provides a wide field of view while keeping a s...
163
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
186
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...