Sciweavers

4752 search results - page 375 / 951
» Dependability in Web Software
Sort
View
GD
2005
Springer
16 years 7 days ago
Energy-Based Clustering of Graphs with Nonuniform Degrees
Widely varying node degrees occur in software dependency graphs, hyperlink structures, social networks, and many other real-world graphs. Finding dense subgraphs in such graphs is ...
Andreas Noack
CSMR
1998
IEEE
15 years 11 months ago
A Metrics Suite for Concurrent Logic Programs
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
SIGSOFT
2010
ACM
15 years 1 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
172
Voted
WWW
2004
ACM
16 years 7 months ago
A combined approach to checking web ontologies
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-...
196
Voted
WISE
2005
Springer
16 years 9 days ago
Semantic Web Technologies for Interpreting DNA Microarray Analyses: The MEAT System
Abstract. This paper describes MEAT (Memory of Experiments for the Analysis of Transcriptomes), a project aiming at supporting biologists working on DNA microarrays. We provide met...
Khaled Khelif, Rose Dieng-Kuntz, Pascal Barbry