Sciweavers

7580 search results - page 363 / 1516
» Prometheus design tool
Sort
View
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
16 years 1 months ago
Design and Evaluation of a Linear Haptic Device
—The commercial development of haptic devices is very promising. Existing systems are often 6-degree-of-freedom mechanisms equipped with a stylus that acts as a tool. They exhibi...
Laurent Barbé, Bernard Bayle, Jacques Gangl...
ECTEL
2007
Springer
16 years 1 months ago
Representing Computer-Supported Collaborative Learning Macro-scripts using IMS Learning Design
IMS Learning Design (LD) is a specification that aims at computationally representing any learning process. However, the possibilities of LD to represent collaborative learning sce...
Davinia Hernández Leo, Daniel Burgos, Colin...
EMSOFT
2007
Springer
16 years 1 months ago
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
Edward A. Lee, Haiyang Zheng
ICALT
2006
IEEE
16 years 1 months ago
The Design of Internet Collaborative Learning System with Embedded Load-Balancing Broker
To transplant the six characteristics of traditional collaborative learning into the network collaborative learning environment, this paper proposes the design of an Internet coll...
Fu-Chien Kao, Chia-Wei Liu, Zhi-Hua Ji, Chia-Liang...
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
Senem Velipasalar, Chang Hong Lin, Jason Schlessma...