5034 search results - page 384 / 1007 » A Content-Centric Development Process Model |
293
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
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 ...
154
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
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 ...
168
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
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...
167
click to vote
WOTUG
2007
15 years 8 months ago
2007
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...
219
click to vote
EDOC
2011
IEEE
14 years 6 months ago
2011
IEEE
—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...