8154 search results - page 347 / 1631 » Understanding changes in use cases: A case study |
248
click to vote
CISIS
2011
IEEE
14 years 6 months ago
2011
IEEE
—Computational performance increasingly depends on parallelism, and many systems rely on heterogeneous resources such as GPUs and FPGAs to accelerate computationally intensive ap...
171
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
146
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describe the case study of developing and providing the ontology-based educational information search service to overcome the limitations of the existing keyword-based ...
167
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...
164
click to vote
LADC
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; ...