Sciweavers

3815 search results - page 162 / 763
» An Implementation of Session Types
Sort
View
ITRE
2005
IEEE
14 years 1 months ago
Securing RSVP and RSVP-TE signaling protocols and their performance study
RSVP and RSVP-TE are signaling protocols used to set up paths and/or support Quality of Service (QoS) requirements in IP and MPLS-based networks, respectively. This paper analyzes...
Jin Zhi, Chung-Horng Lung, Xia Xu, Anand Srinivasa...
IS4TH
2003
Springer
14 years 1 months ago
Pathology Design for Surgical Training Simulators
Realistic generation of variable anatomical organ models and pathologies are crucial for a sophisticated surgical training simulator. A training scene needs to be different in eve...
Raimundo Sierra, Michael Bajka, Gábor Sz&ea...
ACSC
2002
IEEE
14 years 1 months ago
A Generalised Spreadsheet Verification Methodology
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
Nick Randolph, John Morris, Gareth Lee
ISCC
2002
IEEE
289views Communications» more  ISCC 2002»
14 years 1 months ago
Comparison of voice activity detection algorithms for VoIP
We discuss techniques for Voice Activity Detection (VAD) for Voice over Internet Protocol (VoIP). VAD aids in saving bandwidth requirement of a voice session thereby increasing th...
R. Venkatesha Prasad, Abhijeet Sangwan, H. S. Jama...
VR
2002
IEEE
136views Virtual Reality» more  VR 2002»
14 years 1 months ago
Applications of Temporal Links: Recording and Replaying Virtual Environments
Temporal links allow recordings of multi-user sessions to be dynamically inserted into current virtual worlds in a flexible and principled way. This paper explores key application...
Chris Greenhalgh, Martin Flintham, Jim Purbrick, S...