3218 search results - page 229 / 644 » Timed Extensions for SDL |
212
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In ciphertext policy attribute-based encryption (CP-ABE), every secret key is associated with a set of attributes, and every ciphertext is associated with an access structure on a...
180
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
196
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
198
click to vote
BROADNETS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we present a new hybrid switching architecture, termed as SLIP-IN, that combines electronic packet/burst with optical circuit switching. SLIP-IN architecture tak...
165
click to vote
SIGCSE
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we present an extensible visualization tool that is being used in a web-based closed laboratory system. The goal of this project is to provide a tool for both stude...