Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech

Source URL: qav.comlab.ox.ac.uk

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional

Poster: IDE Plugins for Secure Coding Aniqua Z. Baset University of Utah Abstract—Many vulnerabilities in products and systems could

Source URL: www.ieee-security.org

• Software
• Computing
• Computer programming
• Integrated development environments
• JetBrains
• SonarQube
• IntelliJ IDEA
• FindBugs
• Eclipse
• Java
• NetBeans
• Cppcheck

Tongtongcoin A Specialized cryptocurrency for Payment and Remittance Tongtongcoin is a decentralized Blockchain-based cryptocurrency devised to dramatically reduce transaction fees for existing payment systems such as c

Source URL: ttcoin.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Bitcoin
• Distributed computing
• Computing
• Alternative currencies
• Decentralization
• Smart contract
• Ethereum
• RootStock
• Proof-of-stake

Social Trust: a Major Challenge for the Future of Autonomous Systems

Source URL: qav.comlab.ox.ac.uk

• Reputation management
• Human behavior
• Psychology
• Emerging technologies
• Robotics
• Cognitive science
• Interpersonal relationships
• Social constructionism
• Trust
• Cristiano Castelfranchi
• Situation awareness
• Belief

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

GRADUATE SEMINAR C. Tyler Wood E-Semigroups and Product Systems PhD Student supervised by Dr. Remus Floricel July 30th, 2018

Source URL: www.uregina.ca

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

572 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 28,

Source URL: wirelesslab.sjtu.edu.cn

• Computing
• Configuration management
• Network architecture
• Software-defined networking
• OpenFlow
• Thorn
• Load balancing
• Network switch
• Technology
• Information and communications technology

MODELS AND METRICS FOR ENERGY-EFFICIENT COMPUTER SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Distributed computing
• Benchmark
• Standard Performance Evaluation Corporation
• Data center
• Kunle Olukotun
• Christos Kozyrakis