Sciweavers

1816 search results - page 12 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
JUCS
2010
139views more  JUCS 2010»
13 years 3 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
JOT
2010
144views more  JOT 2010»
13 years 6 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
WETICE
1998
IEEE
14 years 20 days ago
A Deontic Formalism for Co-ordinating Software Development in Virtual Software Corporations
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
Zsolt Haag, Richard Foley, Julian Newman
ECTEL
2007
Springer
14 years 2 months ago
Cross-System Validation of Engagement Prediction from Log Files
Engagement is an important aspect of effective learning. Time spent using an e-Learning system is not quality time if the learner is not engaged. Tracking student disengagement wou...
Mihaela Cocea, Stephan Weibelzahl
APAQS
2000
IEEE
14 years 25 days ago
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
Claudia Pons, Maximo Prieto, Luis Olsina