2261 search results - page 96 / 453 » Dynamic types for authentication |
BMCBI
2010
13 years 9 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
IEAAIE
2009
Springer
14 years 3 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
SIGMETRICS
2006
ACM
14 years 2 months ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
BIOADIT
2004
Springer
14 years 2 months ago
2004
Springer
We present two ways in which dynamic self-assembly can be used to perform computation, via stochastic protein networks and self-assembling software. We describe our protein-emulati...