Sciweavers

3637 search results - page 319 / 728
» Application of Network Calculus to Guaranteed Service Networ...
Sort
View
GI
2004
Springer
16 years 3 days ago
Speeding up Transaction-oriented Communications in the Internet
: Future mobile networks will offer a great variety of multimedia services. DiffServ is the promising framework standardized by the IETF to enhance the Internet with the essential ...
Tobias Küfner, Mark Doll, Götz Lichtwald...
TPHOL
1999
IEEE
15 years 11 months ago
Integrating Gandalf and HOL
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...
Joe Hurd
AICCSA
2007
IEEE
79views Hardware» more  AICCSA 2007»
16 years 1 months ago
QoS Routing of VoIP using a Modified Widest-Shortest Routing Algorithm
Implementation of current real time services (of which one of the more important is Voice over IP) on the current Internet face many obstacles, among them the issue of routing. Qu...
Ala F. Khalifeh, Ali H. El-Mousa
GLOBECOM
2007
IEEE
15 years 10 months ago
On Modeling VoIP Traffic in Broadband Networks
With the general trend towards ubiquitous access to the Internet, more users will prefer to make voice calls through the Internet. VoIP as the application which facilitates voice c...
Ehsan Haghani, Swades De, Nirwan Ansari
CCR
2008
91views more  CCR 2008»
15 years 6 months ago
Serial experiments online
Current network protocols must comply with rigid interfaces and rules of behavior to fit into well defined, vertical protocol stacks. It is difficult for network designers to offe...
Juan J. Ramos-Muñoz, Lidia Yamamoto, Christ...