- Subscribe to this page:
- RSS
- Email Alert
university of zurich
(502 results)-
Downloads
European Athletics mobile 1.0 (iOS)
May 10, 2012 12:00am PDT
The official European Athletics mobile i-phone application brings you all the news, results, calendar information and season lists from the continent.Athlete biographies, video interviews, photo...
Provided by: European Athletics
-
Downloads
DolderClassics 1.0 (iOS)
May 9, 2012 12:00am PDT
DolderClassics is a new event offering a showcase for classic cars and motorcycles in the beautiful setting of the Dolder ice rink in Zurich. It is being held four times during 2012; 13.5., 10.6.,...
Provided by: meineApp
-
White Papers
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties
April 24, 2012 12:00am PDT
The authors present a general approach for the symbolic analysis of security protocols that use Diffie-Hellman exponentiation to achieve advanced security properties. They model protocols as...
Provided by: ETH Zurich
-
White Papers
A Comprehensive Operational Semantics of the SCOOP Programming Model
April 13, 2012 12:00am PDT
Operational semantics is a flexible, but rigorous means to describe the meaning of programming languages. Small semantics are often preferred, for example to facilitate model checking. However,...
Provided by: ETH Zurich
-
Downloads
Airports // GOinside 1.0 (Mobile)
March 30, 2012 12:00am PDT
Airports // GOinside GOinside is THE essential travelling companion for all air travelers: Missing your flight will be a thing of the past thanks to interactive 2D maps and real-time flight...
Provided by: infsoft
-
-
White Papers
Moving Application Logic From the Firmware to the Cloud: Towards the Thin Server Architecture for the Internet of Things
March 22, 2012 12:00am PDT
Unlike traditional networked embedded systems, the Internet of Things interconnects heterogeneous devices from various manufacturers with diverse functionalities. To foster the emergence of novel...
Provided by: ETH Zurich
-
White Papers
Investigating the Potential of Custom Instruction Set Extensions for SHA-3 Candidates on a 16-Bit Microcontroller Architecture
February 1, 2012 12:00am PST
In this paper, the authors investigate the benefit of instruction set extensions for software implementations of all five SHA-3 candidates. To this end, they start from optimized assembly code for...
Provided by: ETH Zurich
-
White Papers
Experience With Model-Based Performance, Reliability and Adaptability Assessment of a Complex Industrial Architecture
January 24, 2012 12:00am PST
In this paper, the authors report on their experience with the application of validated models to assess performance, reliability, and adaptability of a complex mission critical system that is...
Provided by: University of Zurich
-
Downloads
Flight Times - Live Departure & Arrivals Board 1.1 (Mobile)
January 19, 2012 12:00am PST
OVER 100 AIRPORTS NOW INCLUDED FOR FREE BASED ON THE #1 FLIGHT APP Let Flight Times be your guide to the latest flight information for over 100 of the Worlds major airports. Track arrivals and...
Provided by: Red Knight Interactive
-
White Papers
Matching Memory Access Patterns and Data Placement for NUMA Systems
January 16, 2012 12:00am PST
Many recent multi-core multiprocessors are based on a Non-Uniform Memory Architecture (NUMA). A mismatch between the data access patterns of programs and the mapping of data to memory incurs a...
Provided by: ETH Zurich
-
White Papers
Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
January 5, 2012 12:00am PST
The authors formally analyze the family of entity authentication proto-cols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some that violate even...
Provided by: ETH Zurich
-
White Papers
A Resource-Aware Program Logic for a JVM-Like Language
January 1, 2012 12:00am PST
Guaranteeing bounded resource consumption of mobile code is one important facet of improving the security of distributed, decentralised systems. To achieve an independent verification of resource...
Provided by: University of Zurich
-
White Papers
Compiler-Assisted Thread Abstractions for Resource-Constrained Systems
December 24, 2011 12:00am PST
Major operating systems for Wireless Sensor Networks (WSN) enforce an event-based programming paradigm for efficiency reasons. However, practice has shown that the resulting code complexity leads...
Provided by: ETH Zurich
-
White Papers
String Oriented Programming
December 21, 2011 12:00am PST
The protection landscape is changing and exploits are getting more and more sophisticated. Exploit generation toolkits can be used to construct exploits for specific applications using...
Provided by: ETH Zurich
-
White Papers
Constructing Mid-Points for Two-Party Asynchronous Protocols
December 20, 2011 12:00am PST
Communication protocols describe the steps that the communication end-points must take in order to achieve a common goal. In practice, networks often contain mid-points, which can relay, redirect,...
Provided by: ETH Zurich
-
Downloads
Zurich Airport App 1.0.1 (Mobile)
December 15, 2011 12:00am PST
More enjoyable travel with the official Zurich Airport app.This app offers extensive information for travellers, those meeting travellers, and shoppers. Push messages keep you automatically...
Provided by: Flughafen Zrich AG
-
White Papers
Opportunistic Sensing for Efficient Energy Usage in Private Households
December 12, 2011 12:00am PST
Information and Communication Technology (ICT) recently became to be seen as an instrument with huge potential to improve energy efficiency in several sectors. For instance, recent studies have...
Provided by: ETH Zurich
-
White Papers
On Physical-Layer Identification of Wireless Devices
December 9, 2011 12:00am PST
Physical-layer device identification aims at identifying wireless devices during radio communication by exploiting unique characteristics of their analog (radio) circuitry. This paper systematizes...
Provided by: ETH Zurich
-
Downloads
Metro World 2.2 (Mobile)
December 9, 2011 12:00am PST
WATCH THE VIDEO OF METRO WORLD HERE: http://www.youtube.com/watch?v=8gUuz9eMyOwMetro World is an Universal Subway Map and has unique features and technology for subway users. Wherever you go the...
Provided by: ObjecTouch
-
Downloads
ArkSolutBCN - Book & Guide about Barcelona Architecture & Design - 1.1 (Mobile)
December 5, 2011 12:00am PST
(NT.Texto en espaol a continuacin del ingls.)NEWW CITY: BARCELONA!!.. Offline, with Augmented Reality, Proposed Tours... ArkSolutBCN is the second of a series of visual and didactic applications...
Provided by: Arkspai2g SLP
