1827 search results - page 95 / 366 » Automatic thesaurus construction |
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
We present a technique for finding security vulnerabilities in Web applications. SQL Injection (SQLI) and crosssite scripting (XSS) attacks are widespread forms of attack in whic...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Recently, the conventional lifting scheme that is widely used for the construction of Wavelets and 2-channel filter banks has been extended to M-channel filter banks (M > 2)....
107
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
108
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...