Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Multi-Threaded Actors

Author:Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu
Publisher:Open Publishing Association
Abstract: In this paper we introduce a new programming model of multi-threaded actors which feature the paral…

VICARED: A Neural Network Based System for the Detection of Electrical Disturbances in Real Time

Author:José Manuel Elena Ortega, Carlos León de Mora, Iñigo Luis Monedero Goicoechea, Juan-Carlos Montaño Asquerino, Jorge Ropero Rodrúguez
Publisher:pringe
Abstract: The study of the quality of electric power lines is usually known as Power Quality. Power quality …

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing

Author:C. O’Ryan, D. Lange, E. Gamma, G. Cabri, G. Picco, H. Peine, L. Bettini, L. Bettini, L. Bettini, L. Cardelli, M. Hennessy, N. Huntchinson, R. Nicola De, T. Thorn
Publisher:Springer Science and Business Media LLC
Abstract: We present a Java software framework for building infrastructures to support the development of app…

Dynamic Role Authorization in Multiparty Conversations

Author:Silvia Ghilezan, Svetlana Jak≈°iƒá, Jovanka Pantoviƒá, Jorge A. Pérez, Hugo Torres Vieira
Publisher:Open Publishing Association
Abstract: Protocol specifications often identify the roles involved in communications. In multiparty protocol…

Enhanced secure key exchange systems based on the Johnson-noise scheme

Author:Laszlo B. Kish
Publisher:Walter de Gruyter GmbH
Abstract: We introduce seven new versions of the Kirchhoff-Law-Johnson-(like)-Noise (KLJN) classical physical…

Quantum Emulation of Gravitational Waves

Author:Alexander Bçse, Mauro Cirio, Ivan Fernandez-Corbaton, Lucas Lamata, Gabriel Molina-Terriza, Enrique Solano
Publisher:Springer Science and Business Media LLC
Abstract: Gravitational waves, as predicted by Einstein's general relativity theory, appear as ripples in the…

Generating and Solving Symbolic Parity Games

Author:Gijs Kant, Jaco van de Pol
Publisher:Open Publishing Association
Abstract: We present a new tool for verification of modal mu-calculus formulae for process specifications, ba…

Argument-based Belief in Topological Structures

Author:Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
Publisher:Open Publishing Association
Abstract: This paper combines two studies: a topological semantics for epistemic notions and abstract argumen…

Interval simulation: raising the level of abstraction in architectural simulation

Author:Lieven Eeckhout, Stijn Eyerman, Davy Genbrugge
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Detailed architectural simulators suffer from a long development cycle and extremely long evaluatio…

Automated verification of shape, size and bag properties.

Author:Alaoui-Ismaïli O., Bruner J, Chrea C., Ehrlichman H., Fleiss J.L., Hassenzahl M., Seo H.-S., Wright P.
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulat…
Privacy Policy
Powered by: