Sciweavers

1893 search results - page 220 / 379
» Computational composites
Sort
View
SPIN
2009
Springer
14 years 5 months ago
Symbolic Analysis via Semantic Reinterpretation
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
Junghee Lim, Akash Lal, Thomas W. Reps
AINA
2008
IEEE
14 years 5 months ago
WS-BPEL Process Compiler for Resource-Constrained Embedded Systems
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
Hendrik Bohn, Andreas Bobek, Frank Golatowski
ICPR
2008
IEEE
14 years 5 months ago
Monocular video foreground segmentation system
This paper proposes an automatic foreground segmentation system based on Gaussian mixture models and dynamic graph cut algorithm. An adaptive perpixel background model is develope...
Xiaoyu Wu, Yangsheng Wang, Xiaolong Zheng
IEEESCC
2008
IEEE
14 years 5 months ago
A Model for Digital Business Ecosystem and Topological Analysis
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
Juan Wang, Philippe De Wilde
PDP
2008
IEEE
14 years 5 months ago
Type Safe Algorithmic Skeletons
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
Denis Caromel, Ludovic Henrio, Mario Leyton