Sciweavers

936 search results - page 132 / 188
» Mathematical Models of Endocrine Systems
Sort
View
115
Voted
IWCMC
2006
ACM
15 years 6 months ago
Modeling key agreement in multi-hop ad hoc networks
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...
Giovanni Di Crescenzo, Maria Striki, John S. Baras
102
Voted
WORM
2003
15 years 1 months ago
Worm propagation modeling and analysis under dynamic quarantine defense
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...
Cliff Changchun Zou, Weibo Gong, Donald F. Towsley
PPDP
2007
Springer
15 years 6 months ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano
102
Voted
JSCIC
2008
124views more  JSCIC 2008»
15 years 16 days ago
Growth, Structure and Pattern Formation for Thin Films
Abstract An epitaxial thin film consists of layers of atoms whose lattice properties are determined by those of the underlying substrate. This paper reviews mathematical modeling, ...
Russel E. Caflisch
78
Voted
STOC
2003
ACM
99views Algorithms» more  STOC 2003»
16 years 26 days ago
On the fractal behavior of TCP
We propose a natural, mathematically tractable model of TCP which captures both its additive-increase, multiplicative-decrease behavior and its feedback mechanism. Neither a fluid...
Anna C. Gilbert, Howard J. Karloff