International Journal of Control and Automation Vol. 6, No. 2, April, 2013 IOT Secure Transmission Based on Integration of IBE and PKI/CA Liu Yang1,2*, Peng Yu2, Wang Bailing1, Bai Xuefeng1, Yuan Xinling1 and Li Geng1 1

Source URL: www.sersc.org

Module M02_RCDP ­ Remote Control & Data Processing    Supervisor: Shih­Yuan Liu & Andrea Censi  Deadline: Sunday Feb 28, 2016, 11:59pm    Feedback and discussion about this module belong to

Source URL: duckietown.mit.edu

BCC: Reducing False Aborts in Optimistic Concurrency Control with Low Cost for In-Memory Databases Yuan Yuan1 , Kaibo Wang1 , Rubao Lee1 , Xiaoning Ding2 , Jing Xing3 , Spyros Blanas1 , Xiaodong Zhang1 1 The

Source URL: web.cse.ohio-state.edu

• Computing
• Transaction processing
• Data management
• Concurrency control
• Data
• Databases
• Serializability
• Schedule
• Snapshot isolation
• Two-phase locking
• Isolation
• Extensible Storage Engine

Survey of Air Traffic Controller and Pilot’s Experience with Unmanned Aircraft Systems Xiaochen Yuan and Jonathan M. Histon This report is based on the master’s thesis of Xiaochen Yuan submitted to

Source URL: uwaterloo.ca

• Aviation
• Aeronautics
• Avionics
• Robotics
• Unmanned aerial vehicle
• Wireless
• Air traffic control
• Australian Research Centre for Aerospace Automation

CONTROLLER – PILOT COMMUNICATIONS IN THE PRESENCE OF ASYNCHRONOUS UAS RADAR SURVEILLANCE DATA Xiaochen Yuan University of Waterloo Waterloo, ON,

Source URL: uwaterloo.ca

• Air traffic control
• Aeronautics
• Aviation
• Avionics
• Wireless
• Transport
• Radar
• Controller
• Unmanned aerial vehicle

APEx: Automated Inference of Error Specifications for C APIs Yuan Kang Baishakhi Ray

Source URL: rayb.info

• Control flow
• Application programming interfaces
• Software testing
• Exception handling
• Zlib
• Stack
• Error code
• OpenSSL
• Fault injection
• File system API
• Read

Automatically Detecting Error Handling Bugs using Error Specifications Suman Jana1 , Yuan Kang1 , Samuel Roth2 , and Baishakhi Ray3 1 Columbia University Northern University

Source URL: rayb.info

• Control flow
• Cryptographic software
• Internet security
• Software bugs
• Computer networking
• Error code
• Exception handling
• Transport Layer Security
• OpenSSL
• Assertion
• Error detection and correction
• Crash

http://is3c2016.ncuteecs.org Special Sessions Call for Papers The Third IEEE International Symposium on Computer, Consumer and Control, 2016 Session organizer：Dr. Shun-Yuan Wang, Dr. Jen-Hsiang Chou Institution：Natio

Source URL: is3c2016.ncuteecs.org

BioSync: An Informed Participatory Interface for Audience Dynamics and Audiovisual Content Co-creation using Mobile PPG and EEG Yuan-Yi Fan F.Myles Sciotto

Source URL: mat.ucsb.edu

• Humancomputer interaction
• Neuroscience
• Human communication
• User interface techniques
• Virtual reality
• Computer music
• New Interfaces for Musical Expression
• User interface
• NeuroSky
• Open Sound Control
• Ambient intelligence
• Electroencephalography

http://is3c2016.ncuteecs.org Special Sessions Call for Papers The Third IEEE International Symposium on Computer, Consumer and Control, 2016 Session organizer：Prof. Sheng-Yuan Yang Institution：St. John’s University

Source URL: is3c2016.ncuteecs.org