Sciweavers

4242 search results - page 249 / 849
» An Event Spacing Experiment
Sort
View
174
Voted
SIGCOMM
2000
ACM
15 years 11 months ago
Equation-based congestion control for unicast applications
This paper proposes a mechanism for equation-based congestion control for unicast traffic. Most best-effort traffic in the current Internet is well-served by the dominant transp...
Sally Floyd, Mark Handley, Jitendra Padhye, Jö...
205
Voted
CMSB
2009
Springer
15 years 10 months ago
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
Lucia Napione, Daniele Manini, Francesca Cordero, ...
ECAI
2008
Springer
15 years 8 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan
ASUNAM
2010
IEEE
15 years 8 months ago
Tracking the Evolution of Communities in Dynamic Social Networks
Real-world social networks from a variety of domains can naturally be modelled as dynamic graphs. However, approaches to detecting communities have largely focused on identifying ...
Derek Greene, Dónal Doyle, Padraig Cunningh...
CAINE
2007
15 years 8 months ago
Tracking Compounds and Their Interactions within In Silico Liver
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...
Sunwoo Park, Sean H. J. Kim, Glen E. P. Ropella, C...