82 search results - page 9 / 17 » Soft-Error Detection Using Control Flow Assertions |
102
click to vote
FMCO
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
FCCM
2006
IEEE
15 years 3 months ago
2006
IEEE
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...
115
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Botnets are networks of compromised computers infected with malicious code that can be controlled remotely under a common command and control (C&C) channel. Recognized as one ...
ERCIMDL
1998
Springer
15 years 1 months ago
1998
Springer
This paper describes novel market-based technologies for systematic, quantifiable and predictable protection of information systems against attacks. These technologies, incorporate...
117
click to vote
ICETE
2004
14 years 11 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...