5599 search results - page 939 / 1120 » Abstract State Services |
164
click to vote
IFM
2010
Springer
15 years 3 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 ...
148
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Contending flows in multi-hop 802.11 wireless networks compete with two fundamental asymmetries: (i) channel asymmetry, in which one flow has a stronger signal, potent...
145
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
166
click to vote
KI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper presents a novel method for developing and evaluating intelligent robot behavior for joint human-robot activities. We extended a physical simulation of an auto...
146
click to vote
KAIS
2011
14 years 11 months ago
2011
Abstract. Hunter and Konieczny explored the relationships between measures of inconsistency for a belief base and the minimal inconsistent subsets of that belief base in several of...