The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper, we present a formal model for the verification of the DNSsec Protocol in the interactive theorem prover Isabelle/HOL. Relying on the inductive approach to security protocol verification, this formal analysis provides a more expressive representation than the widely accepted model checking analysis. Our mechanized model allows to represent the protocol, all its possible traces and the...
Dynamic adaptive streaming over HTTP (DASH) has gained a significant momentum for multimedia streaming due to its ability in crossing firewalls and availability of infrastructure. In the mean time scalable video coding (SVC) is building a similar momentum as it enables efficient media storage and caching. In this work, we identify the main components of adaptive SVC-DASH client and propose an streaming...
The gap between the traffic demand and the link capacity, along with time-varying link conditions, results in poor service quality of video streaming services over the mobile networks. Leveraging the mobile cloud computing and wireless Device to Device (D2D) technology, we propose and discuss a framework to improve the quality of video services in a special scenario that adjacent mobile devices desire...
Infrastructure-as-a-Service (IaaS), which is offered by cloud computing, has focused on providing computing and storage resources, considering network mostly as a required communication accessory and not as a resource itself. In other words, the ability to define network resources (e.g. routing/switching elements, bandwidth, delay) is still very limited. However, the need to have more robust solutions...
The explosive increasing data on mobile terminals has multiple perspective of value for users and service providers, such as improving user experience, resource allocation and mobile devices marketing, etc. However, it lacks massive fine scale mobile data for studies. Previous research still limited in a grain scale, making analysis in a static way to the data obtained from Internet Service Providers...
A central goal of Machine-to-Machine Communication is to offer a common horizontal integration platform for various domains, devices, and applications. The automotive domain is considered as an intrinsic part. Besides, visions, associated with future connected vehicles towards Intelligent Transportation Systems and In-Car Multimedia systems, require new (distributed) automotive software architectures...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.