7117 search results - page 146 / 1424 » IT Governance Frameworks as Methods |
169
click to vote
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Image matting and segmentation, which are used to extract a foreground object from the background, are primary techniques for digital image and video editing. In digital matting, ...
126
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
153
Voted
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
159
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
128
click to vote
WSC
2001
15 years 6 months ago
2001
The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal...