2685 search results - page 185 / 537 » A Formal Semantics for SPKI |
168
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Current information retrieval (IR) approaches do not formally capture the explicit meaning of a keyword query but provide a comfortable way for the user to specify information need...
168
click to vote
ACSD
2005
IEEE
16 years 13 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...
147
click to vote
ICAIL
2005
ACM
16 years 11 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 ...
175
click to vote
FORMATS
2005
Springer
16 years 10 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...
171
click to vote
ICALP
2005
Springer
16 years 10 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 ...