Sciweavers

3625 search results - page 241 / 725
» On Timed Models of Gene Networks
Sort
View
ICC
2009
IEEE
139views Communications» more  ICC 2009»
15 years 4 months ago
A Fluid Background Traffic Model
Background traffic has a significant impact on the behavior of network services and protocols. However, a detailed model of the background traffic can be extremely time consuming i...
Ting Li, Jason Liu
DSOM
2004
Springer
15 years 12 months ago
A Formal Validation Model for the Netconf Protocol
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...
FORMATS
2007
Springer
15 years 10 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort
JCIT
2007
150views more  JCIT 2007»
15 years 6 months ago
A Dynamic Knowledge Representation Model based on Hybrid Approach
Our fundamental objective is to tackle the problem faced in the field of information retrieval and classification in the current era of information overflow by proposing better an...
Reena T. N. Shetty, Pierre-Michel Riccio, Joë...
AVSS
2005
IEEE
16 years 6 days ago
Look there! Predicting where to look for motion in an active camera network
A framework is proposed that answers the following question: if a moving object is observed by one camera in a pan-tilt-zoom (PTZ) camera network, what other camera(s) might be fo...
Ugur Murat Erdem, Stan Sclaroff