by
Ciardo, Gianfranco. editor.
Format:
Electronic Resources
by
Ben-Ari, Mordechai. author.
Format:
Electronic Resources
View Other Search Results
by
Georgiou, Chryssis. author.
Format:
Electronic Resources
by
Zhao, Xufeng. author.
Format:
Electronic Resources
Excerpt:
with shock and damage models, and their applications in computer systems dealing with efficiency
by
Reussner, Ralf H. editor.
Format:
Electronic Resources
Excerpt:
Component-Based Systems -- Towards an Engineering Approach to Component Adaptation -- Compatible Component
by
Nicola, Rocco. editor.
Format:
Electronic Resources
Excerpt:
Library -- A Practical Formal Model for Safety Analysis in Capability-Based Systems -- Mixin Modules for
by
Baier, Christel. editor.
Format:
Electronic Resources
Excerpt:
Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018
by
Heras, Dora B. editor.
Format:
Electronic Resources
Excerpt:
. These range from theory to practice, from small to the largest parallel and distributed systems and
by
Benantar, Messaoud. author.
Format:
Electronic Resources
Excerpt:
introduction to the foundations of programming systems security, delving into identity management, trust models
by
Dimitrakos, Theo. editor.
Format:
Electronic Resources
Excerpt:
of Semantic Models for Noninterference -- Hiding Information in Multi Level Security Systems -- A New
by
Wang, K.C. author.
Format:
Electronic Resources
Excerpt:
programming practice in the Unix/Linux environment. Emphasizing both theory and programming practice. Systems
by
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Excerpt:
-- Adaptation of Open Component-Based Systems -- A Representation-Independent Behavioral Semantics for
Limit Search Results
Narrowed by: