2838 search results - page 271 / 568 » Verifying Controlled Components |
198
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
Providing quality of service (QoS) guarantees over wireless links requires thorough understanding and quantification of the interactions among the traffic source, the wireless cha...
155
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
175
click to vote
PKC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...
185
click to vote
ERCIMDL
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes novel market-based technologies for systematic, quantifiable and predictable protection of information systems against attacks. These technologies, incorporate...
181
click to vote
ACSC
2009
IEEE
15 years 10 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...