Sciweavers

6941 search results - page 945 / 1389
» Testing as a Certification Approach
Sort
View
CCS
2010
ACM
15 years 6 months ago
NoTamper: automatic blackbox detection of parameter tampering opportunities in web applications
Web applications rely heavily on client-side computation to examine and validate form inputs that are supplied by a user (e.g., “credit card expiration date must be valid”). T...
Prithvi Bisht, Timothy Hinrichs, Nazari Skrupsky, ...
CCS
2010
ACM
15 years 6 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...
AMC
2008
206views more  AMC 2008»
15 years 5 months ago
Global-best harmony search
ct 8 Harmony search (HS) is a new meta-heuristic optimization method imitating the music improvisation process where 9 musicians improvise their instruments' pitches searching...
Mahamed G. H. Omran, Mehrdad Mahdavi
ECIR
2010
Springer
15 years 5 months ago
Improving Medical Information Retrieval with PICO Element Detection
Without a well formulated and structured question, it can be very difficult and time consuming for physicians to identify appropriate resources and search for the best available ev...
Florian Boudin, Lixin Shi, Jian-Yun Nie
ICRA
2010
IEEE
109views Robotics» more  ICRA 2010»
15 years 5 months ago
A robot companion for inclusive games: A user-centred design perspective
— This article presents the design of Iromec, a modular robot companion tailored towards engaging in social exchanges with children with different disabilities with the aim to em...
Patrizia Marti, Leonardo Giusti