1206 search results - page 133 / 242 » Concurrent Abstract Predicates |
159
click to vote
ACL
2000
15 years 6 months ago
2000
e, the system labels constituents with either abstract semantic roles such as AGENT or PATIENT, or more domain-specific semantic roles such as SPEAKER, MESSAGE, and TOPIC. The syst...
167
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
141
click to vote
CLUSTER
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
147
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
147
click to vote
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...