9110 search results - page 1490 / 1822 » Formally-Based Design Evaluation |
188
click to vote
COMCOM
2004
15 years 6 months ago
2004
In this paper, we propose QROUTE, an integrated framework for QoS-guaranteed multicast routing, in which a feasible multicast tree meeting multiple QoS constraints can be construc...
181
click to vote
CTW
2004
15 years 6 months ago
2004
Studies of performance in medicine are often based on observation. Videotape provides a valuable tool for recording events from both real environments and simulators. When analysin...
206
click to vote
CN
2002
15 years 6 months ago
2002
An important aspect in designing a multiprotocol label switching (MPLS) network is to determine an initial topology and to adapt it to the traffic load. A topology change in an MP...
159
Voted
CORR
2002
Springer
15 years 6 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
215
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Recommender systems learn about user preferences over time, automatically finding things of similar interest. This reduces the burden of creating explicit queries. Recommender sys...