Sciweavers

798 search results - page 34 / 160
» Statecharts as Protocols for Objects
Sort
View
IEEEARES
2006
IEEE
15 years 5 months ago
Availability Constraints for Avionic Data Buses
— The three traditional objectives of computer security are confidentiality, integrity and availability [8]. Availability can be defined as the prevention of denial of service. C...
Alban Gabillon, Laurent Gallon
ICNP
2002
IEEE
15 years 4 months ago
A Theory of Window-Based Unicast Congestion Control
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
Nishanth R. Sastry, Simon S. Lam
ICC
2000
IEEE
157views Communications» more  ICC 2000»
15 years 4 months ago
Adaptive Reliable Multicast
We present a new reliable multicast protocol, called ARM for Adaptive Reliable Multicast. Our protocol integrates ARQ and FEC techniques. The objectives of ARM are (1) reduce the ...
Jaehee Yoon, Azer Bestavros, Ibrahim Matta
ICSE
2008
IEEE-ACM
15 years 12 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich
ICPP
2007
IEEE
15 years 6 months ago
MHH: A Novel Protocol for Mobility Management in Publish/Subscribe Systems
Mobility management is an important issue for publish/subscribe systems to support mobile clients. The objectives of mobility management for publish / subscribe are to achieve sho...
Jinling Wang, Jiannong Cao, Jing Li, Jie Wu