2229 search results - page 202 / 446 » On Reporting Fold Differences |
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
150
click to vote
SIGKDD
2000
15 years 6 months ago
2000
At KDD-99, the panel on Integrating Data Mining into Vertical Solutions addressed a series of questions regarding future trends in industrial applications. Panelists were chosen t...
171
click to vote
CSCW
1998
ACM
15 years 6 months ago
1998
ACM
We report on participatory design activities within the POLITeam project, a large project which introduces groupware into the German government. Working with a representative small...
169
click to vote
JECR
2002
15 years 6 months ago
2002
In this paper we report an extensive analysis of the different business models for auctions found on the Web. Three hundred websites randomly selected from the main search engines...
164
click to vote
JECR
2002
15 years 6 months ago
2002
Much of the empirical information on E-Commerce activity is based on the U.S. and other developed nations. This study extends our knowledge by conducting a comparative investigati...