2685 search results - page 172 / 537 » A Formal Semantics for SPKI |
163
click to vote
SKG
2006
IEEE
16 years 25 days ago
2006
IEEE
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
174
click to vote
SEKE
2004
Springer
16 years 5 days ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
175
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
185
click to vote
FORTE
2004
15 years 8 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
175
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...