639 search results - page 64 / 128 » A Finite State Mobile Agent Computation Model |
FMSD
1998
14 years 11 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
134
click to vote
FORTE
1994
15 years 1 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
PERCOM
2005
ACM
15 years 11 months ago
2005
ACM
Mobile IP is a common standard to support global mobility of mobile hosts (MHs). One of the major problems for the Mobile IP is frequent location update and high signaling overhea...
105
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
ISWC
2003
IEEE
15 years 5 months ago
2003
IEEE
Context-aware computing describes the situation where a wearable / mobile computer is aware of its user’s state and surroundings and modifies its behavior based on this informat...