-
1341Έκδοση 2001Πίνακας περιεχομένων: “… and Function Approach to Modeling Authorization in Distributed Systems -- Fenix Secure Operating System…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1342
-
1343Έκδοση 2001Πίνακας περιεχομένων: “… Reasoning -- Improving the Protection of Assets in Open Distributed Systems by Use of X-ifying Risk Analysis…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1344
-
1345Έκδοση 2007Πίνακας περιεχομένων: “… Security Evaluation Model for Multi-Agent Distributed Systems -- Industrial Application and Evaluation of a…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1346Έκδοση 2019Πίνακας περιεχομένων: “… of Distributed Systems -- Implementing the Bus Protocol of a Microprocessor in a Software-Dened Computer -- ISMIS…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1347Έκδοση 2019Πίνακας περιεχομένων: “… for Outsourcing Equality Conjunction Search -- A Hybrid Approach for Synchronizing Clocks in Distributed Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1348
-
1349Έκδοση 2006Πίνακας περιεχομένων: “… Engineering: Emerging Goals and Lasting Problems -- Distributed Systems -- GPSL: A Programming Language…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1350
-
1351Έκδοση 2009Πίνακας περιεχομένων: “… Tasks -- Constraints, Graphs, Algebra, Logic, and Complexity -- Distributed Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1352Έκδοση 2010Πίνακας περιεχομένων: “… Review -- PeerReview Analysis and Re-evaluation for Accountability in Distributed Systems or Networks…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1353Έκδοση 2010Πίνακας περιεχομένων: “… Architectures -- CFD Parallel Simulation Using Getfem++ and Mumps -- Aggregation AMG for Distributed Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1354
-
1355Έκδοση 2005Πίνακας περιεχομένων: “… in Distributed Systems -- A Formalization of Distributed Authorization with Delegation -- Signatures I -- Two…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1356Έκδοση 2019Πίνακας περιεχομένων: “… Automata from LTL -- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1357Έκδοση 2007Πίνακας περιεχομένων: “… -- Combining Efficient XML Compression with Query Processing -- Distributed Systems -- Fast User Notification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1358Έκδοση 2008Πίνακας περιεχομένων: “… Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1359Έκδοση 2005Πίνακας περιεχομένων: “… Component Sharing by Runtime Test and Immunization for Survivable Distributed Systems -- Design…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1360Έκδοση 2012Πίνακας περιεχομένων: “…Analytical Modeling for Multi-transaction Bus on Distributed Systems -- Leveraging the Strengths…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο