9110 search results - page 1492 / 1822 » Formally-Based Design Evaluation |
177
click to vote
MTA
2000
15 years 6 months ago
2000
Musical scores are traditionally retrieved by title, composer or subject classification. Just as multimedia computer systems increase the range of opportunities available for pres...
176
click to vote
CCR
1998
15 years 6 months ago
1998
This paper presents a simulation study of various TCP acknowledgment generation and utilization techniques. We investigate the standard version of TCP and the two standard acknowl...
207
click to vote
CLUSTER
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we propose a new multicast protocol for multihop mobile wireless networks. Instead of forming multicast trees, a group of nodes in charge of forwarding multicast pac...
199
click to vote
COMCOM
1998
15 years 6 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
175
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...