Sciweavers

3564 search results - page 150 / 713
» Evaluating a Formal Modelling Language
Sort
View
149
Voted
JIISIC
2007
15 years 5 months ago
A Minimal OCL-based Profile for Model Transformation
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
Roxana S. Giandini, Gabriela Pérez, Claudia...
113
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
A Recognizer of Rational Trace Languages
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
Federico Maggi
159
Voted
SIGIR
2003
ACM
15 years 8 months ago
Beyond independent relevance: methods and evaluation metrics for subtopic retrieval
We present a non-traditional retrieval problem we call subtopic retrieval. The subtopic retrieval problem is concerned with finding documents that cover many different subtopics ...
ChengXiang Zhai, William W. Cohen, John D. Laffert...
139
Voted
ICECCS
2010
IEEE
196views Hardware» more  ICECCS 2010»
15 years 3 months ago
Implementing and Evaluating a Model Checker for Transactional Memory Systems
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
125
Voted
HICSS
2002
IEEE
105views Biometrics» more  HICSS 2002»
15 years 8 months ago
Obtaining Language Models of Web Collections Using Query-Based Sampling Techniques
In the context of information retrieval, traditional collection selection algorithms have been widely studied. These algorithms utilize language models, a representation of the co...
Gary A. Monroe, James C. French, Allison L. Powell