Sciweavers

447 search results - page 34 / 90
» Rule Languages for Security and Privacy in Cooperative Syste...
Sort
View
PPDP
2009
Springer
16 years 19 days ago
The RPC calculus
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
Ezra Cooper, Philip Wadler
EUSFLAT
2001
130views Fuzzy Logic» more  EUSFLAT 2001»
15 years 7 months ago
Autonomous robot behaviours for co-operative agents using fuzzy logic and subtractive clustering
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
Alexandros Mouzakitis, Geoff Roberts
CCS
2011
ACM
14 years 6 months ago
Policy auditing over incomplete logs: theory, implementation and applications
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
Deepak Garg, Limin Jia, Anupam Datta
SDMW
2005
Springer
15 years 11 months ago
Experiments with Queries over Encrypted Data Using Secret Sharing
To avoid insider attacks one cannot rely on access control to protect a database scheme. Encrypting the database is a better option. This paper describes a working prototype of an ...
Richard Brinkman, Berry Schoenmakers, Jeroen Doume...
OOPSLA
2010
Springer
15 years 4 months ago
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov