Sciweavers

2984 search results - page 335 / 597
» Method engineering process patterns
Sort
View
CCECE
2006
IEEE
16 years 16 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
173
Voted
WWW
2007
ACM
16 years 7 months ago
Answering relationship queries on the web
Finding relationships between entities on the Web, e.g., the connections between different places or the commonalities of people, is a novel and challenging problem. Existing Web ...
Gang Luo, Chunqiang Tang, Ying-li Tian
163
Voted
ICSE
2005
IEEE-ACM
16 years 6 months ago
Static analysis tools as early indicators of pre-release defect density
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...
Nachiappan Nagappan, Thomas Ball
163
Voted
ICSE
2008
IEEE-ACM
16 years 6 months ago
Continuous software quality supervision using SourceInventory and Columbus
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
Árpád Beszédes, Rudolf Ferenc...
ICMCS
2008
IEEE
120views Multimedia» more  ICMCS 2008»
16 years 27 days ago
Using Semantic Graphs for Image Search
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
Jyh-Ren Shieh, Yang-Ting Yeh, Chih-Hung Lin, Ching...