Sciweavers

2147 search results - page 189 / 430
» Teleological Software Adaptation
Sort
View
SAC
2006
ACM
15 years 4 months ago
Transformation of B specifications into UML class diagrams and state machines
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
IHI
2012
249views Healthcare» more  IHI 2012»
14 years 2 days ago
An intelligent web-based decision support tool for enhancing asthma guideline adherence
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
Jinbo Bi, Arun Abraham
TRIDENTCOM
2005
IEEE
15 years 10 months ago
A Testbed for Evaluating Human Interaction with Ubiquitous Computing Environments
Core to ubiquitous computing environments are adaptive software systems that adapt their behavior to the context in which the user is attempting the task the system aims to suppor...
Eleanor O'Neill, Martin Klepal, David Lewis, Tony ...
SEMWEB
2010
Springer
15 years 2 months ago
Semantic Recognition of Ontology Refactoring
Abstract. Ontologies are used for sharing information and are often collaboratively developed. They are adapted for different applications and domains resulting in multiple version...
Gerd Gröner, Fernando Silva Parreiras, Steffe...
HCI
2009
15 years 2 months ago
Emergent Design: Serendipity in Digital Educational Games
Using computer games for educational purposes is a fascinating idea that is getting increasingly popular amongst educators, researchers, and developers. From a technical as well as...
Michael D. Kickmeier-Rust, Dietrich Albert