Sciweavers

77016 search results - page 563 / 15404
» Modeling
Sort
View
DAC
2007
ACM
15 years 11 months ago
Design for Verification in System-level Models and RTL
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
Anmol Mathur, Venkat Krishnaswamy
KDD
2010
ACM
235views Data Mining» more  KDD 2010»
15 years 11 months ago
The topic-perspective model for social tagging systems
In this paper, we propose a new probabilistic generative model, called Topic-Perspective Model, for simulating the generation process of social annotations. Different from other g...
Caimei Lu, Xiaohua Hu, Xin Chen, Jung-ran Park, Ti...
DEXAW
2009
IEEE
95views Database» more  DEXAW 2009»
15 years 11 months ago
Collection-Relative Representations: A Unifying View to Retrieval Models
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
Benno Stein, Maik Anderka
EDOC
2009
IEEE
15 years 11 months ago
Aligning Business Process Models
This paper studies the following problem: given a pair of business process models, determine which elements in one model are related to which elements in the other model. This prob...
Remco M. Dijkman, Marlon Dumas, Luciano Garc&iacut...
FSEN
2009
Springer
15 years 11 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
« Prev « First page 563 / 15404 Last » Next »