43190 search results - page 8479 / 8638 » Can Development Be Designed |
164
Voted
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
170
click to vote
ATAL
2005
Springer
15 years 11 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 ...
160
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Future database application systems will be designed as Service Oriented Architectures (SOAs), in contrast to today’s monolithic architectures. The decomposition in man...
132
click to vote
CCS
2005
ACM
15 years 11 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 ...
166
Voted
CIKM
2005
Springer
15 years 11 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...