2006 search results - page 264 / 402 » Heuristic Security-Testing Methods |
102
Voted
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
111
click to vote
EDBT
2006
ACM
16 years 28 days ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...
124
Voted
ICSE
2003
IEEE-ACM
16 years 27 days ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
86
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
—This paper addresses the problem of chip level thermal profile estimation using runtime temperature sensor readings. We address the challenges of a) availability of only a few t...
108
Voted
ICCD
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...