Sciweavers

2110 search results - page 49 / 422
» Delegation Modeling with Paradigm
Sort
View
WOA
2004
15 years 7 months ago
A Personal Agent Supporting Ubiquitous Interaction
This paper is concerned with the development of a MultiAgent System (MAS) supporting ubiquitous and personalized interaction with Active Environments. In particular, we propose a ...
Giovanni Cozzolongo, Berardina De Carolis, Sebasti...
RBAC
1998
85views more  RBAC 1998»
15 years 7 months ago
Control Principles and Role Hierarchies
Role-based access control (RBAC) has been introduced in the last few years, and offers a powerful means of specifying access control decisions. The model of RBAC usually assumes t...
Jonathan D. Moffett
LPAR
2010
Springer
15 years 4 months ago
Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
Konstantin Korovin, Christoph Sticksel
SIMPAR
2010
137views Robotics» more  SIMPAR 2010»
15 years 4 months ago
Simulating Vehicle Kinematics with SimVis3D and Newton
This paper discusses the simulation of vehicle kinematics with SimVis3D and the Newton Game Dynamics Engine. As running example a Pioneer1 like robot is used. First its differenti...
Jens Wettach, Daniel Schmidt 0004, Karsten Berns
INFORMATICALT
2010
170views more  INFORMATICALT 2010»
15 years 3 months ago
A Provably Secure Proxy Signature Scheme in Certificateless Cryptography
A proxy signature scheme enables an original signer to delegate its signing capability to a proxy signer and then the proxy signer can sign a message on behalf of the original sign...
Hu Xiong, Fagen Li, Zhiguang Qin