5550 search results - page 797 / 1110 » Different Approaches to Proof Systems |
201
click to vote
LCPC
2004
Springer
16 years 6 days ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
195
Voted
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
142
click to vote
ICPP
2003
IEEE
16 years 4 days ago
2003
IEEE
For concurrent I/O operations, atomicity defines the results in the overlapping file regions simultaneously read/written by requesting processes. Atomicity has been well studied...
165
Voted
ISWC
2003
IEEE
16 years 4 days ago
2003
IEEE
We present extensions and modifications that we have made to a cursorless menu navigation interface that is controlled by multiple pressure-sensitive linear strips. Our approach i...
169
click to vote
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
Name matching—recognizing when two different strings are likely to denote the same entity—is an important task in many legal information systems, such as case-management syste...