723 search results - page 40 / 145 » Exclusion for composite objects |
111
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
88
Voted
HAPTICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Physical human-robot interaction can be significantly improved when being aware about the role each partner takes in a joint manipulation task. This holds especially in computer ...
104
Voted
JOT
2007
15 years 17 days ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
ICSE
2003
IEEE-ACM
16 years 23 days ago
2003
IEEE-ACM
The Vienna Component Framework (VCF) supports the interoperability and composability of components across different component models, a facility that is lacking in existing compon...
137
Voted
ISLPED
1997
ACM
15 years 4 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...