Sciweavers

727 search results - page 90 / 146
» Automating the Choice of Decision Support System Architectur...
Sort
View
ASE
2005
145views more  ASE 2005»
14 years 11 months ago
Developing Ambient Intelligence Systems: A Solution based on Web Services
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
Valérie Issarny, Daniele Sacchetti, Ferda T...
DAC
2010
ACM
14 years 10 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 5 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
ICIP
2001
IEEE
16 years 1 months ago
Visual tracking of jellyfish in situ
Marine biologists desire an automated system for observing gelatinous zooplankton. This study represents the first attempt at real-time robotic tracking of a gelatinous animal in ...
Jason Rife, Stephen M. Rock
ECEH
2006
126views Healthcare» more  ECEH 2006»
15 years 1 months ago
Process-based E-Service-Logistics for Healthcare Networks
: Coordination in healthcare networks becomes increasingly important to enable integrated care scenarios, to enhance patient satisfaction and to reduce costs of the treatment proce...
Günter Schicker, Freimut Bodendorf