215 search results - page 21 / 43 » Toward Verified Execution Environments |
NDSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The resulting platforms provide computational power pre...
RAS
2010
13 years 5 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Process as a Service (PaaS) addresses modeling, execution and management of business processes without running extensive and costly process management software. Such a flexible o...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
With the emergence of cooperative applications it turned out that traditional transaction concepts are not suitable for these scenarios. Isolation of transactions, as guaranteed b...