Sciweavers

3536 search results - page 412 / 708
» Local dependent components
Sort
View
APN
2008
Springer
15 years 6 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
DAGM
2008
Springer
15 years 6 months ago
A Multiple Kernel Learning Approach to Joint Multi-class Object Detection
Most current methods for multi-class object classification and localization work as independent 1-vs-rest classifiers. They decide whether and where an object is visible in an imag...
Christoph H. Lampert, Matthew B. Blaschko
ICONIP
2008
15 years 6 months ago
Time Series Analysis for Long Term Prediction of Human Movement Trajectories
This paper's intention is to adapt prediction algorithms well known in the field of time series analysis to problems being faced in the field of mobile robotics and Human-Robo...
Sven Hellbach, Julian Eggert, Edgar Körner, H...
CASCON
2004
79views Education» more  CASCON 2004»
15 years 6 months ago
An experimental simulation of multi-site software development
Effective communication and coordination across multiple sites is extremely important for global software development. An experimental simulation that mimics an interdependent sof...
N. Sadat Shami, Nathan Bos, Zach Wright, Susannah ...
GLOBECOM
2008
IEEE
15 years 5 months ago
Traffic-Aware Inter-Domain Routing for Improved Internet Routing Stability
This paper develops and studies a traffic-aware inter-domain routing (TIDR) protocol, which drastically improves the stability of the BGP-based inter-domain routing system. TIDR is...
Peng Chen, Woon Hyung Cho, Zhenhai Duan, Xin Yuan