140 search results - page 26 / 28 » Protocol verification using flows: An industrial experience |
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
The Session Initiation Protocol (SIP) has been widely adopted for Instant Messaging (IM) and VoIP telephony both by the enterprise and in service provider systems. Till now, SIP f...
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
Mashup is a web technology that combines information from more than one source into a single web application. This technique provides a new platform for different data providers t...
NGC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract--We describe fair layered increase/decrease with dynamic layering (FLID-DL): a new multirate congestion control algorithm for layered multicast sessions. FLID-DL generaliz...
AAAI
1997
13 years 8 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
ISCA
2011
IEEE
12 years 11 months ago
2011
IEEE
A growing body of work has compiled a strong case for the single-ISA heterogeneous multi-core paradigm. A single-ISA heterogeneous multi-core provides multiple, differently-design...