Filters








1,637 Hits in 6.9 sec

>tex<$Q$>/tex<-Learning-Based Multirate Transmission Control Scheme for RRM in Multimedia WCDMA Systems

Y.-S. Chen, C.-J. Chang, F.-C. Ren
2004 IEEE Transactions on Vehicular Technology  
The multirate transmission control problem is modeled as a Markov decision process where the transmission cost is defined in terms of the quality-of-service (QoS) parameters for enhancing spectrum utilization  ...  The state space and memory-storage requirement are then reduced and the convergence property of the -learning algorithm is improved.  ...  ACKNOWLEDGMENT The authors would like to thank the anonymous reviewers for their comments, which improved the correctness and presentation of the paper.  ... 
doi:10.1109/tvt.2003.822330 fatcat:rrr2vz43xvaopog3aoaqmog3dy

A principled approach to supporting adaptation in distributed mobile environments

Blair, Coulson, Andersen, Blair, Clarke, Costa, Duran, Parlavantzas, Saikoski
2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99  
More specifically, the paper introduces a language-independent, component-based reflective architecture featuring a percomponent meta-space, the use of meta-models to structure meta-space, and a consistent  ...  The paper also reports on a quality of service management framework, providing sophisticated support for monitoring and adaptation functions.  ...  ACKNOWLEDGEMENTS The research described in this paper is partly funded by the CNET, France Telecom (CNET Grant 96-1B-239) and by the EPSRC together with BT Labs (Research Grant GR/K72575).  ... 
doi:10.1109/pdse.2000.847845 dblp:conf/pdse/BlairCABCCDPS00 fatcat:yybiyqy5ofbblen45wkmxmibeq

Specification, validation, and verification of time-critical systems

Shiuh-Pyng Shieh, Jun-Nan Chen
1998 Computer Communications  
A given time-dependent specification can be formalized as a Timed CFSM, from which the reachability graph is constructed to verify the correctness of the specification.  ...  After receiving REQ, the process SERVER transits into the state SERVICE, in which service is processing. After the service is done, SERVER sends a message DONE and returns to the state IDLE.  ...  Acknowledgements This work was supported in part by the National Science Council of Taiwan. under contract NSC 85-2213-E-009-032.  ... 
doi:10.1016/s0140-3664(97)00145-x fatcat:5ytepocptreazd2rgdqzkkdl54

Formal verification of secure group communication protocols modelled in UML

P. de Saqui-Sannes, T. Villemur, B. Fontan, S. Mota, M. S. Bouassida, N. Chridi, I. Chrisment, L. Vigneron
2010 Innovations in Systems and Software Engineering  
and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design.  ...  OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible.  ...  Acknowledgments Support from the Réseau National de la Recherche en Télécommunications (RNRT) is greatly acknowledged. The authors are grateful to all the partners of SAFECAST project.  ... 
doi:10.1007/s11334-010-0122-3 fatcat:fjlthakjsneu5b4aqok7iex3p4

A Cross-Layer Approach to Enhance QoS for Multimedia Applications Over Satellite

Mathieu Gineste, Nicolas Van Wambeke, Ernesto Exposito, Christophe Chassot, Laurent Dairaine
2008 Wireless personal communications  
Facing this need, Demand Assignment Multiple Access (DAMA) is a classical technique that allows satellite operators to offer various types of services, while managing the resources of the satellite system  ...  The information provided by this interpreter is used to manage the resource provided to a terminal by the satellite system in order to improve the quality of multimedia presentations from the end user's  ...  His research interests include the specification, validation, and development of communication services and protocols aimed at satisfying QoS requirements for multimedia applications in heterogeneous network  ... 
doi:10.1007/s11277-008-9591-1 fatcat:mr66qq3gvfaqtpgrjt2ps6sffi

Autonomic Adaptation of Multimedia Content Adhering to Application Mobility [chapter]

Francisco Javier Velázquez-García, Pål Halvorsen, Håkon Kvale Stensland, Frank Eliassen
2018 Lecture Notes in Computer Science  
Today, many users of multimedia applications are surrounded by a changing set of multimedia-capable devices.  ...  We propose the system DAMPAT that implements an adaptation control loop to adapt multimedia pipelines.  ...  In the current state of DAMPAT, the Plan phase assumes infinite resources of application running environment, and do not consider other applications running in the same device.  ... 
doi:10.1007/978-3-319-93767-0_11 fatcat:ho6ayeukrrdetey6ncfvzzrary

Challenges and Approaches in Large-Scale P2P Media Streaming

W.-P. Ken Yiu, Xing Jin, S.-H. Gary Chan
2007 IEEE Multimedia  
A s the bandwidth delivered to users increases, the market expects a growing interest in networked multimedia streaming applications.  ...  Large-scale multimedia streaming over the Internet requires an enormous amount of server and network resources.  ...  in the same space of peer IDs by hashing the object itself.  ... 
doi:10.1109/mmul.2007.30 fatcat:ntvwlb6uffectid3ypauc7zwka

Improved support for streaming services in vehicular networks

