Sciweavers

4719 search results - page 361 / 944
» Applications = Components GLoo
Sort
View
EUROPAR
2006
Springer
15 years 10 months ago
A Multi-level Scheduler for the Grid Computing YML Framework
This paper presents the integration of a multi-level scheduler in the YML architecture. It demonstrates the advantages of this architecture based on a component model and why it is...
Sébastien Noël, Olivier Delannoy, Nahi...
SOCRATES
2008
117views Education» more  SOCRATES 2008»
15 years 8 months ago
E-learning by Doing with Computational Logic
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
Federico Chesani, Anna Ciampolini, Paola Mello
DAGSTUHL
2004
15 years 8 months ago
Making Specifications Complete Through Models
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
Bernd Schoeller, Tobias Widmer, Bertrand Meyer
FLAIRS
2000
15 years 8 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
COLING
1992
15 years 8 months ago
Multimodal Database Query
The paper proposes a multimodal interface for a real sales database application. We show how natural language processing may be integrated with a visual, direct manipulation metho...
Nicholas J. Haddock