10038 search results - page 1646 / 2008 » Model Checking for Managers |
213
click to vote
WPES
2003
ACM
15 years 12 months ago
2003
ACM
Trust negotiation is an approach to establishing trust between strangers through the bilateral, iterative disclosure of digital credentials. Under automated trust negotiation, acc...
166
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
: This research develops, operationalizes, and empirically tests a model for explaining/predicting the satisfaction of customers with Internet-based services in the context of an o...
177
click to vote
PFE
2001
Springer
15 years 11 months ago
2001
Springer
Although software mass customization offers the potential for order-of-magnitude improvements in software engineering performance, the up-front cost, level of effort, assumed risk,...
159
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...
186
click to vote
SIGMOD
1996
ACM
15 years 10 months ago
1996
ACM
METU INteroperable Database System (MIND) is a multidatabase system that aims at achieving interoperability among heterogeneous, federated DBMSs. MIND architecture is based on OMG...