Sciweavers

1121 search results - page 112 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
APVIS
2004
15 years 7 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
IFM
2009
Springer
16 years 24 days 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 7 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 7 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 10 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...