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 27 days 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 27 days 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
184
Voted
ICALT
2006
IEEE
16 years 23 days 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 23 days 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...