4350 search results - page 785 / 870 » Case studies for contract-based systems |
159
click to vote
CCR
2011
14 years 10 months ago
2011
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
144
click to vote
MIA
2010
14 years 10 months ago
2010
The automatic segmentation of the musculoskeletal system from medical images is a particularly challenging task, due to its morphological complexity, its large variability in the ...
114
click to vote
SIAMADS
2010
14 years 10 months ago
2010
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...
159
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Selective attention in the human visual system is performed as the way that humans focus on the most important parts when observing a visual scene. Many bottom-up computational mo...
122
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...