2042 search results - page 202 / 409 » A Global Grid Model Based on |
216
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
173
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
191
click to vote
JNW
2007
15 years 7 months ago
2007
— We propose a mathematical programming model of the routing problem in multi-hop wireless networks that takes into account quality of service requirements considering bandwidth ...
203
click to vote
ICPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper, we propose a probabilistic method to model the dynamic traffic flow across nonoverlapping camera views. By assuming the transition time of object movement follows a...
173
click to vote
ISCC
2008
IEEE
16 years 1 months ago
2008
IEEE
The present paper presents a Markov Chain model of polling in noisy multi-hop systems typical of Power Line Communications (PLC) as well as of other systems. The model includes the...