5066 search results - page 394 / 1014 » Spectra of structures and relations |
145
click to vote
DEXAW
2005
IEEE
16 years 10 days ago
2005
IEEE
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
154
click to vote
ICDE
2005
IEEE
16 years 9 days ago
2005
IEEE
Structured P2P systems in the form of distributed hash tables (DHT) are a promising approach for building massively distributed data management platforms. However, for many applic...
167
click to vote
VISSOFT
2005
IEEE
16 years 8 days ago
2005
IEEE
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
174
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
145
click to vote
ICTAC
2005
Springer
16 years 6 days ago
2005
Springer
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic mo...