9067 search results - page 1800 / 1814 » Adaptive Model Checking |
105
click to vote
CLUSTER
2004
IEEE
14 years 11 months ago
2004
IEEE
Boosted by technology advancements, government and commercial interest, ad-hoc wireless networks are emerging as a serious platform for distributed mission-critical applications. G...
101
click to vote
COMPLEXITY
2004
14 years 11 months ago
2004
: Explaining the maintenance of sexual reproduction remains one of the greatest challenges in biology. The theoretical oddity of sex is based on at least three advantages that asex...
CAD
2002
Springer
14 years 11 months ago
2002
Springer
Nowadays, we increasingly face the situation that possibly heterogeneous workflow environments must be integrated in order to support company-internal business processes as well a...
113
click to vote
CGF
2002
14 years 11 months ago
2002
In recent years subdivision methods have been one of the most successful techniques applied to the multi-resolution representation and visualization of surface meshes. Extension t...
CORR
2000
Springer
14 years 11 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...