6059 search results - page 291 / 1212 » A Technique for Verifying Measurements |
160
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
225
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
157
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The preemptive real-time scheduling of sporadic parallel task systems is studied. We present an algorithm, called Gang EDF, which applies the Earliest Deadline First (EDF) policy ...
163
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
188
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...