Principles of modeling : essays dedicated to Edward A. Lee on the occasion of his 60th birthday /: essays dedicated to Edward A. Lee on the occasion of his 60th birthday. (2018)

• Record Type: Book
• Further Information: Note: Marten Lohstroh, Patricia Derler, Marjan Sirjani (eds.).
• Editors: Lohstroh, Marten; Derler, Patricia; Sirjani, Marjan
• Other Names: Lee, Edward A 1957- honouree.
• Contents: You Can Program What You Want but You Cannot Compute What You Want -- Transforming Threads Into Actors: Learning Concurrency Structure from Execution Traces -- Interfaces for Stream Processing Systems -- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties -- Predictability Issues in Mixed-Criticality Real-Time Systems -- Model-based Representations for Dataflow Schedules -- Hybrid Simulation Safety: Limbos and Zero Crossings -- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework -- Computing Average Response Time -- Modeling Dynamical Phenomena in the Era of Big Data -- A Formal Semantics for Traffic Sequence Charts -- Code Generation for Flow Preservation in Multicore Systems -- A Semantic Account of Rigorous Simulation -- On Determinism -- Lossy Channels in a Dataflow Model of Computation -- If We Could Go Back in Time. . .On the Use of `Unnatural' Time and Ordering in Dataflow Models -- Compressed Sensing in Cyber Physical Social Systems -- Embedded Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered Control Systems -- Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems -- The Relativity Example: Is Terminological Innovation a Good Idea -- Hierarchical System Design with Vertical Contracts -- Abstraction and Refinement of Time in Hierarchically Decomposable Underspecified Architecture Simulations -- Cyber-Physical Systems Education: Explorations and Dreams -- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience -- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, and Compositionality -- Complexity Challenges in Development of Cyber-Physical Systems -- Augmenting State Models with Data Flow -- On the Road to Conviction: An Email Exchange with Edward Lee.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xxvii, 539 pages), illustrations
• Subjects: 003/.3; Computer simulation; Semantic computing; Cooperating objects (Computer systems); Computer simulation; Cooperating objects (Computer systems); Semantic computing; Computer Science; Programming Languages, Compilers, Interpreters; Computer Systems Organization and Communication Networks; Computer Hardware; Artificial Intelligence (incl. Robotics); The Computing Profession; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319952468; 3319952463
• Related ISBNs: 9783319952451; 3319952455
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed July 26, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.