Sciweavers

285 search results - page 46 / 57
» Dynamic Symbolic Execution for Testing Distributed Objects
Sort
View
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 5 months ago
Mission planning for joint suppression of enemy air defenses using a genetic algorithm
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...
Jeffrey P. Ridder, Jason C. HandUber
ICPADS
2000
IEEE
15 years 4 months ago
Parallel Spatial Joins Using Grid Files
The most costly spatial operation in spatial databases is a spatial join with combines objects from two data sets based on spatial predicates. Even if the execution time of sequen...
Jin-Deog Kim, Bonghee Hong
CONCURRENCY
2006
142views more  CONCURRENCY 2006»
14 years 11 months ago
A Grid service broker for scheduling e-Science applications on global data Grids
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
Srikumar Venugopal, Rajkumar Buyya, Lyle J. Winton
AP2PC
2003
Springer
15 years 4 months ago
Fuzzy Cost Modeling for Peer-to-Peer Systems
The objective of query optimizers is to select a good execution plan for a given query. In a distributed system, it is crucial for a query optimizer to have effective remote cost e...
Bo Ling, Wee Siong Ng, Yanfeng Shu, Aoying Zhou
ECOWS
2007
Springer
15 years 5 months ago
A Formal Framework For Building, Checking And Evolving Service Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
Hervé Verjus, Frédéric Pourra...