1833 search results - page 236 / 367 » Mechanized Verification with Sharing |
145
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
As a soft-state protocol, RSVP specifies that each RSVP node sends periodic control messages to maintain the state for active RSVP sessions. The protocol overhead due to such peri...
164
click to vote
APN
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
185
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
168
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
In order to support quality-of-service (QoS) for real-time data communications such as voice, video and interactive services, multiaccess networks must provide an effective priorit...
152
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
Asynchronous collaboration is characterized by the degree of independence collaborators have from one another. In particular, collaborators working asynchronously typically have l...