Sciweavers

586 search results - page 31 / 118
» Additional context for gentle-slope systems
Sort
View
ICSM
1999
IEEE
14 years 23 days ago
Using Coupling Measurement for Impact Analysis in Object-Oriented Systems
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
Lionel C. Briand, Jürgen Wüst, Hakim Lou...
IANDC
2008
84views more  IANDC 2008»
13 years 8 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 6 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
AGILE
2009
Springer
295views GIS» more  AGILE 2009»
14 years 3 months ago
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
Lutz Ross, Jannes Bolling, Jürgen Döllne...
DSD
2008
IEEE
94views Hardware» more  DSD 2008»
14 years 2 months ago
Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip
Systems on chip (SoC) have much in common with traditional (networked) distributed systems in that they consist of largely independent components with dedicated communication inte...
Gottfried Fuchs, Matthias Függer, Ulrich Schm...