5754 search results - page 430 / 1151 » Multi-class Model M |
165
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous sa...
209
Voted
TYPES
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
151
click to vote
SIGOPSE
1990
ACM
15 years 11 months ago
1990
ACM
We propose group communication as an efficient mechanism to support fault tolerance. Our approach is based on an efficient reliable broadcast protocol that requires on average onl...
177
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
A stepwise approach is proposed to predict the performance of component compositions. The approach considers the major factors influencing the performance of component compositions...
172
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
A fundamental feature of Peer-to-Peer (P2P) networks is the honest collaboration among an heterogeneous community of participants. After Napster success