3776 search results - page 633 / 756 » Partition-Based Logical Reasoning |
HT
2000
ACM
14 years 9 days ago
2000
ACM
The qualities of non-sequentiality that make hypertext so appealing to writers and readers of informative and literary texts are also those that problematize arguments in the same...
ISPD
1999
ACM
14 years 8 days ago
1999
ACM
This paper presents a methodology to analyze signal integrity such as power voltage drop and clock skew in early stages of design, more specifically, when RTL-design and early flo...
FM
1999
Springer
14 years 7 days ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
IPPS
1998
IEEE
14 years 6 days ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
TACAS
1999
Springer
14 years 6 days ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...