Sciweavers

3106 search results - page 243 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 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
ENASE
2009
88views Hardware» more  ENASE 2009»
15 years 4 months ago
FOCAS: An Enginering Environment for Service-Based Applications
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
Gabriel Pedraza, Idrissa A. Dieng, Jacky Estublier
ICIP
2009
IEEE
16 years 7 months ago
Image Enhancement Method Via Blur And Noisy Image Fusion
We present an image enhancement algorithm based on fusing the visual information present in two images of the same scene, captured with different exposure times. The main idea is ...
COOPIS
1994
IEEE
15 years 10 months ago
Ontologies for Enterprise Integration
We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in wh...
Mark S. Fox, Michael Grüninger
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 7 months ago
Experimental verification of formation control with distributed cameras
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
He Bai, Karen D. Chapin, John Wason, John T. Wen