285 search results - page 30 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
127
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
133
click to vote
PADS
2003
ACM
15 years 6 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
128
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Heterogeneous distributed computing systems often must operate in an environment where system parameters are subject to uncertainty. Robustness can be defined as the degree to wh...
109
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
― Self-assembly systems in space are arguably within the reach of today’s technology based on the research and development of self-reconfigurable robots on earth. This paper pr...