5775 search results - page 1046 / 1155 » A Rationale-based Analysis Tool |
169
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
: © Reiki: Serviceability Architecture and Approach for Reduction and Management of Product Service Incidents Chris Connelly, Brian Cox, Tim Forell, Rui Liu, Dejan Milojicic, Alan...
166
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
205
click to vote
PAM
2010
Springer
16 years 1 months ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...
157
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...
153
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...