3218 search results - page 229 / 644 » Timed Extensions for SDL |
173
click to vote
CCS
2007
ACM
16 years 13 days 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...
149
click to vote
CSL
2007
Springer
16 years 13 days 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...
158
click to vote
PEPM
2007
ACM
16 years 12 days 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...
162
click to vote
BROADNETS
2006
IEEE
16 years 10 days 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...
129
click to vote
SIGCSE
2006
ACM
16 years 7 days 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...