Sciweavers

466 search results - page 47 / 94
» An Approach to Self-adaptive Software Based on Supervisory C...
Sort
View
JUCS
2007
87views more  JUCS 2007»
14 years 11 months ago
Supporting the Modeling of Flexible Educational Units PoEML: A Separation of Concerns Approach
: Educational Modeling Languages (EMLs) have been proposed to support the modeling of educational units. Currently, there are some EML proposals devoted to provide a computational ...
Manuel Caeiro Rodríguez, Maria José ...
IHI
2012
249views Healthcare» more  IHI 2012»
13 years 7 months 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
ICSE
2010
IEEE-ACM
15 years 1 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
WCRE
2006
IEEE
15 years 5 months ago
Animated Visualization of Software History using Evolution Storyboards
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
Dirk Beyer, Ahmed E. Hassan
COMPSAC
2007
IEEE
15 years 6 months ago
Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
Liwei Shen, Xin Peng, Wenyun Zhao