Sciweavers

5034 search results - page 384 / 1007
» A Content-Centric Development Process Model
Sort
View
ICDE
2008
IEEE
135views Database» more  ICDE 2008»
16 years 6 months ago
Online Filtering, Smoothing and Probabilistic Modeling of Streaming data
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...
Bhargav Kanagal, Amol Deshpande
ICMCS
2007
IEEE
124views Multimedia» more  ICMCS 2007»
15 years 11 months ago
Dealing with Degenerate Input in 3D Modeling of Indoor Scenes using Handheld Cameras
3D models have many applications, but automatically building a 3D model from a video is a challenge in practice. Many methods exist for outdoor scenes, but indoor scenes are more ...
Trung Kien Dang, Marcel Worring
MODELS
2007
Springer
15 years 11 months ago
UML2Alloy: A Challenging Model Transformation
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
WOTUG
2007
15 years 6 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
EDOC
2011
IEEE
14 years 4 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla