2403 search results - page 300 / 481 » Using the WinWin Spiral Model: A Case Study |
197
click to vote
IBPRIA
2005
Springer
16 years 17 hour ago
2005
Springer
It is well-known that image pixel values of an object could vary if the lighting conditions change. Some common factors that produce changes in the pixels values are due to the vie...
170
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
155
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
154
click to vote
STTT
2008
15 years 6 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
194
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...