V. Mancuso, M. Gambardella, G. Bianchi
2004 2004 IEEE International Conference on Communications (IEEE Cat. No.04CH37577)  
1 This paper presents a resource management mechanism aimed at improving the effectiveness of streaming services in vehicular networks.  ...  The scenario considered in this paper is that of a group of customers located into a same public vehicle, e.g. a moving train connected to the network via a satellite link, and requesting either video-on-demand-like  ...  More specifically, this paper deals with two types of streaming services: video-on-demand-like services, where each user may retrieve its favorite content, and diffusive services to access broadcast multimedia  ... 
doi:10.1109/icc.2004.1313371 dblp:conf/icc/MancusoGB04 fatcat:6ia2ep6bbvh4zjdylddmey7x5i

Formal models for embedded system design

M. Sgroi, L. Lavagno, A. Sangiovanni-Vincentelli
2000 IEEE Design & Test of Computers  
An essential component of a new system Formal Models for Embedded System Design Embedded System Design 2 The authors give an overview of models of computation for embedded system design and propose a new  ...  The system design challenge of at least the next decade is the dramatic expansion of this spectrum of diversity and the shorter and shorter timeto-market window.  ...  Mixed control/data flow specifications Embedded systems specifications, especially in networking and multimedia applications, usually consist of a mix of control functions and data processing and therefore  ... 
doi:10.1109/54.844330 fatcat:shu576ixcbgijeqof2mzbmtstq

Modelling and verification of interworking between SIP and H.323

Ligang Wang, Anjali Agarwal, J.William Atwood
2004 Computer Networks  
Using a series of scenarios, it has been shown that the model meets the functional specifications outlined in SIP-H323-Interworking specification documents. iii I would also like to thank my parents and  ...  There are currently two standards for signaling and control of Internet telephone calls, namely ITU-T Recommendation H.323 and the IETF Session Initiation Protocol (SIP).  ...  The effective and widespread deployment of multimedia and other services will depend on the successful implemen- "IP Multimedia Call Control Protocol based on SIP and SDP".  ... 
doi:10.1016/j.comnet.2003.12.013 fatcat:qwrvzjbd7jcmfkbua4iqh24h74

Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP [chapter]

Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi
2015 Lecture Notes in Computer Science  
Thus, this analysis aims at guiding the testers when tackling the passive testing of communication protocols.  ...  We propose a compared analysis of the application of two efficient passive testing methodologies through the study of the Session Initiation Protocol.  ...  Architecture of SIP The IMS (IP Multimedia Subsystem) is a standardized framework for delivering IP multimedia services to users in mobility.  ... 
doi:10.1007/978-3-319-25945-1_7 fatcat:zaoh7bjuyvd7ddis6uy7gr5hgu

Resource Allocation in 4G and 5G Networks: A Review

Lavanya-Nehan Degambur, Avinash Mungur, Sheeba Armoogum, Sameerchand Pudaruth
2021 International Journal of Communication Networks and Information Security  
The methodology used was an empirical study using qualitative techniques by performing literature reviews on the state of art in 4G and 5G networks, analyze their respective architectures and resource  ...  of the networks.  ...  In protocols such as TCP, a sender gets an advertised window from a receiver, which includes the amount of buffer space the receiver has and limits the amount of data the sender can transmit.  ... 
doi:10.54039/ijcnis.v13i3.5116 fatcat:gqxbso5aq5c2zao27rleyihpgi

Probabilistic Analysis of Wireless Systems Using Theorem Proving

Osman Hasan, Sofiène Tahar
2009 Electronical Notes in Theoretical Computer Science  
at the logic link control (LLC) layer of the General Packet Radio Service (GPRS), which is a packet oriented mobile data service available to the users of Global System for Mobile Communications (GSM)  ...  The paper presents a concise description of the formal foundations required to conduct the analysis of a wireless system in a theorem prover, such as, the higher-order-logic modeling of random variables  ...  in [12] and the Medium Access Control (MAC) protocol SMAC in [3] .  ... 
doi:10.1016/j.entcs.2009.06.022 fatcat:b4vone4zjjdxnmfie6skiaqg6i

Performance analysis of a threshold-based dynamic TXOP scheme for intra-AC QoS in wireless LANs

Jia Hu, Geyong Min, Mike E. Woodward
2014 Future generations computer systems  
The IEEE 802.11e Enhanced Distributed Channel Access (EDCA) protocol has been proposed for provisioning of differentiated Quality-of-Service (QoS) between various Access Categories (ACs), i.e., inter-AC  ...  To address the intra-AC QoS issue, this paper proposes a Threshold-Based Dynamic Transmission Opportunity (TBD-TXOP) scheme which sets the TXOP limits adaptive to the current status of the transmission  ...  However, due to the lack of support for real-time services, DCF is unable to provide Quality-of-Service (QoS) required by multimedia applications.  ... 
doi:10.1016/j.future.2013.09.021 fatcat:pxzqbdeuuvhnvc2wucbrltm3mi

Development of a Multimedia Learning Package for Map Projections

William Cartwright, Rod Deakin, Carmel McNaught
2000 Cartography  
RTP has a companion protocol RTCP (RTP-control protocol) to convey information about the participants of a conference. RTP provides functions such as; services.  ...  Internet Transport Protocols The Internet protocol stack includes two types of transport protocols, they are: Transmission Control Protocol (TCP) Early implementations of some multimedia applications  ... 
doi:10.1080/00690805.2000.9714110 fatcat:zbct75yndrgxvgz3566mx3zgvy
« Previous Showing results 1 — 15 out of 1,637 results