3742 search results - page 593 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Tapping into the communication between two hosts on a LAN has become quite simple thanks to tools that can be downloaded from the Internet. Such tools use the Address Resolution P...
132
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a simple voting scheme for off-line recognition of handprinted numerals. One of the main features of the proposed scheme is that this is not script dependent. ...
179
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
- With the current wide deployment of Gigabit Ethernet technology in the backbone and workgroup switches, the network performance bottleneck has shifted for the first time in nearl...
193
click to vote
HAIS
2010
Springer
15 years 11 months ago
2010
Springer
One of the most serious security threats to recently deployed databases has been the SQL Injection attack. This paper presents an agent specialised in the detection of SQL injectio...
151
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...