31686 search results - page 5967 / 6338 » Resource typing in Guru |
202
click to vote
ESOP
2005
Springer
16 years 1 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
183
click to vote
ESORICS
2005
Springer
16 years 1 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
246
click to vote
FM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
229
click to vote
FPGA
2005
ACM
16 years 1 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
198
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...