2795 search results - page 300 / 559 » Recommended or Not |
103
Voted
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
121
Voted
DALT
2009
Springer
15 years 4 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
126
Voted
BTW
2009
Springer
15 years 4 months ago
2009
Springer
: The integrity of B-tree structures can become compromised for many reasons. Since these inconsistencies manifest themselves in unpredictable ways, all commercial database managem...
84
Voted
CHI
2009
ACM
15 years 4 months ago
2009
ACM
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
94
Voted
ASPDAC
2009
ACM
15 years 4 months ago
2009
ACM
—Redundant via insertion is a widely recommended technique to enhance the via yield and reliability. In this paper, the post-routing redundant via insertion problem is transforme...