Sciweavers

626 search results - page 58 / 126
» Correct Composition of Design Components
Sort
View
AIEDAM
2008
106views more  AIEDAM 2008»
15 years 3 months ago
Analogical recognition of shape and structure in design drawings
We describe a method for constructing a structural model of an unlabeled target two-dimensional line drawing by analogy to a known source model of a drawing with similar structure...
Patrick W. Yaner, Ashok K. Goel
151
Voted
BIRTHDAY
2004
Springer
15 years 8 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
SIGGRAPH
1998
ACM
15 years 7 months ago
Rendering Synthetic Objects into Real Scenes: Bridging Traditional and Image-based Graphics with Global Illumination and High Dy
We present a method that uses measured scene radiance and global illumination in order to add new objects to light-based models with correct lighting. The method uses a high dynam...
Paul E. Debevec
EMSOFT
2009
Springer
15 years 9 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
114
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
A Model and a Design Approach to Building QoS Adaptive Systems
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
Paul D. Ezhilchelvan, Santosh K. Shrivastava