Sciweavers

1829 search results - page 281 / 366
» aims 2008
Sort
View
ECCV
2008
Springer
15 years 1 months ago
A Statistical Confidence Measure for Optical Flows
Confidence measures are crucial to the interpretation of any optical flow measurement. Even though numerous methods for estimating optical flow have been proposed over the last thr...
Claudia Kondermann, Rudolf Mester, Christoph S. Ga...
EDCC
2008
Springer
15 years 1 months ago
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
Gabriella Carrozza, Domenico Cotroneo, Stefano Rus...
EDOC
2008
IEEE
15 years 1 months ago
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
Mohamed Ariff Ameedeen, Behzad Bordbar
ELPUB
2008
ACM
15 years 1 months ago
African universities in the knowledge economy: a collaborative approach to researching and promoting open communications in high
This paper will describe the informal collaborative approach taken by a group of donor funders and researchers in southern and eastern Africa aimed at consolidating the results an...
Eve Gray, Mark Burke
EMSOFT
2008
Springer
15 years 1 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...