6884 search results - page 304 / 1377 » The macro-structure of use of help |
171
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
177
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
This paper proposes a new type of database for collaborative work. Known types of databases for collaborative work are databases of shared data and those of process data. A new typ...
196
click to vote
ICCS
1998
Springer
15 years 11 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
158
click to vote
ICMCS
1997
IEEE
15 years 11 months ago
1997
IEEE
– Video is a powerful medium for disseminating news as information. Like any other information, techniques are required to help search and locate interesting video content. In th...
157
click to vote
SIGADA
1998
Springer
15 years 11 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...