Sciweavers

244 search results - page 40 / 49
» Design and control of a new active cardiac stabilizer
Sort
View
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 29 days 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
ADAEUROPE
2000
Springer
13 years 11 months ago
On Persistent and Reliable Streaming in Ada
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
Jörg Kienzle, Alexander B. Romanovsky
HICSS
2007
IEEE
169views Biometrics» more  HICSS 2007»
14 years 1 months ago
RiverInk--An Extensible Framework for Multimodal Interoperable Ink
Pen-based interfaces offer exciting opportunities in ubiquitous computing by enabling new hardware form factors and socially acceptable computing tasks. However, prevailing ink re...
Jonathan Neddenriep, William G. Griswold
ANSOFT
1999
74views more  ANSOFT 1999»
13 years 7 months ago
On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
Yingxu Wang, Graham King, Dilip Patel, Shushma Pat...
CRIWG
2003
13 years 8 months ago
Supporting Complex Decision Making Processes with Collaborative Applications - A Case Study
Abstract. There has been much research on the design of Groupware, its potential benefits and the methods used to develop systems to support groups. However, in many real life case...
Patrick Brézillon, Frédéric A...