1407 search results - page 150 / 282 » Towards Usable Analysis, Design and Modeling Tools |
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The measure and conquer approach has proven to be a powerful tool to analyse exact algorithms for combinatorial problems, like Dominating Set and Independent Set. In this paper, we...
178
click to vote
TCAD
2008
15 years 6 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
181
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
176
click to vote
WSC
2004
15 years 7 months ago
2004
Wafers in a 300-mm semiconductor fabrication facility are transported throughout the factory in carriers called front opening unified pods (FOUPs). Two standard capacities of FOUP...
225
click to vote
PVLDB
2010
15 years 4 months ago
2010
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...