M. Howard Williams

Fraser R. Blackmun

Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

Context-Aware User Preferences in Systems for Pervasive Computing and Social Networking.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

2011

Is There Really a Conflict Between Privacy and Personalisation?

[BibT_eX]

[DOI]

Nicholas K. Taylor

Proceedings of the Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24, 2011

Personalisation in a System Combining Pervasiveness and Social Networking.

[BibT_eX]

[DOI]

Proceedings of 20th International Conference on Computer Communications and Networks, 2011

2010

Personal Smart Spaces as a Basis for Identifying Users in Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Linking between Personal Smart Spaces.

[BibT_eX]

[DOI]

Fraser R. Blackmun

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Two Approaches to Handling Proactivity in Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Systems, Technology and Management, 2010

Self-Improving Personal Smart Spaces for Pervasive Service Provision.

[BibT_eX]

[DOI]

Proceedings of the Towards the Future Internet - Emerging Trends from European Research, 2010

2009

Novel Pervasive Computing Services Experienced through Personal Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the MDM 2009, 2009

Implicit Adaptation of User Preferences in Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Systems, 2009

A Privacy Framework for Personal Self-Improving Smart Spaces.

[BibT_eX]

[DOI]

Nicolas Liampotis

Ioanna Roussaki

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Linking Privacy and User Preferences in the Identity Management for a Pervasive System.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

A Dynamic Approach to Dealing with User Preferences in a Pervasive System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Adapting Pervasive Environments through Machine Learning and Dynamic Personalization.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Using User Preferences to Enhance Privacy in Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Systems, 2008

A Pervasive Environment Based on Personal Self-improving Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the Constructing Ambient Intelligence, 2008

2007

Personalized redirection and content adaptation for increased user control of communications.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2007

Answering queries over incomplete data stream histories.

[BibT_eX]

[DOI]

Alasdair J. G. Gray

Werner Nutt

Int. J. Web Inf. Syst., 2007

Managing User Preferences for Personalization in a Pervasive Service Environment.

[BibT_eX]

[DOI]

Proceedings of the Third Advanced International Conference on Telecommunications (AICT 2007), 2007

2006

Context-Aware Dynamic Personalised Service Re-composition in a Pervasive Service Environment.

[BibT_eX]

[DOI]

Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006

Answering Arbitrary Conjunctive Queries over Incomplete Data Stream Histories.

[BibT_eX]

Alasdair J. G. Gray

Werner Nutt

Proceedings of the iiWAS'2006, 2006

Personalizing Pervasive Services on Top of Heterogeneous Networks.

[BibT_eX]

[DOI]

Proceedings of the ACS/IEEE International Conference on Pervasive Services 2006, 2006

Handling Dynamic QoS Requirements in a Pervasive System.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

Context-Aware Personalization in Pervasive Communications.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 2006

Sources of Incompleteness in Grid Publishing.

[BibT_eX]

[DOI]

Alasdair J. G. Gray

Werner Nutt

Proceedings of the Flexible and Efficient Information Handling, 2006

2005

A tool for supporting the teaching of parallel database systems.

[BibT_eX]

[DOI]

IEEE Trans. Educ., 2005

Adaptation of Content in Personalized Redirection of Communication.

[BibT_eX]

[DOI]

Int. J. Bus. Data Commun. Netw., 2005

A Service-Oriented Personalization Mechanism in Pervasive Environments.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Context-awareness and personalisation in the Daidalos pervasive environment.

[BibT_eX]

[DOI]

Miltiades E. Anagnostou

Proceedings of the International Conference on Pervasive Services 2005, 2005

2004

Analytical response time estimation in parallel relational database systems.

[BibT_eX]

[DOI]

Parallel Comput., 2004

Combining Heterogeneous Spatial Data From Distributed Sources.

[BibT_eX]

[DOI]

Omar Dreza

Proceedings of the Developments in Spatial Data Handling, 2004

A Context Aware User Profile for Personalization.

[BibT_eX]

Dimitris Halvatzaras

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

Developing pervasive services for future telecommunication networks.

[BibT_eX]

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

Constraining XML Transformations for Personalised Information Presentation.

[BibT_eX]

[DOI]

Proceedings of the Key Technologies for Data Management, 2004

2003

Modelling Parallel Oracle for Performance Prediction.

[BibT_eX]

[DOI]

Distributed Parallel Databases, 2003

A Toolkit for Creating Personalized Presentations.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Personalized Redirection and Content Adaptation.

[BibT_eX]

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

Personalized Context-Aware Presentation of Information to Mobile Users.

[BibT_eX]

Dimitris Halvatzaras

