511 search results - page 15 / 103 » Finite System Composition and Interaction |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
ISORC
2003
IEEE
14 years 23 days ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
KESAMSTA
2011
Springer
12 years 10 months ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
SMA
2008
ACM
13 years 7 months ago
2008
ACM
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...