Sciweavers

628 search results - page 64 / 126
» WI - Dissertationen
Sort
View
IANDC
2008
120views more  IANDC 2008»
15 years 3 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
114
Voted
JMS
2007
90views more  JMS 2007»
15 years 3 months ago
Pervasive E-health Services Using the DVB-RCS Communication Technology
Two-way satellite broadband communication technologies, such as the Digital Video Broadcasting with Return Channel via Satellite (DVB-RCS) technology, endeavour to offer attractive...
Demosthenes Vouyioukas, Ilias Maglogiannis, Vasili...
127
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
Economics of Technological Games among Telecommunication Service Providers
The telecommunication world keeps evolving, with the development of new technologies, and operators have to wonder if investing in the costly infrastructures and potential licenses...
Patrick Maillé, Bruno Tuffin, Jean-Marc Vig...
142
Voted
IEEEHPCS
2010
15 years 1 months ago
Performance evaluation of virtual machines in a service-oriented Grid testbed
In this paper we analyze the performance of execution of service workflows in virtual machines (VMs) used as resources in our service-oriented grid testbed (SGT). We chosen an app...
Carlos R. Senna, Luiz F. Bittencourt, Edmundo R. M...
139
Voted
PIMRC
2010
IEEE
15 years 1 months ago
Cognitive Beacon Channel via GSM and UMTS
This paper proposes the utilization of GSM logical channels (RACH, AGCH and TCH) and UMTS signaling (MIB and SIBs) of the Broadcast Channel to transmit a Cognitive Beacon Channel (...
Rodrigo Soule de Castro, Philippe Godlewski, Phili...