Sciweavers

587 search results - page 108 / 118
» A Framework for Modelling and Simulating Networks of Cells
Sort
View
ICMCS
2006
IEEE
133views Multimedia» more  ICMCS 2006»
14 years 1 months ago
Energy-Aware Multi-Source Video Streaming
Abstract— In a multi-source video streaming system, premature draining of low-power nodes can cause sudden failures of peer connections and degrade streaming performance. To solv...
Danjue Li, Chen-Nee Chuah, Gene Cheung, S. J. Ben ...
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
14 years 3 days ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
ATAL
2009
Springer
14 years 2 months ago
Maintenance-based trust for multi-agent systems
In last years, trust and reputation has been gaining increasing interest in multi-agent systems (MAS). To address this issue, we propose in this paper a maintenance-based trust me...
Babak Khosravifar, Maziar Gomrokchi, Jamal Bentaha...
FMICS
2009
Springer
14 years 2 months ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan
ICDCSW
2005
IEEE
14 years 1 months ago
Control Theory Optimization of MECN in Satellite Networks
Congestion in the Internet results in wasted bandwidth and also stands in the way of guaranteeing QoS. The effect of congestion is multiplied many fold in Satellite networks, wher...
Arjan Durresi, Mukundan Sridharan, Sriram Chellapp...