Sciweavers

1839 search results - page 110 / 368
» Models of Coordination
Sort
View
ACSW
2006
13 years 11 months ago
Modelling denial of service attacks on JFK with Meadows's cost-based framework
We present the first detailed application of Meadows's cost-based modelling framework to the analysis of JFK, an Internet key agreement protocol. The analysis identifies two ...
Jason Smith, Juan Manuel González Nieto, Co...
SASO
2009
IEEE
14 years 5 months ago
MOCAS: A State-Based Component Model for Self-Adaptation
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
Cyril Ballagny, Nabil Hameurlain, Franck Barbier
ICRA
2009
IEEE
191views Robotics» more  ICRA 2009»
14 years 4 months ago
Distributed coverage control for mobile sensors with location-dependent sensing models
— This paper addresses the problem of coverage control of a network of mobile sensors. In the current literature, this is commonly formulated as a locational optimization problem...
Ajay Deshpande, Sameera Poduri, Daniela Rus, Gaura...
CVPR
2010
IEEE
14 years 6 months ago
Admissible Linear Map Models of Linear Cameras
This paper presents a complete analytical characterization of a large class of central and non-central imaging devices dubbed linear cameras by Ponce [9]. Pajdla [7] has shown tha...
Guillaume Batog, Xavier Goaoc, Jean Ponce
ICRA
2009
IEEE
157views Robotics» more  ICRA 2009»
14 years 4 months ago
Modeling and 3D local estimation for in-plane and out-of-plane motion guidance by 2D ultrasound-based visual servoing
Abstract— This paper presents a new model-free visual servoing that is able to servo a robotized 2D ultrasound probe that interacts with a soft tissue object. It makes direct use...
Rafik Mebarki, Alexandre Krupa, François Ch...