Search Results for protocols.

Real-time Security Extensions for EPCglobal Networks Case Study for the Pharmaceutical Industry

Yazar

Schapranow, Matthieu-P. author.

http://dx.doi.org/10.1007/978-3-642-36343-6

Format:

Electronic Resources

Alıntı:

on in-memory technology. For that, it defines authentication protocols for devices with low

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

covered in this volume are: fault-tolerance, service composition, databases, communication protocols

Transactions on Petri Nets and Other Models of Concurrency XII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-55862-1

Format:

Electronic Resources

Alıntı:

: security, service composition, databases, communication protocols, business processes, and distributed

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Yazar

van Bevern, René. editor. (orcid)0000-0002-4805-218X

https://doi.org/10.1007/978-3-030-19955-5

Format:

Electronic Resources

Alıntı:

Positive DNFs -- Unpopularity Factor in the Marriage and Roommates Problems -- AND Protocols Using Only

Transactions on Petri Nets and Other Models of Concurrency XIV

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-60651-3

Format:

Electronic Resources

Alıntı:

Incremental Verification of the MQTT IoT Protocol -- Kleene Theorems for Free Choice Automata over Distributed

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Yazar

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X

https://doi.org/10.1007/978-3-030-17953-3

Format:

Electronic Resources

Alıntı:

Programming Formulations for Trained Neural -- Extended Formulations from Communication Protocols in

Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

Yazar

Censor-Hillel, Keren. editor.

https://doi.org/10.1007/978-3-030-24922-9

Format:

Electronic Resources

Alıntı:

-- Average-based Population Protocols : Explicit and Tight Bounds of the Convergence Time -- Visiting Infinitely

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

Yazar

Weil, Pascal. editor.

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

Format:

Electronic Resources

Alıntı:

Population Protocols -- Verification of Quantum Computation and the Price of Trust -- Graph Sketching and

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Yazar

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

https://doi.org/10.1007/978-3-030-05348-2

Format:

Electronic Resources

Alıntı:

Castellammare di Stabia (Naples, Italy) -- Combinatorial Methods for Testing Communication Protocols in Smart

	{displayName}	{count}
{error}