1011 search results - page 126 / 203 » Implementing Distributed Controllers for Systems with Priori... |
151
click to vote
JCM
2008
15 years 4 months ago
2008
Abstract--Mobile Agents is a new paradigm for distributed computing where security is very essential to the acceptance of this paradigm in a large scale distributed environment. In...
149
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
136
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- The efficiency of distributed sensor networks depends on an optimal trade-off between the usage of resources and data quality. The work in this paper addresses the probl...
144
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
In Software Transactional Memory (STM), contention management refers to the mechanisms used to ensure forward progress-to avoid livelock and starvation, and to promote throughput ...
139
click to vote
CADE
2009
Springer
15 years 11 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...