5015 search results - page 376 / 1003 » Model Checking a Path |
147
click to vote
IPL
2002
15 years 6 months ago
2002
We consider two models commonly used in the literature to model adversarial injection of packets into a packet switching network. We establish the relation between these two types...
175
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
What does a typical road network look like? Existing generative models tend to focus on one aspect to the exclusion of others. We introduce the general-purpose quadtree model and ...
210
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
Virtual environment research has focused on interactive image generation and has largely ignored acoustic modeling for spatialization of sound. Yet, realistic auditory cues can co...
177
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...
144
click to vote
COLCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
P2P data stores achieve high data availability by introducing replication of data. As a consequence, searching data may require to follow several routing paths introducing additio...