11168 search results - page 316 / 2234 » Abstract State Processes |
193
click to vote
JCM
2007
15 years 7 months ago
2007
Abstract— New applications for Radio Frequency Identification (RFID) technology include embedding transponders in everyday things used by individuals, such as library books, pay...
222
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
190
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
An error that occurs in a microkernel operating system service can potentially result in state corruption and service failure. A simple restart of the failed service is not always...
172
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
165
click to vote
ACMACE
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we present a new entertainment adaptive framework AIRSF for stress free air travels. Based on the passenger's current and target comfort states, user entertain...