Search Results for State, The.

91 sonuç bulundu

Select All

1 2 3 4 5 .. 8

000000000000DEFAULT_TR

13.

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Rust, Heinrich. author.

http://dx.doi.org/10.1007/978-3-540-32008-1

Format:

Elektronik Kaynak

Alıntı:

Non-standard Analysis as proposed by Abraham Robinson in the 1950s. The discrete modelling, i.e., the descr

14.

Principles of the Spin Model Checker

Ben-Ari, Mordechai. author.

http://dx.doi.org/10.1007/978-1-84628-770-1

Format:

Elektronik Kaynak

Alıntı:

software engineers who wish to learn Promela and Spin. The presentation starts with the verification of

15.

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Barthe, Gilles. editor.

http://dx.doi.org/10.1007/978-3-540-68863-1

Format:

Elektronik Kaynak

Alıntı:

Communicating State Machines -- Modeling and Model Checking Software Product Lines -- Semantic Foundations and

16.

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

Kohlas, Jürg. editor.

http://dx.doi.org/10.1007/11808107

Format:

Elektronik Kaynak

Alıntı:

architecture.Theories, methods and tools that help to master the problems encountered in the design process and the

17.

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

Najm, Elie. editor.

http://dx.doi.org/10.1007/11888116

Format:

Elektronik Kaynak

Alıntı:

, Distributed File-System Access Controls -- Analysing the MUTE Anonymous File-Sharing System Using the

18.

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

Shvartsman, Mariam Momenzadeh Alexander A. editor.

http://dx.doi.org/10.1007/11945529

Format:

Elektronik Kaynak

Alıntı:

-- Self-stabilizing Leader Election in Networks of Finite-State Anonymous Agents -- Robust Self-stabilizing Clustering

19.

Stochastic Ageing and Dependence for Reliability

Lai, Chin-Diew. author.

http://dx.doi.org/10.1007/0-387-34232-X

Format:

Elektronik Kaynak

Alıntı:

different technical levels. This book aims at providing a state–of-the-art review of the subject so the

20.

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Hoos, Holger H. editor.

http://dx.doi.org/10.1007/11527695

Format:

Elektronik Kaynak

Alıntı:

-- Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems -- Satisfiability Threshold of the

21.

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

Dinur, Itai. editor.

https://doi.org/10.1007/978-3-319-94147-9

Format:

Elektronik Kaynak

Alıntı:

-- Self-Stabilizing Byzantine Tolerant Replicated State Machine Based on Failure Detectors -- Brief Announcement

22.

Architecting Dependable Systems V

Lemos, Rogério. editor.

http://dx.doi.org/10.1007/978-3-540-85571-2

Format:

Elektronik Kaynak

Alıntı:

more crucial. Given that solutions to these issues must be considered from the very beginning of the

23.

Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings

Matsuura, Kanta. editor.

http://dx.doi.org/10.1007/978-3-540-89598-5

Format:

Elektronik Kaynak

Alıntı:

Elliptic Curve Discrete Logarithm Problem: State of the Art -- Authentication and Access Control -- An

24.

Architecting Dependable Systems IV

Lemos, Rogério. editor.

http://dx.doi.org/10.1007/978-3-540-74035-3

Format:

Elektronik Kaynak

Alıntı:

. Given that solutions to these issues must be considered from the very beginning of the design process

Select All

1 2 3 4 5 .. 8

91 sonuç bulundu

	{displayName}	{count}
{error}