141 search results - page 28 / 29 » Verifying Generics and Delegates |
PPDP
2005
Springer
14 years 25 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
PDP
2010
IEEE
13 years 11 months ago
2010
IEEE
—The emergence of multi-core computers has led to explosive development of parallel applications and hence the need of efficient schedulers for parallel jobs. Adaptive online sc...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Identity fraud (IDF) may be defined as unauthorized exploitation of credential information through the use of false identity. We propose CROO, a universal (i.e. generic) ...
FOAL
2008
ACM
13 years 9 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
IPM
2007
13 years 7 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...