1555 search results - page 218 / 311 » Using Macromodels to Manage Collections of Related Models |
ENTCS
2000
13 years 9 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
ANOR
2006
13 years 9 months ago
2006
This paper examines the effectiveness of joint decision making within 87 pairs of buyer-supplier relationships in manufacturing. Joint decision making is an important attribute of ...
GLOBE
2009
Springer
14 years 1 months ago
2009
Springer
P2P systems are increasingly used for efficient, scalable data sharing. Popular applications focus on massive file sharing. However, advanced applications such as online communiti...
SIGIR
2010
ACM
14 years 1 months ago
2010
ACM
Motivated by the commonly used faceted search interface in e-commerce, this paper investigates interactive relevance feedback mechanism based on faceted document metadata. In this...
JCDL
2011
ACM
13 years 3 days ago
2011
ACM
We need to harness the growing wealth of information in digital libraries to support intellectual work involving creative and exploratory processes. Prior research on hypertext au...