13180 search results - page 156 / 2636 » Network Models |
163
click to vote
AB
2007
Springer
15 years 9 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
137
Voted
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
We address document image classification by visual appearance. An image is represented by a variable-length list of visually salient features. A hierarchical Bayesian network is ...
132
click to vote
SNPD
2008
15 years 4 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
129
click to vote
DSRT
2004
IEEE
15 years 7 months ago
2004
IEEE
One of the known problems with shared object manipulation in virtual environments is the disruptive effect of network lag in collaboration sessions. Most solutions to this problem...
105
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...