2024 search results - page 61 / 405 » A Formal Model of Multi-agent Computations |
101
click to vote
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
92
Voted
JCP
2008
14 years 11 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
NJC
2006
14 years 11 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
117
click to vote
STORYTELLING
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
69
Voted
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...