Sciweavers

4761 search results - page 844 / 953
» Performance of Protocols
Sort
View
SICHERHEIT
2010
14 years 7 months ago
State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
Tobias Distler, Rüdiger Kapitza, Hans P. Reis...
SOCA
2010
IEEE
14 years 7 months ago
Virtualised e-Learning with real-time guarantees on the IRMOS platform
In this paper we focus on how Quality of Service guarantees are provided to virtualised applications in the Cloud Computing infrastructure that is being developed in the context of...
Tommaso Cucinotta, Fabio Checconi, Zlatko Zlatev, ...
TRIDENTCOM
2010
IEEE
14 years 7 months ago
From Kansei to KanseiGenie: Architecture of Federated, Programmable Wireless Sensor Fabrics
Abstract. This paper deals with challenges in federating wireless sensing fabrics. Federations of this sort are currently being developed in next generation global end-to-end exper...
Mukundan Sridharan, Wenjie Zeng, William Leal, Xi ...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 7 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
GLOBECOM
2009
IEEE
14 years 7 months ago
Implementation and Benchmarking of Hardware Accelerators for Ciphering in LTE Terminals
Abstract--In this paper we investigate hardware implementations of ciphering algorithms, SNOW 3G and the Advanced Encryption Standard (AES), for the acceleration of the protocol st...
Sebastian Hessel, David Szczesny, Nils Lohmann, At...