4866 search results - page 229 / 974 » UML for Global Computing |
190
click to vote
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
In 2006, a debate has risen on the question of the efficiency of bioinformatics methods to reconstruct mammalian ancestral genomes. Three years later, Gordon et al. (PLoS Genetics,...
163
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
184
click to vote
WDAG
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
173
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...
166
click to vote
ICCS
2004
Springer
16 years 3 hour ago
2004
Springer
While active networks provide new solutions for the deployment of dynamic services in the network, exposing network processing resources, logistical networking focuses on exposing...