Sciweavers

5184 search results - page 47 / 1037
» Computer support for mechatronic control system design
Sort
View
COORDINATION
2006
Springer
15 years 1 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
CHI
2008
ACM
15 years 10 months ago
Mischief: supporting remote teaching in developing regions
Mischief is a system to support traditional classroom practices between a remote instructor and a group of collocated students. Meant for developing regions, each student in the c...
Neema Moraveji, Taemie Kim, James Ge, Udai Singh P...
TSMC
2002
95views more  TSMC 2002»
14 years 9 months ago
The MPC elucidator: a case study in the design for human-automation interaction
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...
Stephanie A. Guerlain, G. A. Jamieson, P. Bullemer...
HICSS
2005
IEEE
86views Biometrics» more  HICSS 2005»
15 years 3 months ago
Towards a Typology for Designing Inter-Organisational Controls for Network Organisations
In this paper a typology is introduced for interorganisational control mechanisms for network organisations. We also show how the design and analysis of such inter-organisational ...
Vera Kartseva, Yao-Hua Tan
ICDCS
2008
IEEE
15 years 4 months ago
Crystal: An Emulation Framework for Practical Peer-to-Peer Multimedia Streaming Systems
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...
Mea Wang, Hassan Shojania, Baochun Li