2165 search results - page 375 / 433 » cases 2005 |
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
MA
2010
Springer
14 years 8 months ago
2010
Springer
Quasi-independence is a common assumption for analyzing truncated data. To verify this condition, we consider a class of weighted log-rank type statistics that include existing te...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
The need for software architecture evaluation has drawn considerable attention in recent years. In practice, this is a challenging exercise for two main reasons. First, in deploye...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
104
click to vote
ER
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...