351 search results - page 35 / 71 » Prototyping a Visual Formalism for System Modelling |
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
DSRT
1999
IEEE
14 years 29 days ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
VL
2003
IEEE
14 years 1 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...