Sciweavers

694 search results - page 13 / 139
» Open Graphs and Computational Reasoning
Sort
View
EIS
2011
253views ECommerce» more  EIS 2011»
13 years 4 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
AINA
2009
IEEE
14 years 3 months ago
Quantitative Evaluation of Software Quality Metrics in Open-Source Projects
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
Henrike Barkmann, Rüdiger Lincke, Welf Lö...
GD
2004
Springer
14 years 2 months ago
Fast Algorithms for Hard Graph Problems: Bidimensionality, Minors, and Local Treewidth
Abstract. This paper surveys the theory of bidimensional graph problems. We summarize the known combinatorial and algorithmic results of this theory, the foundational Graph Minor r...
Erik D. Demaine, Mohammad Taghi Hajiaghayi
CIE
2006
Springer
14 years 22 days ago
On Graph Isomorphism for Restricted Graph Classes
Abstract. Graph isomorphism (GI) is one of the few remaining problems in NP whose complexity status couldn't be solved by classifying it as being either NP-complete or solvabl...
Johannes Köbler
LICS
2005
IEEE
14 years 2 months ago
Model-Checking Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Markus Lohrey