2171 search results - page 148 / 435 » A Generic Process Algebra |
127
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the process used to extend the Boost Graph Library (BGL) for parallel operation with distributed memory. The BGL consists of a rich set of generic graph algor...
163
click to vote
WSC
2004
15 years 7 months ago
2004
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
170
click to vote
IJCAI
1993
15 years 7 months ago
1993
This paper describes how meta-level theories are used for analytic learning in M U L T I - T A C . M U L T I - T A C operationalizes generic heuristics for constraint-satisfaction...
147
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
159
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...