Search alternatives:
"actor" » "factor", "actors", "autor"
Cover Image
Read Now

81
Published 2016
Springer International Publishing
Table of Contents: “... Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended...”
Cover Image
Read Now

82
Published 2019
Springer International Publishing
Table of Contents: “... Tools -- VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination...”
Cover Image
Read Now

83
Published 2022
Springer Nature Switzerland
Table of Contents: “... of Actors and Grey Failures -- Soft Concurrent Constraint Programming with Local Variables -- Runtime Veri...”
Cover Image
Read Now

84
Published 2024
Springer International Publishing
Table of Contents: “... mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics...”
Cover Image
Read Now

85
Published 2020
Springer International Publishing
Table of Contents: “...-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers -- An Actor-based Approach...”
Cover Image
Read Now

86
by Raychaudhuri, Nilanjan
Published 2013
Manning Publications
“..., type-safe code, which is crucial for enterprise applications. Scala implements Actor-based concurrency...”
Cover Image
Read Now

87
by Palacin, Valentina
Published 2021
Packt Publishing
Cover Image
Read Now

88
Published 2018
Springer International Publishing
Table of Contents: “... Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support...”
Cover Image
Read Now

89
by Lee, Martin
Published 2023
John Wiley & Sons, Inc.
Table of Contents: “... -- 8.1.3 Transport Systems -- 8.2 Emerging Attacks -- 8.2.1 Threat Actor Evolutions -- 8.2.1.1 Criminal...”
Cover Image
Read Now

90
Published 2018
Springer International Publishing
Table of Contents: “...Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages...”
Cover Image
Read Now

91
by Kossak, Felix, Illibauer, Christa, Geist, Verena, Kubovy, Jan
Published 2014
Springer International Publishing
“... with proposing extensions that address actor modeling (including an intuitive way to denote permissions...”
Cover Image
Read Now

92
Published 2004
Springer Netherlands
Table of Contents: “... Constructs and Boundedly Rational Actors -- E-Business Model in PC Manufacture: -- Considering Norms...”
Cover Image
Read Now

93
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Mobile Ad Hoc Networks -- Session 4. Concurrency -- A Theory of Nested Speculative Execution -- Actors...”
Cover Image
Read Now

94
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Orientation: the Simula Languages -- An Algebraic Theory of Actors and Its Application to a Simple Object...”
Cover Image
Read Now

95
Published 2017
Springer International Publishing
Table of Contents: “... Actors for Reliable Self-Adaptive Systems -- Architecture-based design: a satellite on-board software...”
Cover Image
Read Now

96
Published 2021
Springer International Publishing
Table of Contents: “...Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased...”
Cover Image
Read Now

97
by Mukherjee, Akash
Published 2024
Packt Publishing Ltd.
Table of Contents: “...Threat modeling -- Balancing risk with business needs -- Identifying threat actors...”
Cover Image
Read Now

98
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility...”
Cover Image
Read Now

99
Published 2020
Springer International Publishing
Table of Contents: “... Neuroscience Experiment -- The Multi-Actor Multi-Criteria Analysis (MAMCA): New Software and New Visualizations...”
Cover Image
Read Now

100
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Affect Detection and an Automated Improvisational AI Actor in E-Drama...”