Sciweavers

1580 search results - page 256 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
ICS
2010
Tsinghua U.
16 years 3 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
ICRA
2009
IEEE
156views Robotics» more  ICRA 2009»
16 years 29 days ago
Human brain-teleoperated robot between remote places
Abstract— This paper describes an EEG-based human brainactuated robotic system, which allows performing navigation and visual exploration tasks between remote places via internet...
Carlos Escolano, Javier M. Antelis, Javier Minguez
ACSAC
2005
IEEE
15 years 12 months ago
Multi-Level Security Requirements for Hypervisors
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on...
Paul A. Karger
BIRTHDAY
2005
Springer
15 years 12 months ago
Planning in Answer Set Programming using Ordered Task Decomposition
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
Jürgen Dix, Ugur Kuter, Dana S. Nau
MSWIM
2004
ACM
15 years 11 months ago
On utility-based radio resource management with and without service guarantees
In this paper we discuss utility functions models to study Radio Resource Management. Our goal is to identify the characteristics of the wireless systems which make such theoretic...
Leonardo Badia, Michele Zorzi