Sciweavers

164 search results - page 21 / 33
» Audit-based compliance control
Sort
View
ATAL
2006
Springer
13 years 11 months ago
An ontology of social control tools
In multi-agent systems, social commitments are increasingly used to capture roles, social norms, the semantics of agent communication as well as other inter-agent dependencies. Th...
Philippe Pasquier, Roberto A. Flores, Brahim Chaib...
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
14 years 4 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
CIDM
2007
IEEE
14 years 1 months ago
Application of Neural Networks for Data Modeling of Power Systems with Time Varying Nonlinear Loads
— Nowadays power distribution systems typically operate with nonsinusoidal voltages and currents. Harmonic currents from nonlinear loads propagate through the system and cause ha...
Joy Mazumdar, Ganesh K. Venayagamoorthy, Ronald G....
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
14 years 23 days ago
Mechatronic design of innovative fingers for anthropomorphic robot hands
— In this paper, a novel design approach for the development of robot hands is presented. This approach, that can be considered alternative to the “classical” one, takes into...
Luigi Biagiotti, Fabrizio Lotti, Claudio Melchiorr...
COORDINATION
2004
Springer
14 years 27 days ago
Enforcement of Communal Policies for P2P Systems
Abstract. We consider the question of how to establish and enforce communal policies for peer-to-peer (P2P) communities. Generally, members of each P2P community must conform to an...
Mihail F. Ionescu, Naftaly H. Minsky, Thu D. Nguye...