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...
198
Voted
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