Sciweavers

936 search results - page 91 / 188
» Mathematical Models of Endocrine Systems
Sort
View
123
Voted
IJCSA
2006
95views more  IJCSA 2006»
15 years 19 days ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
99
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
Hans Jürgen Ohlbach
WSC
1997
15 years 2 months ago
Model-Driven Simulation of World-Wide-Web Cache Policies
The World Wide Web (WWW) has experienced a dramatic increase in popularity since 1993. Many reports indicate that its growth will continue at an exponential rate. This growth has ...
Ying Shi, Edward Watson, Ye-Sho Chen
133
Voted
SGP
2004
15 years 3 months ago
A Remeshing Approach to Multiresolution Modeling
Providing a thorough mathematical foundation, multiresolution modeling is the standard approach for global surface deformations that preserve fine surface details in an intuitive ...
Mario Botsch, Leif Kobbelt
77
Voted
SIGMETRICS
2008
ACM
15 years 17 days ago
A Diophantine model of routes in structured P2P overlays
Abstract-- An important intrinsic property of any structured Peer-to-Peer (P2P) overlay is multi-hop paths. Understanding their structure helps to solve challenging problems relate...
Dmitry Korzun, Andrei Gurtov