1662 search results - page 230 / 333 » Privately Finding Specifications |
117
Voted
SMR
2002
15 years 11 days ago
2002
This study reports results from an empirical study of 54 software maintainers in the software maintenance department of a Norwegian company. The study addresses the relationship b...
101
Voted
TSE
1998
15 years 11 days ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
114
Voted
TC
2002
15 years 11 days ago
2002
Location management plays a significant role in current and future wireless mobile networks in effectively delivering services to the mobile users on the move. Many schemes have be...
133
Voted
TPDS
2002
15 years 11 days ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
TVLSI
2002
15 years 11 days ago
2002
We propose two practical approaches for on-chip inductance extraction to obtain a highly sparsified and accurate inverse inductance matrix K. Both approaches differ from previous ...