2688 search results - page 182 / 538 » A formal semantics for P3P |
158
click to vote
ACSD
2005
IEEE
16 years 5 days ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
142
click to vote
ICAIL
2005
ACM
16 years 3 days ago
2005
ACM
Normative texts can be viewed as composed by formal partitions (articles, paragraphs, etc.) or by semantic units containing fragments of a regulation (provisions). Provisions can ...
167
click to vote
FORMATS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
158
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
161
click to vote
IFM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...