2701 search results - page 222 / 541 » On the form of witness terms |
193
click to vote
ATAL
2005
Springer
16 years 5 days 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 ...
168
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
We investigate whether it is possible to encrypt a database and then give it away in such a form that users can still access it, but only in a restricted way. In contrast to conve...
154
click to vote
DRM
2005
Springer
16 years 5 days ago
2005
Springer
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...
201
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
150
click to vote
CSCW
2004
ACM
16 years 1 days ago
2004
ACM
Information hiding is one of the most important and influential principles in software engineering. It prescribes that software modules hide implementation details from other modu...