Ethereum sharding Research update Modular design Deposits

Source URL: edcon.io

Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa

Source URL: www.ieee-security.org

• Computing
• Cyberwarfare
• Computer security
• Cryptography
• Cybercrime
• Computer network security
• Backdoor
• Rootkits
• Google Play
• Android
• Firebase
• Password

Rapyuta: The RoboEarth Cloud Engine Dominique Hunziker, Mohanarajah Gajamohan, Markus Waibel, and Raffaello D’Andrea Abstract— In this paper we present the design and implementation of Rapyuta1 , the RoboEarth Cloud

Source URL: roboearth.ethz.ch

• Computing
• Robotics
• Artificial intelligence
• Assistive technology
• Cloud computing
• Cloud robotics
• Rapyuta
• Robot Operating System
• Robot
• Mohanarajah Gajamohan
• Service robot
• Roomba

The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett

Source URL: csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Conflict-driven clause learning
• Satisfiability modulo theories
• Unit propagation

Pascal Sprenger Design and Implementation of an ECN Proxy for Performance Improvements in the Internet

Source URL: nsg.ee.ethz.ch

• Computing
• Network performance
• Firewall software
• System software
• Flow control
• Explicit Congestion Notification
• Information and communications technology
• Transmission Control Protocol
• Netfilter
• Packet loss
• Firewall
• Communication protocol

Our Mission: To use our unique, proven design tools and a simple, green architecture to develop and market fine granularity, low-power solutions for problems difficult to solve using conventional technology.

Source URL: www.greenarraychips.com

• Computing
• Digital electronics
• Fabless semiconductor companies
• Electrical engineering
• Electronic engineering
• Integrated circuit
• MIPS Technologies
• MIPS architecture processors
• Processor design
• Vinod Dham
• Motorola

    ADVANCE     ADVANCED  DESIGN  AND  VERIFICATION  ENVIRONMENT  FOR  CYBER-­‐PHYSICAL  SYSTEM  

Source URL: www.advance-ict.eu

• Systems engineering
• Digital electronics
• Formal methods
• Systems science
• Electronic engineering
• Logic simulation
• Simulation
• Verification
• SIGNAL
• Scientific modelling
• Software verification and validation

On the no´s and must´s in system design Werner Damm joint work with Bernd Finkbeiner, Universität des Saarlandes, and Astrid Rakow, Carl von Ossietzky Universität Oldenburg

Source URL: www.avacs.org

• Modeling and simulation
• Cognition
• Systems engineering
• Experimental psychology
• Human behavior
• Motivation
• Scientific modelling
• Economic model
• Business process management
• ACT-R
• Conceptual model
• System

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

Source URL: unsat.cs.washington.edu

• Aircraft instruments
• Standards
• Covert channel
• Steganography
• ARINC 653
• ARINC
• Verification
• Human behavior
• Technology
• User interface design
• Design

Mediennotiz Zug, 30. August 2018 Motivwechsel im design+artLAB postmoderne der Office LAB Postplatz Zug

Source URL: www.officelab.ch