1534 search results - page 155 / 307 » Error Reporting Logic |
140
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...
131
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
133
click to vote
MA
1997
Springer
15 years 8 months ago
1997
Springer
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...
132
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...
129
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...