799 search results - page 126 / 160 » Refinement and Separation Contexts |
113
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
102
Voted
DANCE
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the activities in Application Level Active Networks (ALAN) under the DARPA-funded RADIOACTIVE Project; this is closely related to work carried out under a Eur...
134
click to vote
ISCA
2002
IEEE
15 years 8 months ago
2002
IEEE
Exponential growth in the number of on-chip transistors, coupled with reductions in voltage levels, makes each generation of microprocessors increasingly vulnerable to transient f...
150
Voted
AUSSOIS
2001
Springer
15 years 8 months ago
2001
Springer
In recent years the branch-and-cut method, a synthesis of the classical branch-and-bound and cutting plane methods, has proven to be a highly successful approach to solving large-s...
172
Voted
NEUROSCIENCE
2001
Springer
15 years 8 months ago
2001
Springer
Contours and surfaces are basic qualities which are processed by the visual system to aid the successful behavior of autonomous beings within the environment. There is increasing e...