2685 search results - page 326 / 537 » A Formal Semantics for SPKI |
167
click to vote
FMCO
2005
Springer
16 years 3 days ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
144
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
152
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
155
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
163
click to vote
OTM
2004
Springer
15 years 12 months ago
2004
Springer
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...