Sciweavers

2384 search results - page 315 / 477
» Analyzing Requirements Engineering Processes: A Case Study
Sort
View
MIR
2004
ACM
200views Multimedia» more  MIR 2004»
15 years 10 months ago
Effective browsing of web image search results
The rapid development of web image search engines has enabled users to search hundred million of images available on the Web. However, due to the unsatisfactory performance of cur...
Hao Liu, Xing Xie, Xiaoou Tang, Zhiwei Li, Wei-Yin...
HIS
2004
15 years 5 months ago
Zamin, an Agent Based Artificial Life Model
Zamin artificial life model is designed to be a general purpose environment for researches on evolution of learning methods, living strategies and complex behaviors and is used in ...
Ramin Halavati, Saeed Bagheri Shouraki, Saman Hara...
DIS
2006
Springer
15 years 8 months ago
Scientific Discovery: A View from the Trenches
One of the primary goals in discovery science is to understand the human scientific reasoning processes. Despite sporadic success of automated discovery systems, few studies have s...
Catherine Blake, Meredith Rendall
SAFECOMP
1998
Springer
15 years 8 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
SEW
2007
IEEE
15 years 10 months ago
Testing Patterns
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
Neelam Soundarajan, Jason O. Hallstrom, Adem Delib...