A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
>tex<$Q$>/tex<-Learning-Based Multirate Transmission Control Scheme for RRM in Multimedia WCDMA Systems
2004
IEEE Transactions on Vehicular Technology
Preserved Fulltext
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
2000
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems PDSE-99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
1998
Computer Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2010
Innovations in Systems and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2008
Wireless personal communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
IEEE Multimedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
2004 IEEE International Conference on Communications (IEEE Cat. No.04CH37577)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2000
IEEE Design & Test of Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2004
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
International Journal of Communication Networks and Information Security
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2009
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Future generations computer systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2000
Cartography
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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