9210 search results - page 1518 / 1842 » Analyzing Real-Time Systems |
177
click to vote
CANS
2007
Springer
15 years 11 months ago
2007
Springer
We consider a key distribution scheme for securing node-to-node communication in sensor networks. While most schemes in use are based on random predistribution, we consider a syste...
119
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
131
click to vote
CIA
2007
Springer
15 years 11 months ago
2007
Springer
The process of reaching an agreement in a bilateral negotiation to a large extent determines that agreement. The tactics of proposing an offer and the perception of offers made by ...
131
click to vote
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
The ability to match faces in video is a crucial component for many multimedia applications such as searching and recognizing people in semantic video browsing, surveillance and h...
147
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...