12981 search results - page 2323 / 2597 » Model Checking (Abstract) |
145
click to vote
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
155
click to vote
IWPC
1997
IEEE
15 years 8 months ago
1997
IEEE
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...
124
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
d in Extended Abstracts, Human Factors in Computing Systems (CHI conference proceedings), Association for Computing Machinery, 1997, pp. 246-247. Originally appeared as Working Pap...
154
click to vote
COMPGEOM
1997
ACM
15 years 8 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
137
click to vote
STOC
1997
ACM
15 years 8 months ago
1997
ACM
Abstract. We study online learning algorithms that predict by combining the predictions of several subordinate prediction algorithms, sometimes called “experts.” These simple a...