Sciweavers

4911 search results - page 287 / 983
» Tree dependence analysis
Sort
View
ICSE
2003
IEEE-ACM
16 years 4 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
DSN
2009
IEEE
15 years 11 months ago
Dynamic content web applications: Crash, failover, and recovery analysis
This work assesses how crashes and recoveries affect the performance of a replicated dynamic content web application. RobustStore is the result of retrofitting TPC-W’s on-line ...
Luiz Eduardo Buzato, Gustavo M. D. Vieira, Willy Z...
ICANN
2009
Springer
15 years 11 months ago
Modelling Image Complexity by Independent Component Analysis, with Application to Content-Based Image Retrieval
Abstract. Estimating the degree of similarity between images is a challenging task as the similarity always depends on the context. Because of this context dependency, it seems qui...
Jukka Perkiö, Aapo Hyvärinen
DSN
2006
IEEE
15 years 10 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
E2EMON
2006
IEEE
15 years 10 months ago
An Analysis of Active End-to-end Bandwidth Measurements in Wireless Networks
— For active, probing-based bandwidth measurements performed on top of the unifying IP layer, it may seem reasonable to expect the measurement problem in wireless networks to be ...
Andreas Johnsson, Mats Björkman, Bob Melander