Lars Mehrmann

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

Recreating Personalization Features of the Youngster Mobile Service Platform with the Dip Toolkit.

[BibT_eX]

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

Tools for Personalised Presentation of Information.

[BibT_eX]

[DOI]

Proceedings of the New Horizons in Information Management, 2003

2002

Using a Distributed Approach to Retrieve and Integrate Information from Heterogeneous Distributed Databases.

[BibT_eX]

[DOI]

Hazem Turki El Khatib

Lachlan M. MacKinnon

Comput. J., 2002

Personalized Redirection of Communication.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Preventing Misleading Presentations of XML Documents: Some Initial Proposals.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001

Developing a regional healthcare information network.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Technol. Biomed., 2001

Data placement in a parallel DBMS with multiple disks.

[BibT_eX]

[DOI]

Chai Seng Pua

Inf. Softw. Technol., 2001

Dynamic Information Presentation through Web-based Personalisation and Adaptation - An Initial Review.

[BibT_eX]

[DOI]

Proceedings of the People and Computers XV, 2001

2000

Modelling parallel databases with process algebra.

[BibT_eX]

[DOI]

Chai Seng Pua

Parallel Comput., 2000

A framework and test-suite for assessing approaches to resolving heterogeneity in distributed databases.

[BibT_eX]

[DOI]

Hazem Turki El Khatib

Lachlan M. MacKinnon

Inf. Softw. Technol., 2000

STEADY - A Tool for Predicting Performance of Parallel DBMSs.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

VESPA: A Benchmark for Vector Spatial Databases.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases, 17th British National Conferenc on Databases, 2000

1999

Active Rule Analysis and Optimisation in the Rock & Roll Deductive Object-Oriented Database.

[BibT_eX]

[DOI]

Inf. Syst., 1999

Extending a deductive object-oriented database system with spatial data handling facilities.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

An analytical tool for predicting the performance of parallel relational databases.

[BibT_eX]

[DOI]

Concurr. Pract. Exp., 1999

Approximate Estimation of Transaction Response Time.

[BibT_eX]

[DOI]

Comput. J., 1999

Developing a Health Care Information System for Scotland.

[BibT_eX]

[DOI]

Proceedings of the Medical Informatics Europe '99, Proceedings, Ljubljana, Slovenia, 1999

A Secure Web-based Interface to Maternity Records with Decision Support.

[BibT_eX]

[DOI]

Proceedings of the Medical Informatics Europe '99, Proceedings, Ljubljana, Slovenia, 1999

Some Results from a New Technique for Response Time Estimation in Parallel DBMS.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

Optimization

[BibT_eX]

[DOI]

Proceedings of the Active Rules in Database Systems, 1999

RAP: The ROCK & ROLL Active Programming System.

[BibT_eX]

[DOI]

Proceedings of the Active Rules in Database Systems, 1999

1998

Extending the superimposed codeword indexing scheme to handle incomplete information.

[BibT_eX]

[DOI]

Knowl. Based Syst., 1998

A Model for Query Decomposition and Answer Construction in Heterogeneous Distributed Database Systems.

[BibT_eX]

[DOI]

Lachlan M. MacKinnon

J. Intell. Inf. Syst., 1998

Verifying a Performance Estimator for Parallel DBMSs.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '98 Parallel Processing, 1998

Performance Analysis of Dynamic Synthetic Environment Data Caching in Real-Time HLA Simulations.

[BibT_eX]

Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

1997

A Logic-Based Integration of Active and Deductive Databases.

[BibT_eX]

[DOI]

New Gener. Comput., 1997

The Implementation of a Deductive Query Language Over an OODB.

[BibT_eX]

[DOI]

J. Syst. Integr., 1997

The formalisation of ROCK & ROLL: A deductive object-oriented database system.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1997

Specifying Active Database Systems in an Object-Oriented Framework.

[BibT_eX]

[DOI]

Jack Campin

Int. J. Softw. Eng. Knowl. Eng., 1997

From OO Through Deduction to Active Databases - ROCK, ROLL & RAP.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

Cache Modeling in a Performance Evaluator for Parallel Database Systems.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS 1997, 1997

ROCK & ROLL: A Deductive Object-Oriented Database with Active and Spatial Extensions.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Data Engineering, 1997

1996

Practical throughput estimation for parallel databases.

[BibT_eX]

[DOI]

Shaoyu Zhou

Hamish Taylor

Softw. Eng. J., 1996

Decision Supporting for Management of Parallel Database Systems.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 1996

An Active Rule Language for ROCK & ROLL.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases, 14th British National Conferenc on Databases, 1996

