4350 search results - page 184 / 870 » Case studies for contract-based systems |
151
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
146
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
Extensive measurement studies have shown that end-to-end Internet path performance degradation is correlated with routing dynamics. However, the root cause of the correlation betw...
176
click to vote
MOBISYS
2006
ACM
16 years 4 months ago
2006
ACM
There is a fair amount of evidence that mesh (static multihop wireless) networks are gaining popularity, both in the academic literature and in the commercial space. Nonetheless, ...
150
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a hidden Markov model (HMM) based approach to perform search interface segmentation. Automatic processing of an interface is a must to access the invisible co...
124
click to vote
WCE
2007
15 years 5 months ago
2007
— In order to predict the durability of engineering components and improve performance, it is mandatory to understand residual stresses. The last decade has witnessed a significa...