5372 search results - page 876 / 1075 » Robotics and interactive simulation |
137
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
131
click to vote
PADS
2009
ACM
15 years 10 months ago
2009
ACM
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
143
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
152
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with exclusion, a connective dual to implication. Cut-elimination in biintuitionistic logic is complicated due to t...
130
click to vote
IWSOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...