Sciweavers

2478 search results - page 268 / 496
» Quadtrees as an Abstract Domain
Sort
View
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 8 months ago
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spac...
BPM
2006
Springer
126views Business» more  BPM 2006»
15 years 8 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
CAISE
2006
Springer
15 years 8 months ago
Process Support in eHome Systems: Empowering Providers to Handle a Future Mass Market
Abstract. This paper focuses on the sales and distribution phase in eHome systems. The huge market potential for affordable solutions leads to a multiplicity in terms of millions o...
Ibrahim Armac, Michael Kirchhof
DAGM
2006
Springer
15 years 8 months ago
Introducing Dynamic Prior Knowledge to Partially-Blurred Image Restoration
Abstract. The paper presents an unsupervised method for partiallyblurred image restoration without influencing unblurred regions or objects. Maximum a posteriori estimation of para...
Hongwei Zheng, Olaf Hellwich
AGTIVE
2007
Springer
15 years 8 months ago
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
Erhard Weinell