Sciweavers

1925 search results - page 220 / 385
» Documenting software systems with views
Sort
View
SIES
2007
IEEE
16 years 23 days ago
A Timed Multitasking Architecture for Distributed Embedded Systems
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
Christo Angelov, Jesper Berthing
ICRA
2002
IEEE
188views Robotics» more  ICRA 2002»
15 years 11 months ago
Control Architecture and Experiment of a Situated Robot System for Interactive Assembly
We present the development of and experiment with a robot system showing cognitive capabilities of children of three to four years. We focus on two topics: assembly by two hands a...
Jianwei Zhang, Alois Knoll
ICAD
2004
15 years 8 months ago
A 16-Speaker 3D Audio-Visual Display Interface and Control System
This paper details the CHESS system developed at the University of Wollongong. CHESS aims to provide a hardware and software platform for the creation, manipulation and playback o...
Mark F. O'Dwyer, Guillaume Potard, Ian S. Burnett
FSTTCS
2005
Springer
16 years 21 hour ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
GPCE
2003
Springer
15 years 11 months ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf