6431 search results - page 390 / 1287 » Model Building by Resolution |
178
click to vote
JDCTA
2010
15 years 1 months ago
2010
Electric power generation requires a great deal of production equipment, such as steam turbines, boilers, etc., how to insure the well-run condition of such equipment is the key f...
173
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Chord progressions are the building blocks from which tonal music is constructed. Inferring chord progressions is thus an essential step towards modeling long term dependencies in...
186
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
169
click to vote
IWOCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We analyze special random network models – so-called thickened trees – which are constructed by random trees where the nodes are replaced by local clusters. These obj...
152
click to vote
ISCC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper analyzes a trust model for mobile ad hoc networks. We provide nodes with a mechanism to build a trust relationship with its neighbors. The proposed model considers t...