4212 search results - page 622 / 843 » Rights Expression Languages |
197
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
146
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
This chapter addresses the problem of producing and maintaining progress in agent design. New architectures often hold important insights into the problems of designing intelligenc...
141
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
181
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
234
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
Systems for managing and querying semistructured-data sources often store data in proprietary object repositories or in a tagged-text format. We describe a technique that can use ...