Sciweavers

3908 search results - page 302 / 782
» A model for service-oriented communication systems
Sort
View
ICCNMC
2005
Springer
16 years 9 days ago
Cooperative Determination on Cache Replacement Candidates for Transcoding Proxy Caching
Transcoding proxy caching is an important technology for improving the services over Internet, especially in the environment of mobile computing systems. In this paper, we address ...
Keqiu Li, Hong Shen, Francis Y. L. Chin
184
Voted
ICC
2008
IEEE
120views Communications» more  ICC 2008»
16 years 1 months ago
Invariance Property of Isotropic Random Walk Mobility Patterns in Mobile Ad-Hoc Networks
—The class of isotropic random walk mobility models, including Random Direction mobility model, Random Walk mobility model and Brownian motion mobility model, has been widely use...
Han Cai, Chul-Ho Lee, Do Young Eun
214
Voted
CORR
2007
Springer
154views Education» more  CORR 2007»
15 years 6 months ago
Application of a design space exploration tool to enhance interleaver generation
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
Cyrille Chavet, Philippe Coussy, Pascal Urard, Eri...
HYBRID
2001
Springer
15 years 11 months ago
Hybrid I/O Automata Revisited
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...
CL
2007
Springer
15 years 6 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains