Sciweavers

4349 search results - page 538 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
KBSE
2003
IEEE
15 years 9 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
SMALLTALK
2007
Springer
15 years 10 months ago
Transactional memory for smalltalk
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
Lukas Renggli, Oscar Nierstrasz
ICIP
2008
IEEE
16 years 6 months ago
Unifying analysis of full reference image quality assessment
This paper studies two increasingly popular paradigms for image quality assessment - Structural SIMilarity (SSIM) metrics and Information Fidelity metrics. The relation of the SSI...
Kalpana Seshadrinathan, Alan C. Bovik
ICDM
2008
IEEE
130views Data Mining» more  ICDM 2008»
15 years 11 months ago
Text Cube: Computing IR Measures for Multidimensional Text Database Analysis
Since Jim Gray introduced the concept of ”data cube” in 1997, data cube, associated with online analytical processing (OLAP), has become a driving engine in data warehouse ind...
Cindy Xide Lin, Bolin Ding, Jiawei Han, Feida Zhu,...
151
Voted
KCAP
2003
ACM
15 years 9 months ago
Aiding knowledge capture by searching for extensions of knowledge models
Electronic concept mapping tools empower experts to play an active role in the knowledge capture process, and provide a medium for building richly connected multimedia knowledge m...
David B. Leake, Ana Gabriela Maguitman, Thomas Rei...