Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Coopetition spectrum trading in cognitive radio networks

Author:L Cui, T Znati
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Spectrum trading is a promising method to improve spectrum usage efficiency. Several issues must be…

Testing real-time systems using TINA

Author:A. David, A. En-Nouaary, A. Hessel, A. Khoumsi, B. Berthomieu, B. Berthomieu, B. Berthomieu, B. Berthomieu, B. Bérard, B. Bérard, B. Nielsen, C. Choffrut, D. Lime, E. Brinksma, E. Fersman, F. Demichelis, J. Tretmans, J.C. Fernandez, J.C. Lin, M. Krichen, P. Bouyer, P. Bouyer, P. Bouyer, P.M. Merlin, R. Alur, R. Cardell-Oliver, R. Cleaveland, R. Vries de, S. Chaki, S.-W. Lin, T. Higashino, T. Jéron, T. Jéron, T.A. Henzinger, V. Diekert, W. Khansa
Publisher:Springer Science and Business Media LLC
Abstract: The paper presents a technique for model-based black-box conformance testing of real-time systems u…

Hierarchical models for service-oriented systems

Author:A. Corradini, A. Corradini, A. Corradini, F. Drewes, F. Drewes, F. Gadducci, G.L. Ferrari, G.L. Ferrari, H. Barendregt, M. Boreale, M. Bundgaard, R. Bruni, R. Bruni, R. Bruni, R. Bruni, R. Milner
Publisher:Springer Science and Business Media LLC
Abstract: We present our approach to the denotation and representation of hierarchical graphs: a suitable alg…

Building leadership: how pride in your work leads to better attendance and quality

Author:Manuel Au-Yong Oliveira
Publisher:Wiley
Abstract: Human performance technology (HPT) stresses a rigorous analysis of present and desired levels of pe…

Monocular navigation for long-term autonomy

Author:Tomas Krajnik, Sol Pedre, Libor Preucil
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: We present a reliable and robust monocular navigation system for an autonomous vehicle. The propos…

Comparing P2PTV Traffic Classifiers

Author:Niccolo' Cascarano, A. Este, Alessandro Finamore, F. Gringoli, Marco Mellia, Fulvio Giovanni Ottavio Risso, L. Salgarelli
Publisher:EE
Abstract: Peer-to-Peer IP Television (P2PTV) applications represent one of the fastest growing application cl…

A new problem in face image analysis: Finding kinship clues for siblings pairs

Author:Andrea Giuseppe Bottino, Matteo De Simone, Aldo Laurentini, T. Vieira
Publisher:NSTIC
Abstract: Abstract is not available.

Single-Piece State-Space Behavioral Models for IC Output Buffers

Author:Flavio Canavero, Ivano Adolfo Maio, Patrizia Savi, Claudio Siviero, Igor Simone Stievano
Publisher:TH FOUNDATION ZURICH, NIEDERDORFSTRASSE 88, ZURICH, 8001, GERMAN
Abstract: In this paper enhancements of parametric behavioral models for the output buffers of digital ICs ar…

Division of labour and sharing of knowledge for synchronous collaborative information retrieval

Author:Alan F. Smeaton, Bellotti, Benyon, Blackwell, Cabri, Cockburn, Colum Foley, Diamadis, Dietz, Dourish, Ellis, Foley, Foster, Gianoutsos, Greenberg, Gutwin, Han, Hansen, Harman, Ingwersen, Kuutti, Lai, Maekawa, Morris, Morris, Morris, Muller, Poltrock, Poltrock, Robertson, Romano, Root, Sharples, Smeaton, Smyth, Talja, Tang, Trigg, Twidale, Want, Whittaker, Wilson, Yao
Publisher:Elsevier BV
Abstract: Synchronous collaborative information retrieval (SCIR) is concerned with supporting two or more use…

A parametric macromodelling technique

Author:Marissa Condon, Georgi G. Grahovski
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: With the ever growing complexity of high-frequency systems in the electronic industry, formation of…
Privacy Policy
Powered by: