Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Expressiveness of Temporal Query Languages: On the Modelling of Intervals, Interval Relationships and States

Author:C Dyreson, C Freksa, CE Dyreson, CS Jensen, D Dowty, H Gallaire, I Cervesato, J Clifford, J Grant, JF Allen, JF Allen, Juan Carlos Augusto, L Chittaro, LE McKenzie, M Abadi, M Baudinet, M Stonebraker, P Revesz, R Kowalski, R Kowalski, Rodolfo Sabás Gómez, RT Snodgrass, RT Snodgrass
Publisher:Springer Science and Business Media LLC
Abstract: Storing and retrieving time-related information are important, or even critical, tasks on many area…

Towards Model-Driven Development of Access Control Policies for Web Applications

Author:Marianne Bush, Nora Koch, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
Publisher:Association for Computing Machinery (ACM)
Abstract: We introduce a UML-based notation for graphically modeling systems‚Äô security aspects in a simple…

Towards a Formal Verification Methodology for Collective Robotic Systems

Author:A. Winfield, C. Dixon, C. Jones, E. Ferrante, E.M. Clarke, F. Calzolai, J.A. Stankovic, K. Lerman, L. Bettini, M. Fisher, R. Bruni, R. Nicola De, R. Nicola De, S. Konur
Publisher:Springer Science and Business Media LLC
Abstract: We introduce a UML-based notation for graphically modeling systems‚Äô security aspects in a simple…

Experimental performance of DCCP over live satellite and long range wireless links

Author:Roksana Boreli, Emmanuel Lochin, Golam Sarwar
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: We present experimental results for the performance over satellite and long range wireless (WiMax) …

Acceleration of the retrieval of past experiences in Case Based Reasoning : application for preliminary design in Chemical Engineering

Author:Jean-Marc Le Lann, Stéphane Negny
Publisher:Elsevier BV
Abstract: The way to manage knowledge accumulated is one of the firm’s trends, in order to capitalize and t…

Grid Global Behavior Prediction

Author:Jesís Montes, Marúa de los Santos Pérez Hernández, Alberto Sánchez
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Complexity has always been one of the most important issues in distributed computing. From the firs…

A system for event-based film browsing

Author:Hyowon Lee, Bart Lehane, Noel E. O'Connor, Alan F. Smeaton
Publisher:Springer Science and Business Media LLC
Abstract: The recent past has seen a proliferation in the amount of digital video content being created and c…

In situ monitoring of environmental water quality using an autonomous microfluidic sensor

Author:John Cleary, Dermot Diamond, Damien Maher, Conor Slater
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: An autonomous microfluidic sensor for phosphate in environmental waters has been developed and asse…

Optical IP switching a solution to dynamic lightpath establishment in disaggregated network architectures

Author:Liam P. Barry, Linda Doyle, G. Mulvihill, Donal O'Mahony, M. Ruffini, Frank Smyth
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: The landscape of the telecommunications environment is constantly evolving; in terms of architectur…

Signal detection for non-orthogonal space-time block coding over time-selective fading channels

Author:A G Burr, F C Zheng
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: In the case of non-quasi-static (i.e., time-selective fast fading) channels, which do exist in prac…
Privacy Policy
Powered by: