2015 search results - page 134 / 403 » Some Observations on Indifferentiability |
129
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper presents a communication/coordination/ processing architecture for distributed adaptive observation of a spatial field using a fleet of autonomous mobile sensors. O...
126
click to vote
ICTCS
2007
Springer
15 years 10 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,...
126
click to vote
PAM
2007
Springer
15 years 10 months ago
2007
Springer
We report results from the analysis of a 24-hour packet trace containing TCP traffic of approximately 1300 residential ADSL clients. Some of our observations confirm earlier studi...
117
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
119
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...