Sciweavers

675 search results - page 95 / 135
» Mobilization of software developers: the free software movem...
Sort
View
EMSOFT
2008
Springer
13 years 10 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
ETFA
2005
IEEE
14 years 2 months ago
A multi-robot system for landmine detection
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
Pedro Santana, José Barata, H. Cruz, A. Mes...
AIMS
2010
Springer
13 years 9 months ago
Adaptive Underwater Acoustic Communications
Underwater wireless networks consist of mobile and static nodes, which usually communicate using the acoustic channel since radio transmissions attenuate rapidly and optical commun...
Anuj Sehgal, Jürgen Schönwälder
IV
2003
IEEE
90views Visualization» more  IV 2003»
14 years 2 months ago
Visual User Interface for PDAs
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
Mikael Jern, D. Ricknäs, F. Stam, Robert Trel...
DAGSTUHL
2003
13 years 10 months ago
A DSL Paradigm for Domains of Services: A Study of Communication Services
The domain of services for mobile communication terminals has long become a fast-moving target. Indeed, this domain has been affected by a continuous stream of technological advan...
Charles Consel, Laurent Réveillère