Sciweavers

2372 search results - page 270 / 475
» Probabilistic calling context
Sort
View
CW
2004
IEEE
13 years 12 months ago
An Interactive Agent-Based Learning Environment for Children
This paper presents an educational distributed virtual reality-based environment for children called EVE - Environnement Virtuel pour Enfants. EVE is used in elementary schools fr...
Dorin Mircea Popovici, Cédric Buche, Ronan ...
CAV
2006
Springer
164views Hardware» more  CAV 2006»
13 years 12 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
DEXAW
2004
IEEE
148views Database» more  DEXAW 2004»
13 years 12 months ago
A Knowledge-based Framework for Dynamic Semantic Web Services Brokering and Management
The concept of automating Web services, specifically the brokering activities, is an active research topic. We need a comprehensive and overarching framework that handles the disc...
Randy Howard, Larry Kerschberg
DSN
2004
IEEE
13 years 12 months ago
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
This paper describes and discusses the work carried on in the context of the CORTEX project, for the development of adaptive real-time applications in wormhole based systems. The ...
Pedro Martins, Paulo Jorge Paiva de Sousa, Antonio...
COORDINATION
2006
Springer
13 years 12 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...