419 search results - page 36 / 84 » Interacting State Machines for Mobility |
TROB
2002
13 years 8 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
MM
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes an interactive installation work set in a large dome space. The installation is an audio and physical rerendition of an interactive writing work. In the origi...
ICTAC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
ASE
1999
13 years 8 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
ICALP
2003
Springer
14 years 1 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...