Amanote Research
Register
Sign In
Verified Resource Guarantees Using COSTA and KeY
doi 10.1145/1929501.1929513
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2011
Authors
Elvira Albert
Richard Bubel
Samir Genaim
Reiner Hähnle
Germán Puebla
Guillermo Román-Díez
Publisher
ACM Press
Related search
Automatically Verified Mechanized Proof of One-Encryption Key Exchange
Joint Optimization of Delay Guarantees and Resource Allocation for Service Function Chaining
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Dynamic Symmetric Key Mobile Commerce Scheme Based on Self-Verified Mechanism
Mathematical Problems in Engineering
Mathematics
Engineering
Energy Efficient Resource Allocation in Two-Tier OFDMA Networks With QoS Guarantees
Wireless Networks
Computer Networks
Electronic Engineering
Information Systems
Electrical
Communications
Web Data Cleansing for Information Retrieval Using Key Resource Page Selection
Verified Development of Hardware Using CSP∥B
Resource-Efficient Common Randomness and Secret-Key Schemes
An Efficient Method of Resource Allocation in Optical Networks Using Quantum Key Distribution and OSTBC Encoding Process
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Validation of Route Origination Using the Resource Certificate Public Key Infrastructure (PKI) and Route Origin Authorizations (ROAs)
