253 search results - page 34 / 51 » How to Transform an Analyzer into a Verifier |
ICDE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Database developers today use data access APIs such as ADO.NET to execute SQL queries from their application. These applications often have security problems such as SQL injecti...
IH
2004
Springer
14 years 28 days ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
LREC
2010
13 years 9 months ago
2010
Existing approaches to classifying documents by sentiment include machine learning with features created from n-grams and part of speech. This paper explores a different approach ...
AROBOTS
2006
13 years 7 months ago
2006
How can a mobile robot measure the area of a closed region that is beyond its immediate sensing range? This problem, which we name as blind area measurement, is inspired from scout...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
In this paper we show that the initial philosophy used in designing and developing UNIX in early times has been forgotten due to “fast practices”. We question the leitmotif th...