3228 search results - page 423 / 646 » Computationally Sound Proofs |
117
Voted
ICCSA
2007
Springer
15 years 9 months ago
2007
Springer
Information aggregation is an important operation in wireless sensor networks executed for the purpose of monitoring and reporting of the environmental data. Due to the performance...
120
Voted
ICTCS
2007
Springer
15 years 9 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
119
Voted
ICTCS
2007
Springer
15 years 9 months ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
132
Voted
PERVASIVE
2007
Springer
15 years 9 months ago
2007
Springer
Peripheral or ambient displays move information from the periphery to the center of human attention and back. Our research group is interested in the interaction and interface des...
125
click to vote
SARA
2007
Springer
15 years 9 months ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...