648 search results - page 113 / 130 » Software requirements validation via task analysis |
CISSE
2007
Springer
14 years 4 months ago
2007
Springer
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
CLEF
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes our participation at the GeoCLEF 2005 task. We detail the main software components of our Geo-IR system, its adaptation for the participation at GeoCLEF and d...
CASES
2007
ACM
14 years 2 months ago
2007
ACM
Leakage energy consumption is an increasingly important issue as the technology continues to shrink. Since on-chip caches constitute a major portion of the processor's transi...
AVI
2006
13 years 11 months ago
2006
Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...
IJFCS
2006
13 years 10 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...