5599 search results - page 796 / 1120 » Abstract State Services |
186
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...
281
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
174
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
145
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper investigates the dissemination of multiple pieces of information in large networks where users contact each other in a random uncoordinated manner, and users...
171
click to vote
QEST
2007
IEEE
16 years 29 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...