496 search results - page 91 / 100 » A formal framework for synthesis and verification of logic p... |
RTA
2009
Springer
14 years 2 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
TCS
2002
13 years 7 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
KBS
2000
13 years 7 months ago
2000
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...
PLSA
1994
13 years 11 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...