2302 search results - page 378 / 461 » Testing as Abstraction |
174
click to vote
PC
2007
15 years 5 months ago
2007
Abstract. In this paper, we focus on MPI collective algorithm selection process and explore the applicability of the quadtree encoding method to this problem. During the algorithm ...
251
click to vote
ADMI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
162
click to vote
CCS
2010
ACM
15 years 5 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...
148
click to vote
EKAW
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Semantic tools such as triple stores, reasoners and query engines tend to be designed for large-scale applications. However, with the rise of sensor networks, smart-phone...
155
click to vote
JEI
2008
15 years 4 months ago
2008
Abstract. A removable visible watermarking scheme, which operates in the discrete cosine transform (DCT) domain, is proposed for combating copyright piracy. First, the original wat...