Sciweavers

108 search results - page 13 / 22
» A Provenance-Based Compliance Framework
Sort
View
SYNASC
2008
IEEE
300views Algorithms» more  SYNASC 2008»
14 years 1 months ago
A Theory of Adaptable Contract-Based Service Composition
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
Giovanni Bernardi, Michele Bugliesi, Damiano Maced...
POLICY
2005
Springer
14 years 29 days ago
An Audit Logic for Accountability
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, ...
IFIP
2004
Springer
14 years 25 days ago
A Logic for Auditing Accountability in Decentralized Systems
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Ga...
ICRA
2000
IEEE
71views Robotics» more  ICRA 2000»
13 years 12 months ago
Dynamic Simulation for Grasping and Whole Arm Manipulation
We propose a novel approach to dynamic simulation of grasps that overcomes di culties due to inconsistencies in the forward dynamics problem. The key idea in the paper is a minima...
Peng Song, Masahito Yashima, Vijay Kumar
ECTEL
2006
Springer
13 years 11 months ago
Ontological Support for a Theory-Eclectic Approach to Instructional and Learning Design
Enhancement of learning with technology has been accelerating thanks to the advancement of information technology (IT) and the development of IT standards for learning. The purpose...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...