Sciweavers

284 search results - page 42 / 57
» Formal Foundation for Pattern-Based Modelling
Sort
View
109
Voted
CORR
2010
Springer
131views Education» more  CORR 2010»
15 years 2 months ago
A PAC-Bayesian Analysis of Graph Clustering and Pairwise Clustering
We formulate weighted graph clustering as a prediction problem1 : given a subset of edge weights we analyze the ability of graph clustering to predict the remaining edge weights. ...
Yevgeny Seldin
ISOLA
2010
Springer
15 years 26 days ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
122
Voted
GIS
2010
ACM
15 years 12 days ago
Tolerance geometry: Euclid's first postulate for points and lines with extension
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
Gwen Wilke, Andrew U. Frank
99
Voted
ICSM
2009
IEEE
15 years 9 months ago
A theoretical and empirical study of EFSM dependence
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
Kelly Androutsopoulos, Nicolas Gold, Mark Harman, ...
JOT
2008
123views more  JOT 2008»
15 years 2 months ago
An MOF2-based Services Metamodel
As Service-Oriented Computing is gaining mainstream adoption, Services are emerging as core-building blocks of today's applications. In particular, web services have become t...
Harshavardhan Jegadeesan, Sundar Balasubramaniam