Sciweavers

1608 search results - page 211 / 322
» Functional Understanding Based on an Ontology of Functional ...
Sort
View
COMPSYSTECH
2007
13 years 12 months ago
A refinement model with information granulation focused on difficult to distinguish cases
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...
Plamena Andreeva, Plamen Andreev, Maya Dimitrova, ...
ARCS
2006
Springer
13 years 11 months ago
Safety, Liveness, and Information Flow: Dependability Revisited
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
Zinaida Benenson, Felix C. Freiling, Thorsten Holz...
POS
2000
Springer
13 years 11 months ago
Hyper-Code Revisited: Unifying Program Source, Executable, and Data
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
Evangelos Zirintsis, Graham N. C. Kirby, Ronald Mo...
AMI
2008
Springer
13 years 10 months ago
Designing an Interactive Messaging and Reminder Display for Elderly
Despite the wealth of information and communication technology in society today, there appears to be a lack of acceptable information services for the growing elderly population in...
Erwin R. van Veldhoven, Martijn H. Vastenburg, Dav...
CVHI
2007
13 years 9 months ago
Designing Tangible Table-top Interfaces for Patients in Rehabilitation
: We investigated the potentials and acceptance of tangible tabletop (TT) interfaces in functional and neural rehabilitation. Our goal was to analyse whether TT systems are adequat...
Michael Leitner, Martin Tomitsch, Thomas Költ...