2503 search results - page 358 / 501 » A study of 3-arc graphs |
180
click to vote
CALCO
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
128
click to vote
CIKM
2009
Springer
16 years 9 days ago
2009
Springer
PN refer to the set of ties a specific individual has with other people. There is significant variation in the size of an individual’s PN and this paper explores the effect o...
166
click to vote
CIKM
2009
Springer
16 years 9 days ago
2009
Springer
Emergence of the web and online computing applications gave rise to rich large scale social activity data. One of the principal challenges then is to build models and understandin...
160
click to vote
CSL
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
155
click to vote
FSTTCS
2009
Springer
16 years 9 days ago
2009
Springer
In this paper, we initiate the study of designing approximation algorithms for FaultTolerant Group-Steiner (FTGS) problems. The motivation is to protect the well-studied group-Ste...