Sciweavers

194 search results - page 29 / 39
» Composing heterogeneous reactive systems
Sort
View
JAR
2007
104views more  JAR 2007»
13 years 9 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
ICC
2007
IEEE
114views Communications» more  ICC 2007»
14 years 4 months ago
Hierarchical and Breathing Peer-to-Peer SIP System
—The combination of the SIP-based service and Peer-to-Peer (P2P) can improve the performance of traditional client-server SIP system. However, current P2P SIP systems have many d...
Lifeng Le, Geng-Sheng Kuo
ECOWS
2009
Springer
14 years 1 months ago
Service-Based Semantic Search in P2P Systems
—Recently, Semantic Web Services have been increasingly adopted to search, access and manipulate information made available from autonomous and heterogeneous systems interacting ...
Devis Bianchini, Valeria De Antonellis, Michele Me...
ICAS
2008
IEEE
200views Robotics» more  ICAS 2008»
14 years 4 months ago
Connectivity of Thetis, a Distributed Hybrid Simulator, with a Mixed Control Architecture
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
Olivier Parodi, Abdellah El Jalaoui, David Andreu
ERCIMDL
2001
Springer
171views Education» more  ERCIMDL 2001»
14 years 2 months ago
MARIAN: Flexible Interoperability for Federated Digital Libraries
Federated digital libraries are composed of distributed, autonomous, and often heterogeneous information services but provide users with a transparent, integrated view of collected...
Marcos André Gonçalves, Robert K. Fr...