588 search results - page 59 / 118 » A Domain Specific Language for Cryptography |
159
click to vote
ICT
2004
Springer
15 years 11 months ago
2004
Springer
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...
139
Voted
WSC
2000
15 years 6 months ago
2000
Modeling requires considerable knowledge of the various stages of the simulation process. The modeler needs to know a great deal of the system to be modeled (domain specific knowl...
163
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...
121
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
146
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...