Sciweavers

2485 search results - page 306 / 497
» A Communicating Tree Model for Generating Network Applicatio...
Sort
View
GLOBECOM
2008
IEEE
15 years 10 months ago
MIMO UWB Systems Based on Linear Precoded OFDM for Home Gigabit Applications
Abstract— In this paper, we investigate the use of multipleinput multiple-output (MIMO) techniques with linear precoded orthogonal frequency division multiplexing (LP-OFDM) wavef...
Antoine Stephan, Jean-François Hélar...
CONEXT
2006
ACM
15 years 10 months ago
Synergy: blending heterogeneous measurement elements for effective network monitoring
Network traffic matrices are important for various network planning and management operations. Previous work for estimation of traffic matrices is based on either link load record...
Awais Ahmed Awan, Andrew W. Moore
INFOCOM
2003
IEEE
15 years 9 months ago
A Stochastic Model of TCP and Fair Video Transmission
— A stochastic model of TCP is developed. Unlike many other models, this model accounts for variations in latency and loss probability. A major strength of this model is that it ...
Stephan Bohacek
ATAL
2008
Springer
15 years 6 months ago
A 'companion' ECA with planning and activity modelling
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...
Marc Cavazza, Cameron Smith, Daniel Charlton, Li Z...
147
Voted
DSN
2002
IEEE
15 years 9 months ago
Model Checking Performability Properties
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
Boudewijn R. Haverkort, Lucia Cloth, Holger Herman...