Sciweavers

4118 search results - page 569 / 824
» Mechanisms for usage control
Sort
View
FROCOS
2009
Springer
15 years 11 months ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
IWSOS
2009
Springer
15 years 11 months ago
Self-management of Routing on Human Proximity Networks
Abstract. Many modern network applications, including sensor networks and MANETs, have dynamic topologies that reflect processes occurring in the outside world. These dynamic proc...
Graham Williamson, Davide Cellai, Simon A. Dobson,...
ESOP
2001
Springer
15 years 11 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...
ICCS
2001
Springer
15 years 11 months ago
Supporting Car-Parrinello Molecular Dynamics with UNICORE
This paper presents the integration of application specific interfaces in the UNICORE Grid infrastructure. UNICORE provides a seamless and secure mechanism to access distributed s...
Valentina Huber
155
Voted
ICRA
2000
IEEE
71views Robotics» more  ICRA 2000»
15 years 11 months ago
Velocity Dependence of the Characteristics of Harmonic Drive Built-in Torque Sensing
We have proposed the practical torque sensqng which utilizes a flexible part of a harmonic drive gear. The sensing technique providesjoint torque sensing without reducing stiffnes...
Minoru Hashimoto, Takashi Ishizuka, Ivan Godler, M...