8154 search results - page 414 / 1631 » Understanding changes in use cases: A case study |
157
click to vote
IEAAIE
2005
Springer
16 years 10 days ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
169
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
We propose to use MapReduce to quickly test new retrieval approaches on a cluster of machines by sequentially scanning all documents. We present a small case study in which we use ...
155
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose to use MapReduce to quickly test new retrieval approaches on a cluster of machines by sequentially scanning all documents. We present a small case study in which we use...
163
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
178
click to vote
SERP
2003
15 years 8 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...