1995

Design and implementation of ROCK & ROLL: a deductive object-oriented database system.

[BibT_eX]

[DOI]

Inf. Syst., 1995

A structured specification of an active database system.

[BibT_eX]

[DOI]

Jack Campin

Inf. Softw. Technol., 1995

Formal Specification of Active Database Functionality: A Survey.

[BibT_eX]

[DOI]

Jack Campin

Proceedings of the Rules in Database Systems, Second International Workshop, 1995

1994

The Indefinite Closed World Assumption.

[BibT_eX]

[DOI]

Quinzheng Kong

Data Knowl. Eng., 1994

An Effective Deductive Object-Oriented Database Through Language Integration.

[BibT_eX]

[DOI]

Proceedings of the VLDB'94, 1994

Processing Travel Queries in a Multimedia Information System.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Information and Communications Technologies in Tourism, 1994

Geographic Data Handling in a Deductive Object-Oriented Database.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

ROCK & ROLL: A Deductive Object-Oriented Database System.

[BibT_eX]

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

Approaches to the Representation of Qualitative Spatial Relationships for Geographic Databases: A Critical Survey and Possible Extensions.

[BibT_eX]

Proceedings of the Advanced Geographic Data Modelling 1994 (AGDM'94), 1994

Database programming languages - deductive, functional, persistent and object-oriented approaches.

[BibT_eX]

Prentice Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-101825-9, 1994

1993

Locating patient data among multiple heterogeneous medical databases.

[BibT_eX]

[DOI]

J. Hu

Inf. Softw. Technol., 1993

A rule-based approach to computerized map reading.

[BibT_eX]

[DOI]

J. M. P. Quinn

Inf. Softw. Technol., 1993

Deduction and Deductive Databases for Geographic Data Handling.

[BibT_eX]

[DOI]

Proceedings of the Advances in Spatial Databases, 1993

Dimensions of Active Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August, 1993

A Logical Query Language for an Object-Oriented Data Model.

[BibT_eX]

[DOI]

Proceedings of the Rules in Database Systems. Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August, 1993

Pythagoras Project Overview (EP7091).

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

An ODP-Oriented Framework for European Services in Telemedicine.

[BibT_eX]

Proceedings of the Open Distributed Processing, 1993

A Deductive Object-Oriented Database For Data Intensive Application Development.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases, 11th British National Conference on Databases, 1993

1992

Approaches to deductive object-oriented databases.

[BibT_eX]

[DOI]

Andrew Bowles

Inf. Softw. Technol., 1992

Database Query Interface for Medical Information Systems.

[BibT_eX]

[DOI]

María-Blanca Ibáñez-Espiga

G. Muirhead

Proceedings of the Interfaces to Database Systems (IDS92), 1992

Data Placement Strategy for a Parallel Database System.

[BibT_eX]

Proceedings of the International Conference on Database and Expert Systems Applications, 1992

1991

Improved Recursion Handling Through Integrity Constraints.

[BibT_eX]

[DOI]

K. Wicovsky

Peter Thanisch

Comput. J., 1991

A Superimposed Codeword Indexing Scheme for Handling Sets in Prolog Databases.

[BibT_eX]

Proceedings of the Database Systems for Advanced Applications '91, 1991

1990

Designing SQUIRREL: An Extended SQL for a Deductive Database System.

[BibT_eX]

[DOI]

Comput. J., 1990

CLARE - A Prolog Database Machine.

[BibT_eX]

[DOI]

Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, 1990

Time and Incompleteness in a Deductive Database.

[BibT_eX]

[DOI]

Quinzheng Kong

Proceedings of the Uncertainty in Knowledge Bases, 1990

Extending the Integrity Maintenance Capability in Deductive Databases.

[BibT_eX]

Subrata Kumar Das

Proceedings of the Logic Programming, 1990

1989

A Path Finding Method for Constraint Checking in Deductive Databases.

[BibT_eX]

[DOI]

Subrata Kumar Das

Data Knowl. Eng., 1989

A Type Driven Hardware Engine for Prolog Clause Retrieval over a Large Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, 1989

1988

Prolog and deductive databases.

[BibT_eX]

[DOI]

Knowl. Based Syst., 1988

Incomplete information in a Deductive Database.

[BibT_eX]

[DOI]

Quinzheng Kong

Data Knowl. Eng., 1988

An Approach to Handling Incomplete Information in Databases.

[BibT_eX]

[DOI]

K. A. Nicholson

Comput. J., 1988

Limiting a Resolution Set in a Large Prolog Database Using Special Hardware.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, 1988

Design Considerations for a Prolog Database Engine.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Benchmarking Prolog for Database Applications.

[BibT_eX]

P. A. Massey

Jim A. Crammond

Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988

Implementing Query Languages in Prolog.

[BibT_eX]

F. Mouta

Proceedings of the Prolog and Databases, Implementations and New Directions. , 1988

1987

Coping with Indefinite and Negative Data in Deductive Databases: A Survey.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1987

1986

Reorganization in a Simple Database System.

[BibT_eX]

I. M. Pattison

Softw. Pract. Exp., 1986

The Value of an Array Facility in Prolog.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1986

The Segregation of Incompatible Duties.

[BibT_eX]

[DOI]

J. Riddall

Comput. J., 1986

Translating Pascal for Execution on a Prolog-Based System.

[BibT_eX]

[DOI]

Comput. J., 1986

1985

Restructuring Pascal Programs Containing Goto Statements.

[BibT_eX]

[DOI]

Comput. J., 1985

Structuring Two-Level Grammar Specifications.

[BibT_eX]

[DOI]

Comput. J., 1985

A Linear Algorithm for Colouring Planar Graphs with Five Colours.

[BibT_eX]

[DOI]

Comput. J., 1985

1984

The Performance of Algorithms for Colouring Planar Graphs.

[BibT_eX]

[DOI]

K. T. Milne

Comput. J., 1984

Evaluation of the Effectiveness of Prolog for a CAD Application.

[BibT_eX]

[DOI]

J. C. González

I. E. Aitchison

IEEE Computer Graphics and Applications, 1984

1983

The Problem of Absolute Privacy.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1983

Is an Exit Statement Sufficient?

[BibT_eX]

[DOI]

Inf. Process. Lett., 1983

Flowchart Schemata and the Problem of Nomenclature.

[BibT_eX]

[DOI]

Comput. J., 1983

Security and Integrity in Logic Data Bases Using Query-By-Example.

[BibT_eX]

[DOI]

Stuart Oliver Anderson

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

Towards a Co-operative Data Base Management System.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

A Flexible Notation for Syntactic Definitions.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1982

A System to Assist Survey Analysts.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1982

Machine cycle simulator for a microprocessor.

[BibT_eX]

[DOI]

A. J. Stewart

Microprocess. Microsystems, 1982

A Comment on the Decomposition of Flowchart Schemata.

[BibT_eX]

[DOI]

Comput. J., 1982

The Programming Language BPL.

[BibT_eX]

[DOI]

Comput. J., 1982

1981

A useful trace facility for microcomputers.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1981

A Systematic Test for Extended Operator Precedence.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1981

Methods for Specifying Static Semantics.

[BibT_eX]

[DOI]

Comput. Lang., 1981

1980

Alternative approach to a microprocessor teaching laboratory.

[BibT_eX]

[DOI]

A. G. Sartori-Angus

G. P. Stromberg

Microprocess. Microsystems, 1980

Batch Sizes for the Batching Method of Colouring Planar Maps.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1980

Cubic Map Configurations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1980

A Formal Notation for Specifying Static Semantic Rules.

[BibT_eX]

[DOI]

Comput. Lang., 1980

1979

Long/Short Address Optimization in Assemblers.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1979

A Transportable Code Generator System.

[BibT_eX]

[DOI]

A. R. Bulmer

Inf. Process. Lett., 1979

Conditions for Extended Operator Precedence Parsing.

[BibT_eX]

[DOI]

Comput. J., 1979

1978

Use of a Formal Notation for Static Semantics in Compiler Design.

[BibT_eX]

[DOI]

A. R. Bulmer

Softw. Pract. Exp., 1978

Conversion of Unstructured Flow Diagrams to Structured Form.

[BibT_eX]

[DOI]

H. L. Ossher

Comput. J., 1978

Automatic Generation of Payroll Programs.

[BibT_eX]

[DOI]

Elizabeth V. C. Fielding

Comput. J., 1978

Static Semantic Features of ALGOL60 and BASIC.

[BibT_eX]

[DOI]

Comput. J., 1978

Yet another conversational programming language - BPL.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

Array Handling in Cobol Compilers.

[BibT_eX]

[DOI]

A. R. Bulmer

Softw. Pract. Exp., 1977

Complete Operator Precedence Conditions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1977

Generating Structured Flow Diagrams: The Nature of Unstructuredness.

[BibT_eX]

[DOI]

Comput. J., 1977

1976

A question-answering system for automatic program synthesis.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1976

1975

A note on the ambiguity of the common statement.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1975

A Computer Model for Instructional Purposes.

[BibT_eX]

[DOI]