Sciweavers

2761 search results - page 262 / 553
» Collaborative model merging
Sort
View
ATVA
2005
Springer
80views Hardware» more  ATVA 2005»
15 years 9 months ago
Syntactical Colored Petri Nets Reductions
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
Sami Evangelista, Serge Haddad, Jean-Franço...
ICCS
2005
Springer
15 years 9 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...
UML
2005
Springer
15 years 9 months ago
Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
Slavisa Markovic, Thomas Baar
SIGIR
2004
ACM
15 years 9 months ago
Federated Search of Text-Based Digital Libraries in Hierarchical Peer-to-Peer Networks
Abstract. Peer-to-peer architectures are a potentially powerful model for developing large-scale networks of text-based digital libraries, but peer-to-peer networks have so far pro...
Jie Lu, Jamie Callan
132
Voted
ADVIS
2004
Springer
15 years 9 months ago
Kaliphimos: A Community-Based Peer-to-Peer Group Management Scheme
Emerging peer-to-peer services such as Freenet, Gnutella, Kazaa, and Napster provide an easy and efficient way to share resources and information. However, misuse or unfair exploit...
Hoh Peter In, Konstantinos A. Meintanis, Ming Zhan...