Sciweavers

1121 search results - page 112 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
APVIS
2004
15 years 3 months ago
High Resolution Scalable Displays: Manufacturing and Use
Tiling projectors provides an effective and easy option to increase screen space. Differences in projectors' components however contribute to non-uniformities in illumination...
Nicole Bordes, Bernard Pailthorpe
95
Voted
IFM
2009
Springer
15 years 8 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
WSC
2004
15 years 3 months ago
Modeling and Simulation of Complex Systems with Cell-DEVS
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
Gabriel A. Wainer
IADIS
2004
15 years 3 months ago
Inca: An Intelligent Cognitive Agent-Based Framework for Adaptive and Interactive Learning
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...
Liana Razmerita, Thierry Nabeth, Albert A. Angehrn...
SAC
2000
ACM
15 years 6 months ago
The Evolution of the DARWIN System
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
Joan D. Walton, Robert E. Filman, David J. Korsmey...