12981 search results - page 2075 / 2597 » Model Checking (Abstract) |
165
click to vote
EKAW
2006
Springer
15 years 11 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
204
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
214
click to vote
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Mix networks are a popular mechanism for anonymous Internet communications. By routing IP traffic through an overlay chain of mixes, they aim to hide the relationship bet...
244
click to vote
EUROPKI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
243
Voted
EUROS
2006
15 years 11 months ago
2006
Abstract. The Scale Invariant Feature Transform (SIFT) has become a popular feature extractor for vision-based applications. It has been successfully applied to metric localization...