4502 search results - page 611 / 901 » Regular Model Checking |
146
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
165
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
189
click to vote
PADL
2004
Springer
16 years 22 hour ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
237
click to vote
VOSS
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
155
click to vote
VR
2003
IEEE
15 years 12 months ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...