Sciweavers

53 search results - page 6 / 11
» Extra-Functional Contract Support in Components
Sort
View
ICSE
2011
IEEE-ACM
12 years 11 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
IDMS
2000
Springer
139views Multimedia» more  IDMS 2000»
13 years 11 months ago
Design and Implementation of a Framework for Monitoring Distributed Component Interactions
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
Nikolay K. Diakov, Harold J. Batteram, Hans Zandbe...
ISMVL
2000
IEEE
64views Hardware» more  ISMVL 2000»
13 years 12 months ago
Properties of Independent Components of Self-Motion Optical Flow
In this paper we describe the properties of independent components of optical ow of moving objects. Video sequences of objects seen by an observer moving at various angles, direct...
Marwan A. Jabri, Ki-Young Park, Soo-Young Lee, Ter...
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
13 years 11 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
FASE
2010
Springer
13 years 10 months ago
Incremental Service Composition Based on Partial Matching of Visual Contracts
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Fra...