Sciweavers

1774 search results - page 154 / 355
» Modeling Dynamic Component Interfaces
Sort
View
ICDCS
1990
IEEE
14 years 1 months ago
A Constructive Approach to the Design of Distributed Systems
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
Jeff Kramer, Jeff Magee, Anthony Finkelstein
SIGDOC
2000
ACM
14 years 1 months ago
A why-what-how tool for development and documentation of operating procedures
∗ DSTOP, the Design Support Tool for Operating Procedures, is a relatively simple software tool for support of designers of new interfaces and their procedures for use. DSTOP is ...
David G. Novick
EICS
2010
ACM
14 years 18 days ago
Improving modularity and usability of interactive systems with Malai
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
Arnaud Blouin, Olivier Beaudoux
FM
1999
Springer
97views Formal Methods» more  FM 1999»
14 years 1 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
ICRA
1998
IEEE
109views Robotics» more  ICRA 1998»
14 years 1 months ago
A Virtual Excavator for Controller Development and Evaluation
In order to facilitate the testing and evaluation of control strategies and operator environments designed for heavy duty hydraulic machines, an excavator simulator has been devel...
Simon P. DiMaio, S. E. Salcudean, Claude Reboulet,...