1249 search results - page 54 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
FMICS
2007
Springer
14 years 3 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
AGENTCL
2003
Springer
14 years 2 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
FUIN
2008
13 years 9 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
CLUSTER
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper, we describe a whole-system live migration scheme, which transfers the whole system run-time state, including CPU state, memory data, and local disk storage, of th...
INTERACT
2007
13 years 10 months ago
2007
We examine whether or not it is possible to determine, recognize and/or report the emotional state of a group of people through touch and/or body motion. We present the initial des...