4037 search results - page 403 / 808 » Routing without ordering |
131
Voted
FTP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
133
click to vote
SOFSEM
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The realisation of electronic commerce process is very difficult without appropriate system for electronic payment. Of course it is possible to use some of the convention...
130
click to vote
VTS
1997
IEEE
15 years 7 months ago
1997
IEEE
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...
133
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
139
click to vote
SIGCSE
1997
ACM
15 years 7 months ago
1997
ACM
One of the major difficulties facing anyone trying to teach the first programming course is how to encourage students to thoroughly test their programs. We would argue that the ma...