6020 search results - page 355 / 1204 » A New Approach to Model Counting |
169
click to vote
JCP
2007
15 years 6 months ago
2007
— This paper proposes a new approach to modelling and controlling Internet end-to-end loss behaviours. Rather than select the model structure from the loss observations as being ...
189
click to vote
PDCAT
2009
Springer
16 years 1 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
214
click to vote
GCC
2003
Springer
16 years 6 hour ago
2003
Springer
This paper applies a new traffic model, iterated function systems (IFS) for network traffic modelling, to explore computer network behaviour and analyse network performance. IFS mo...
166
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
153
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a new technique for the update of a probabilistic spatial occupancy grid map using a forward sensor model. Unlike currently popular inverse sensor models, f...