2384 search results - page 179 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
181
click to vote
SIPS
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
150
click to vote
APSEC
2005
IEEE
16 years 2 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
166
click to vote
DGO
2008
15 years 7 months ago
2008
We address the e-rulemaking problem of categorizing public comments according to the issues that they address. In contrast to previous text categorization research in e-rulemaking...
228
click to vote
SCESM
2006
ACM
16 years 12 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
211
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
The multimedia information retrieval community has dedicated extensive research effort to the problem of content-based image retrieval (CBIR). However, these systems find their ma...