1662 search results - page 230 / 333 » Privately Finding Specifications |
140
click to vote
SMR
2002
15 years 2 months 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...
119
click to vote
TSE
1998
15 years 2 months 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...
138
Voted
TC
2002
15 years 2 months 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...
147
Voted
TPDS
2002
15 years 2 months 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...
105
click to vote
TVLSI
2002
15 years 2 months 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 ...