Sciweavers

293 search results - page 5 / 59
» From Systems to Components: Constructive Methods for Product...
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
14 years 29 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
COMPSAC
2002
IEEE
14 years 12 days ago
Constructing an EJB Application in a WFMS
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...
Jian-Wei Wang, Ta-Chun Lin, Hwai-Jong Hsu, Feng-Ji...
TII
2010
166views Education» more  TII 2010»
13 years 2 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis
EUC
2004
Springer
13 years 11 months ago
Hardware Mediators: A Portability Artifact for Component-Based Systems
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
Fauze Valério Polpeta, Antônio August...
SCIA
2011
Springer
223views Image Analysis» more  SCIA 2011»
12 years 10 months ago
Stable Structure from Motion for Unordered Image Collections
We present a non-incremental approach to structure from motion. Our solution is based on robustly computing global rotations from relative geometries and feeding these into the kno...
Carl Olsson, Olof Enqvist