1414 search results - page 101 / 283 » Combining Intruder Theories |
KBSE
2000
IEEE
14 years 3 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
ICRA
1999
IEEE
14 years 3 months ago
1999
IEEE
The modeling and control flexible-manufacturing workcells (FMCs) has generally been performed in a hierarchical structure, where at the highest level they have been modeled as dis...
CSFW
1997
IEEE
14 years 3 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
ICTAI
1994
IEEE
14 years 3 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
CTCS
1989
Springer
14 years 3 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...