6059 search results - page 295 / 1212 » A Technique for Verifying Measurements |
168
click to vote
SP
2005
IEEE
16 years 10 days ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
165
click to vote
WORDS
2005
IEEE
16 years 10 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
150
click to vote
AOSE
2005
Springer
16 years 10 days ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
146
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
159
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...