2655 search results - page 411 / 531 » Event Systems and Access Control |
171
click to vote
CONCUR
2007
Springer
16 years 17 days 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...
163
click to vote
ECTEL
2007
Springer
16 years 16 days 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...
168
click to vote
ISPEC
2007
Springer
16 years 16 days 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...
167
click to vote
SSS
2007
Springer
16 years 15 days 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...
152
click to vote
VTC
2006
IEEE
16 years 11 days ago
2006
IEEE
— IEEE 802.11 WLAN has been widely accepted throughout the world. However, it has large overhead due to idle backoff slots and frequent collisions depending on the number of node...