Sciweavers

3830 search results - page 495 / 766
» From Reference Model to Component Model
Sort
View
ICSE
2008
IEEE-ACM
16 years 3 months ago
CCVisu: automatic visual software decomposition
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
Dirk Beyer
COMPSAC
2009
IEEE
15 years 10 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
CIARP
2009
Springer
15 years 10 months ago
Finding Images with Similar Lighting Conditions in Large Photo Collections
When we look at images taken from outdoor scenes, much of the information perceived is due to the ligthing conditions. In these scenes, the solar beams interact with the atmosphere...
Mauricio Díaz, Peter F. Sturm
124
Voted
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
15 years 10 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
SAFECOMP
2009
Springer
15 years 10 months ago
Probabilistic Failure Propagation and Transformation Analysis
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
Xiaocheng Ge, Richard F. Paige, John A. McDermid