878 search results - page 111 / 176 » Choice and development |
93
Voted
CHI
2000
ACM
15 years 5 months ago
2000
ACM
One of the most robust findings in the sociological literature is the positive effect of communication on cooperation and trust. When individuals are able to communicate, cooperat...
105
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
93
Voted
WACC
1999
ACM
15 years 5 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
112
click to vote
WIDM
1999
ACM
15 years 5 months ago
1999
ACM
Analyzing Web Logs for usage and access trends can not only provide important information to web site developers and administrators, but also help in creating adaptive web sites. ...
115
click to vote
CSL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...