Sciweavers

306 search results - page 50 / 62
» Dynamic Software Updates: The State Mapping Problem
Sort
View
CEC
2010
IEEE
13 years 7 months ago
Genetic programming for Expert Systems
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
Konrad Sickel, Joachim Hornegger
AIS
2000
Springer
13 years 6 months ago
The Evolve project: Component-based tailorability for CSCW applications
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
Oliver Stiemerling, Armin B. Cremers
IUI
1997
ACM
13 years 11 months ago
The Pedagogical Design Studio: Exploiting Artifact-Based Task Models for Constructivist Learning
Intelligentlearning environments that support constructivism shouldprovideactivelearningexperiencesthatarecustomized for individuallearners. To do so, they must determine learner ...
James C. Lester, Patrick J. Fitzgerald, Brian A. S...
ICDT
2009
ACM
248views Database» more  ICDT 2009»
14 years 7 months ago
Automatic verification of data-centric business processes
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor ...
DAC
2005
ACM
14 years 7 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...