4166 search results - page 106 / 834 » A modular module system |
COMPSAC
2004
IEEE
14 years 24 days ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
HYBRID
2000
Springer
14 years 20 days ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— This paper describes the design, fabrication, and experimental results of a programmable matter system capable of 2D shape formation through subtraction. The system is composed...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...