1139 search results - page 138 / 228 » Design and Implementation of a TCG-based Integrity Measureme... |
220
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
172
click to vote
SPRINGSIM
2010
15 years 4 months ago
2010
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
156
click to vote
ICES
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The Embryonics project is inspired by some of the basic processes of molecular biology, such as the embryonic development of living beings. Transposing these processes in...
161
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
145
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...