2468 search results - page 231 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
158
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
145
click to vote
GAMESEC
2010
15 years 2 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
157
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
180
click to vote
EUROCAST
1997
Springer
15 years 8 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
137
click to vote
TREC
2007
15 years 5 months ago
2007
This paper describes several approaches which we used for the expert search task of the TREC 2007 Enterprise track. We studied several methods of relevance propagation from docume...