7988 search results - page 994 / 1598 » A Useful Undecidable Theory |
202
click to vote
ACMDIS
2000
ACM
15 years 12 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
192
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
190
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
177
click to vote
APN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
205
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...