1112 search results - page 165 / 223 » Executing Abstract Test Cases |
CCS
2010
ACM
14 years 11 months ago
2010
ACM
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...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— This paper describes a hierarchical planner deployed on a mobile manipulation system. The main idea is a two-level hierarchy combining a global planner which provides r...
123
click to vote
ASIAN
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
100
click to vote
ICWE
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
136
click to vote
IESS
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...