Sciweavers

14331 search results - page 216 / 2867
» On the modeling and analysis of obligations
Sort
View
CORR
2010
Springer
225views Education» more  CORR 2010»
15 years 6 months ago
Analysis of the Security of BB84 by Model Checking
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
Mohamed Elboukhari, Mostafa Azizi, Abdelmalek Aziz...
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
15 years 5 months ago
Dynamic 3D scene analysis for acquiring articulated scene models
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
Agnes Swadzba, Niklas Beuter, Sven Wachsmuth, Fran...
SOCIALCOM
2010
15 years 4 months ago
Measurement, Modeling, and Analysis of a Large-scale Blog Sever Workload
Despite the growing popularity of Online Social Networks (OSNs), the workload characteristics of OSN servers, such as those hosting blog services, are not well understood. Understa...
Myeongjae Jeon, Jeaho Hwang, Youngjae Kim, Jae-Wan...
VIS
2004
IEEE
166views Visualization» more  VIS 2004»
16 years 7 months ago
2D Maps for Visual Analysis and Retrieval in Large Multi-Feature 3D Model Databases
Multimedia objects are often described by high-dimensional feature vectors which can be used for retrieval and clustering tasks. We have built an interactive retrieval system for ...
Benjamin Bustos, Daniel A. Keim, Christian Panse, ...
HICSS
2007
IEEE
95views Biometrics» more  HICSS 2007»
16 years 26 days ago
Cross - Border Public Services: Analysis and Modeling
This paper describes our work in the field of semantic interoperability in Pan-European Public Services. After introducing a layered interoperability model, a typology of Pan-Euro...
Vassilios Peristeras, Konstantinos A. Tarabanis, N...