211 search results - page 27 / 43 » Starting Improvement of Requirements Engineering Processes: ... |
199
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
DKE
2007
14 years 11 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
ISQED
2005
IEEE
15 years 5 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
175
Voted
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
Query processing over graph-structured data is enjoying a growing number of applications. Keyword search on a graph finds a set of answers, each of which is a substructure of the ...
215
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
Solid state drives perform random reads more than 100x faster than traditional magnetic hard disks, while offering comparable sequential read and write bandwidth. Because of their...