6413 search results - page 1085 / 1283 » Classes of cycle bases |
198
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
190
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
171
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Semantic peer to peer (P2P) systems are fully decentralized overlay networks of people or machines (called peers) sharing and searching varied resources (documents, videos, photos...
195
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...
154
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
The problem of finding trust paths and estimating the trust one can place in a partner arises in various application areas, including virtual organisations, authentication systems ...