703 search results - page 88 / 141 » Using Cases Utility for Heuristic Planning Improvement |
MOBIQUITOUS
2007
IEEE
14 years 2 months ago
2007
IEEE
— The dynamic nature of mobile ad hoc networks poses fundamental challenges to the design of service composition schemes that can minimize the effect of service disruptions. Alth...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
Rapid product or service deployment is most commonly thought of in the corporate, rather than academic, environment. Utilizing a rapid deployment process and a number of highly de...
NBIS
2009
Springer
14 years 2 months ago
2009
Springer
Utilizing mobile applications in the area of industrial field service promises several benefits, especially improved process support providing tailored service information and p...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
The most popular approaches for reconstructing phylogenetic trees attempt to solve NP-hard optimization criteria such as maximum parsimony (MP). Currently, the bestperforming heur...