Sciweavers

3637 search results - page 197 / 728
» Application of Network Calculus to Guaranteed Service Networ...
Sort
View
INFOCOM
2006
IEEE
16 years 16 days ago
Trust Evaluation in Anarchy: A Case Study on Autonomous Networks
— With the explosive growth of network techniques, in particular wireless communications, the traditional centralized, fixed networks can no longer satisfy the enormous demands ...
Tao Jiang, John S. Baras
VTC
2006
IEEE
16 years 16 days ago
GANS: A Signalling Framework for Dynamic Interworking Between Heterogeneous Networks
— There is a growing trend towards convergence of telecommunication and data networks in order to support a richer set of services and applications. At the same time, increasing ...
Nadeem Akhtar, Rui Campos, Cornelia Kappler, Pekka...
POPL
2004
ACM
16 years 6 months ago
A bisimulation for dynamic sealing
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
Eijiro Sumii, Benjamin C. Pierce
ICDE
2005
IEEE
123views Database» more  ICDE 2005»
16 years 7 months ago
High-Availability Algorithms for Distributed Stream Processing
Stream-processing systems are designed to support an emerging class of applications that require sophisticated and timely processing of high-volume data streams, often originating...
Alex Rasin, Jeong-Hyon Hwang, Magdalena Balazinska...
IEEESCC
2006
IEEE
16 years 17 days ago
Modeling Non-Functional Aspects in Service Oriented Architecture
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba