419 search results - page 48 / 84 » Interacting State Machines for Mobility |
ICCSA
2010
Springer
13 years 6 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
HCI
2009
13 years 6 months ago
2009
A mirror world, which is a virtual space modeling a physical space, attracts enormous interests from VR community recently. Various applications such as Second Life, Google Earth a...
ESOP
2012
Springer
12 years 4 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
BICA
2010
13 years 3 months ago
2010
Deep-layer machine learning architectures continue to emerge as a promising biologically-inspired framework for achieving scalable perception in artificial agents. State inference ...