2688 search results - page 182 / 538 » A formal semantics for P3P |
172
Voted
ACSD
2005
IEEE
16 years 22 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...
151
Voted
ICAIL
2005
ACM
16 years 20 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 ...
186
click to vote
FORMATS
2005
Springer
16 years 19 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...
181
Voted
ICALP
2005
Springer
16 years 19 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 ...
182
click to vote
IFM
2005
Springer
16 years 18 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...