Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Hardware
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Modeling the Latency on Production Grids With Respect to the Execution Context
Parallel Computing
Computer Graphics
Computer Networks
Hardware
Communications
Computer-Aided Design
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
A Secure Compiler for Session Abstractions
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Editors' Preface
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
A Unifying Approach to the Security of Distributed and Multi-Threaded Programs1
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Hybrid Scheduling for the Parallel Solution of Linear Systems
Parallel Computing
Computer Graphics
Computer Networks
Hardware
Communications
Computer-Aided Design
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Real-Time Object-Oriented Database Support for Program Stock Trading
Journal of Database Management
Hardware
Information Systems
Architecture
Software
Integrative Mechanisms for Multiteam Integration: Findings From Five Case Studies
Systems Engineering
Hardware
Computer Networks
Architecture
Communications
Optimization and Control of Communication Networks
Performance Evaluation Review
Hardware
Computer Networks
Software
Architecture
Communications
Semantic Enrichment in Knowledge Repositories
Journal of Database Management
Hardware
Information Systems
Architecture
Software
‹
569
570
571
572
573
574
575
›
