Sciweavers

3906 search results - page 617 / 782
» From grids to places
Sort
View
CCS
2010
ACM
15 years 5 months ago
TAPS: automatically preparing safe SQL queries
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakris...
IAJIT
2010
112views more  IAJIT 2010»
15 years 5 months ago
Variable Rate Steganography in Gray Scale Digital Images Using Neighborhood Pixel Information
: Steganography is the art of hiding the fact that communication is taking place, by hiding information in other information. Security has always been a major concern since time im...
Moazzam Hossain, Sadia Al Haque, Farhana Sharmin
ICRA
2010
IEEE
90views Robotics» more  ICRA 2010»
15 years 5 months ago
Robust robotic assembly through contingencies, plan repair and re-planning
Abstract— Enabling mobile robots to assemble large structures in constrained environments requires planning systems that are both capable of dealing with high complexity and can ...
Frederik W. Heger, Sanjiv Singh
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
15 years 5 months ago
Robotic rehabilitation tasks and measurements of psychophysiological responses
—Rehabilitation robots, together with vision and audio systems form the multimodal environment for exercising the person in a number of ways, unavoidably influencing the physiolo...
Marko Munih, Domen Novak, Jaka Ziherl, Andrej Olen...
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
15 years 5 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün