Sciweavers

1945 search results - page 66 / 389
» Pursuit-Evasion in Models of Complex Networks
Sort
View
IPPS
1998
IEEE
15 years 10 months ago
Modeling and Validation Support for Interactive Networked Multimedia Applications
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
Luciano Paschoal Gaspary, Maria Janilce B. Almeida
ATAL
2007
Springer
16 years 10 days ago
Agent-based model of impact of socioeconomic stressors: a dynamic network perspective
We have developed an agent-based simulation model based on a real case study in the Sekhukhune district of the Limpopo province in South Africa. The work reported here is part of ...
Shah Jamal Alam, Ruth Meyer, Emma Norling
PEWASUN
2004
ACM
15 years 11 months ago
An M/MMGI/1/K queuing model for IEEE 802.11 ad hoc networks
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
Mustafa Özdemir, A. Bruce McDonald
ECCB
2008
IEEE
15 years 6 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
LION
2009
Springer
135views Optimization» more  LION 2009»
16 years 21 days ago
Neural Network Pairwise Interaction Fields for Protein Model Quality Assessment
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
Alberto J. M. Martin, Alessandro Vullo, Gianluca P...