Search Results for State, The.

91 sonuç bulundu

Select All

1 2 3 4 5 .. 8

000000000000DEFAULT_TR

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip

Wang, Zheng. author.

https://doi.org/10.1007/978-981-10-1073-6

Format:

Elektronik Kaynak

Alıntı:

technology and developing a smooth tool flow at high-level design abstractions to estimate and mitigate the

System and Architecture Proceedings of CSI 2015

Muttoo, Sunil Kumar. editor.

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

Format:

Elektronik Kaynak

Alıntı:

This book comprises the select proceedings of the annual convention of the Computer Society of

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Barthe, Gilles. editor.

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

Format:

Elektronik Kaynak

Alıntı:

-- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security

Virtual Machines

Craig, Iain D. author.

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

Format:

Elektronik Kaynak

Alıntı:

virtual machines throughout and - in addition – transitions and state transitions relating to the general

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Kochs, Hans-Dieter. author.

https://doi.org/10.1007/978-3-319-64991-7

Format:

Elektronik Kaynak

Alıntı:

, developed on the basis of basic reliability indices and evaluated with the Monte Carlo simulation method

Recent Advances in Intrusion Detection 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings

Kruegel, Christopher. editor.

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

Format:

Elektronik Kaynak

Alıntı:

-- Emulation-Based Detection of Non-self-contained Polymorphic Shellcode -- The NIDS Cluster: Scalable, Stateful

Distributed Event-Based Systems

Mühl, Gero. author.

http://dx.doi.org/10.1007/3-540-32653-7

Format:

Elektronik Kaynak

Alıntı:

by the event-based style, to a presentation of state-of-the-art research topics in event-based

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

Mishra, Anurag. editor.

https://doi.org/10.1007/978-981-10-7656-5

Format:

Elektronik Kaynak

Alıntı:

. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys and

Secure Transaction Protocol Analysis Models and Applications

Chen, Qingfeng. author.

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

Format:

Elektronik Kaynak

Alıntı:

The present volume arose from the need for a comprehensive coverage of the state of the art in

10.

Dependability Metrics Advanced Lectures

Eusgeld, Irene. editor.

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

Format:

Elektronik Kaynak

Alıntı:

from given systems or predict such evidence. This tutorial book gives an overview of the current state

11.

Wireless Ad Hoc and Sensor Networks A Cross-Layer Design Perspective

Jurdak, Raja. author.

http://dx.doi.org/10.1007/978-0-387-39023-9

Format:

Elektronik Kaynak

Alıntı:

networks. The author explores the current state of the art in cross-layer approaches for ad hoc and sensor

12.

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

Select All

1 2 3 4 5 .. 8

91 sonuç bulundu

	{displayName}	{count}
{error}