498 search results - page 45 / 100 » A Formal Foundation for XrML |
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
103
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
MMM
2008
Springer
15 years 4 months ago
2008
Springer
The increasing popularity of music recommendation systems and the recent growth of online music communities further emphasizes the need for effective playlist management tools able...
BPM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound...
FOIKS
2004
Springer
15 years 3 months ago
2004
Springer
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...