1565 search results - page 304 / 313 » Interactive modeling of trees by using growth simulation |
PLDI
2004
ACM
14 years 1 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
CCS
2006
ACM
14 years 5 days ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
EUROCRYPT
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...
ICCS
2009
Springer
13 years 6 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
BMCBI
2010
13 years 8 months ago
2010
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...