2009 search results - page 291 / 402 » A privacy-aware access control system |
HASE
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...
CONCUR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
Nowadays, people are in need for continuous learning in order to keep up to date or be upgraded in their job. An infrastructure for lifelong learning requires continuous adaptation...
ISPEC
2007
Springer
14 years 4 months ago
2007
Springer
Credentials are an indispensable means for service access control in electronic commerce. However, regular credentials such as X.509 certificates and SPKI/SDSI certificates do no...
SSS
2007
Springer
14 years 4 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...