8154 search results - page 1260 / 1631 » Understanding changes in use cases: A case study |
240
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
171
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
180
click to vote
IPSN
2004
Springer
16 years 6 days ago
2004
Springer
We study network capacity limits and optimal routing algorithms for regular sensor networks, namely, square and torus grid sensor networks, in both, the static case (no node failu...
166
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we study on the EREW-PRAM model a parallel solution to the extended set union problem with unlimited backtracking which maintains a dynamic partition of an n-elemen...
170
click to vote
KDD
1994
ACM
15 years 11 months ago
1994
ACM
This paper discusses the problem of knowledge discovery in image databases with particular focus on the issues which arise when absolute ground truth is not available. It is often...