4340 search results - page 650 / 868 » Formal Methods and Cryptography |
182
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
209
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
181
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
228
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
249
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...