Sciweavers

5252 search results - page 222 / 1051
» Logic in Access Control
Sort
View
TRUSTBUS
2007
Springer
16 years 1 months ago
Usage Control in Service-Oriented Architectures
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
Alexander Pretschner, Fabio Massacci, Manuel Hilty
SACMAT
2009
ACM
16 years 1 months ago
A decision support system for secure information sharing
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi,...
FOSSACS
2005
Springer
16 years 23 days ago
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
Lutz Schröder
CF
2010
ACM
16 years 9 days ago
On-chip communication and synchronization mechanisms with cache-integrated network interfaces
Per-core local (scratchpad) memories allow direct inter-core communication, with latency and energy advantages over coherent cache-based communication, especially as CMP architect...
Stamatis G. Kavadias, Manolis Katevenis, Michail Z...
HCI
2001
15 years 8 months ago
Early experiences using visual tracking for computer access by people with profound physical disabilities
A dozen people who cannot speak and have very limited voluntary muscle control because of cerebral palsy or traumatic brain injury have tried using a new technology called the Cam...
James Gips, Margrit Betke, Philip A. DiMattia