30240 search results - page 5924 / 6048 » Robust System Design |
136
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Collaboration plays a critical role when a team is striving for goals that are difficult to achieve by an individual. In previous work, we defined the ETAPP (Environment-TaskAgen...
186
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
342
click to vote
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
144
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
We present a technique for automatic placement of authorization hooks, and apply it to the Linux security modules (LSM) framework. LSM is a generic framework which allows diverse ...
178
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...