3376 search results - page 473 / 676 » Analyzing Software Evolvability |
179
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present the security implications of x86 processor bugs or backdoors on operating systems and virtual machine monitors. We will not try to determine whether the b...
212
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
158
click to vote
ICONIP
2007
15 years 8 months ago
2007
Abstract. In neural networks, network faults can be exhibited in different forms, such as node fault and weight fault. One kind of weight faults is due to the hardware or software ...
180
click to vote
AAAI
2006
15 years 8 months ago
2006
TPBOSCourier is the Transportation Procurement and Bid Optimization System (TPBOS) for Philips Electronics to automate and optimize its procurement of courier services. It was joi...
172
click to vote
IVEVA
2004
15 years 8 months ago
2004
This paper presents ongoing research on human-computer interaction in virtual environments using voice recognition systems. The paper starts describing voice recognition technologi...