Sciweavers

430 search results - page 72 / 86
» Using Collaborations to Encapsulate Features
Sort
View
EUROPAR
2007
Springer
15 years 8 months ago
Surrendering Autonomy: Can Cooperative Mobility Help?
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
Ghassen Ben Brahim, Bilal Khan, Ala I. Al-Fuqaha, ...
ISMAR
2003
IEEE
15 years 7 months ago
Real-Time Localisation and Mapping with Wearable Active Vision
We present a general method for real-time, visiononly single-camera simultaneous localisation and mapping (SLAM) — an algorithm which is applicable to the localisation of any ca...
Andrew J. Davison, Walterio W. Mayol-Cuevas, David...
STEP
2003
IEEE
15 years 7 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
TEI
2009
ACM
92views Hardware» more  TEI 2009»
15 years 6 months ago
Media Crate: tangible live media production interface
Live media production – the presentation of audio-visual content at events such as conferences and concerts – is a high intensity task where a small production team must inter...
Tom Bartindale, Jonathan Hook, Patrick Olivier
ICSE
2001
IEEE-ACM
15 years 6 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....