Sciweavers

3721 search results - page 307 / 745
» Infomaster: An Information Integration System
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 3 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
ITNG
2008
IEEE
16 years 1 months ago
Implementing and Validating an Environmental and Health Monitoring System
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
Marco Messina, Yen Yang Lim, Elaine Lawrence, Don ...
MOBICOM
1999
ACM
15 years 11 months ago
Next Century Challenges: Nexus - An Open Global Infrastructure for Spatial-Aware Applications
Due to the lack of a generic platform for location- and spatial-aware systems, many basic services have to be reimplemented in each application that uses spatial-awareness. A coop...
Fritz Hohl, Uwe Kubach, Alexander Leonhardi, Kurt ...
HICSS
1994
IEEE
155views Biometrics» more  HICSS 1994»
15 years 10 months ago
Concurrent Simulation and Control of Robot Tasks
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
Ulrich Mehlhaus
NORDICHI
2004
ACM
16 years 3 days ago
Procuring a usable system using unemployed personas
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
Erik Markensten, Henrik Artman