Search Results for State, The.

32 sonuç bulundu

Tümünü Seç

1 2 3

000000000000DEFAULTTR

Synthesizable VHDL Design for FPGAs

Yazar

Bezerra, Eduardo Augusto. author.

http://dx.doi.org/10.1007/978-3-319-02547-6

Format:

Electronic Resources

Alıntı:

over 20 years of teaching experience in the subject. The examples in the book were planned targeting

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses

Yazar

H. M. Cruz, Eduardo. author.

https://doi.org/10.1007/978-3-319-91074-1

Format:

Electronic Resources

Alıntı:

. On the software side, this book describes the characteristics present in parallel applications that

Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method

Yazar

Alebrahim, Azadeh. author.

https://doi.org/10.1007/978-3-658-17694-5

Format:

Electronic Resources

Alıntı:

Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015

Yazar

Ao, Sio-Iong. editor.

https://doi.org/10.1007/978-981-10-2717-8

Format:

Electronic Resources

Alıntı:

, manufacturing engineering, and industrial applications. The book offers the reader an overview of the state of

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Yazar

Carayol, Arnaud. editor.

https://doi.org/10.1007/978-3-319-60134-2

Format:

Electronic Resources

Alıntı:

revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the

Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters

Yazar

Al-Akkad, Amro. author.

http://dx.doi.org/10.1007/978-3-658-12616-2

Format:

Electronic Resources

Alıntı:

feasibility and implications for emergency response under close-to-real conditions. Compared to the state of

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Yazar

Herdt, Vladimir. author.

http://dx.doi.org/10.1007/978-3-658-12680-3

Format:

Electronic Resources

Alıntı:

) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state

Break-Glass Handling Exceptional Situations in Access Control

Yazar

Petritsch, Helmut. author.

http://dx.doi.org/10.1007/978-3-658-07365-7

Format:

Electronic Resources

Alıntı:

., extending RBAC with Break-Glass), the author introduces a generic Break-Glass model. The presented model is

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

Yazar

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983

https://doi.org/10.1007/978-3-030-05072-6

Format:

Electronic Resources

Alıntı:

This book constitutes the refereed proceedings of the 8th International Conference on Security

10.

Organic Computing – Technical Systems for Survival in the Real World

Yazar

Müller-Schloer, Christian. author.

https://doi.org/10.1007/978-3-319-68477-2

Format:

Electronic Resources

Alıntı:

Organic Computing – Technical Systems for Survival in the Real World Müller-Schloer, Christian

11.

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Yazar

Hague, Matthew. editor.

https://doi.org/10.1007/978-3-319-67089-8

Format:

Electronic Resources

Alıntı:

invited paper were carefully reviewed and selected from 17 submissions. The aim of the conference is to

12.

Engineering Multi-Agent Systems 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

Yazar

Weyns, Danny. editor. (orcid)0000-0002-1162-0817

https://doi.org/10.1007/978-3-030-25693-7

Format:

Electronic Resources

Alıntı:

book also contains a state-of-the-art paper that reflects on the role and potential of MAS engineering

	{displayName}	{count}
{error}