18209 search results - page 252 / 3642 » Some Remarks on the Paper |
158
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
158
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
At present, the common operation mechanism of multiple classifier systems is the combination of classifier outputs. Recently, some researchers pointed out the potentialities of â€...
183
click to vote
ASIACRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Beth and Dai studied in their Eurocrypt paper [1] the relationship between linear complexity (that is, the length of the shortest Linear Feedback Shift Register that gene...
170
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. The inherently sequential nature of random discrete eventdriven simulation has made parallel and distributed processing di cult. This paper presents a method of applying ...
159
click to vote
WIFT
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...