Naranker Dulay

IEEE Trans. Netw. Serv. Manag., December, 2022

RANC: reward-all nakamoto consensus.

[BibT_eX]

[DOI]

Rami A. Khalil

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Towards Equity in Proof-of-Work Mining Rewards.

[BibT_eX]

[DOI]

Rami A. Khalil

Proceedings of the 3rd International Conference on Mathematical Research for Blockchain Economy, 2022

2021

PoSH in Practice: Implementing Proof of Staked Hardware Consensus with Limited Storage.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Adaptive layer-two dispute cutoffs in smart-contract blockchains.

[BibT_eX]

[DOI]

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020

Adaptive layer-two dispute periods in blockchains.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Short Paper: PoSH Proof of Staked Hardware Consensus.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

XPC: Fast and Reliable Synchronous Transmission Protocols for 2-Phase Commit and 3-Phase Commit.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020

2018

PICO-MP: De-centralised Macro-Programming for Wireless Sensor and Actuator Networks.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

DejaVu: visual diffing of cyber physical systems.

[BibT_eX]

[DOI]

Fergus Leahy

Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

2016

Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper).

[BibT_eX]

[DOI]

Fergus Leahy

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

Integrating Privacy and Safety Criteria into Planning Tasks.

[BibT_eX]

[DOI]

Anna Lavygina

Alessandra Russo

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

An Approach for Collective Adaptation in Socio-Technical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

2014

Rumpole: An Introspective Break-Glass Access Control Language.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2014

RingLearn: Long-term mitigation of disruptive smartphone interruptions.

[BibT_eX]

[DOI]

Jeremiah Smith

Proceedings of the 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, 2014

Learning to recognise disruptive smartphone notifications.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Human-computer interaction with mobile devices & services, 2014

When did your smartphone bother you last?

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

2013

Exploring concept drift using interactive simulations.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

2012

Self-Management Framework for Mobile Autonomous Systems.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2012

Home Network Management Policies: Putting the User in the Loop.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, 2012

A configuration service for home networks.

[BibT_eX]

[DOI]

Anandha Gopalan

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

2011

A policy-based publish/subscribe middleware for sense-and-react applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Shared and searchable encrypted data for untrusted servers.

[BibT_eX]

[DOI]

J. Comput. Secur., 2011

Argumentation-based fault diagnosis for home networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCOMM workshop on Home networks, 2011

Rumpole: a flexible break-glass access control model.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

An information plane architecture supporting home network management.

[BibT_eX]

[DOI]

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Longitude: A Privacy-Preserving Location Sharing Protocol for Mobile Applications.

[BibT_eX]

[DOI]

Proceedings of the Trust Management V, 5th IFIP WG 11.11 International Conference, 2011

Verifying home network bandwidth sharing plans.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Network and Service Management, 2011

2010

Providing data confidentiality against malicious hosts in Shared Data Spaces.

[BibT_eX]

[DOI]

Michel R. V. Chaudron

Maarten van Steen

Sci. Comput. Program., 2010

Context-based authentication and transport of cultural assets.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2010

Teleo-Reactive Policies in Ponder2.

[BibT_eX]

[DOI]

Kevin P. Twidle

Proceedings of the POLICY 2010, 2010

Coordinating Data Usage Control in Loosely-Connected Networks.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2010, 2010

Teleo-Reactive workflows for pervasive healthcare.

[BibT_eX]

[DOI]

Kevin P. Twidle

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance.

[BibT_eX]

[DOI]

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

Shinren: Non-monotonic Trust Management for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Trust Management IV - 4th IFIP WG 11.11 International Conference, 2010

Predicting human behaviour from selected mobile phone data points.

[BibT_eX]

[DOI]

Proceedings of the UbiComp 2010: Ubiquitous Computing, 12th International Conference, 2010

Distributed Fault Tolerant Controllers.

[BibT_eX]

[DOI]

Rudi Ball

Proceedings of the Distributed Applications and Interoperable Systems, 2010

Teleo-Reactive policies for managing human-centric pervasive services.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Network and Service Management, 2010

Distributed Orchestration of Pervasive Services.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009

Locating network domain entry and exit point/path for DDoS attack traffic.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2009

Policy conflict analysis for diffserv quality of service management.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2009

xDUCON: Cross Domain Usage Control through Shared Data Spaces.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2009, 2009

Policies for Self Tuning Home Networks.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2009, 2009

Aligning Activity Sequences for Continuous Tracking of Cellphone Users.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

A Policy-Based Management Architecture for Mobile Collaborative Teams.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

xDUCON: Coordinating Usage Control Policies in Distributed Domains.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Network and System Security, 2009

A Mission Management Framework for Unmanned Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Mobile Wireless Middleware, 2009

Routine classification through sequence alignment.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Multimedia 2009, 2009

Activity Inference through Sequence Alignment.

[BibT_eX]

[DOI]

Proceedings of the Location and Context Awareness, 4th International Symposium, 2009

Adaptive response system for distributed denial-of-service attacks.

[BibT_eX]

[DOI]

Proceedings of the Integrated Network Management, 2009

Ponder2: A Policy System for Autonomous Pervasive Environments.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009

An Architectural Approach for Self-Managing Security Services.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

Approximating Travel Times Using Opportunistic Networking.

[BibT_eX]

[DOI]

Rudi Ball

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Reconfigurable Architecture for Network Flow Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2008

AMUSE: autonomic management of ubiquitous e-Health systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2008

GSpace: an architectural approach for self-managing extra-functional concerns.

[BibT_eX]

[DOI]

Michel R. V. Chaudron

Maarten van Steen

Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Ponder2 - A Policy Environment for Autonomous Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Consent-Based Workflows for Healthcare Management.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Personalising situated workflow systems for pervasive healthcare applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd International ICST Conference on Pervasive Computing Technologies for Healthcare, 2008

Network domain entrypoint/path determination for DDoS attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

Towards context-aware face anonymisation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Mobile and Ubiquitous Multimedia, 2008

Using screenplays as a source of context data.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Story Representation, Mechanism and Context, 2008

Adaptive self-management of teams of autonomous vehicles.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), 2008

Finger: An efficient policy system for body sensor networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 5th International Conference on Mobile Adhoc and Sensor Systems, 2008

Place and Time Authentication of Cultural Assets.

[BibT_eX]

[DOI]

Proceedings of the Trust Management II, 2008

An Efficient Policy System for Body Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

TRAcME: Temporal Activity Recognition Using Mobile Phone Data.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Flexible Resolution of Authorisation Conflicts in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Managing Large-Scale Service Deployment, 2008

Encrypted Shared Data Spaces.

[BibT_eX]

[DOI]

Michel R. V. Chaudron

Maarten van Steen

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

ESCAPE: A Component-Based Policy Framework for Sense and React Applications.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

A Workflow-Based Access Control Framework for e-Health Applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

A Survey of Bots Used for Distributed Denial of Service Attacks.

[BibT_eX]

[DOI]

Proceedings of the New Approaches for Security, 2007

Towards Supporting Interactions between Self-Managed Cells.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Authorisation and Conflict Resolution for Hierarchical Domains.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

Autonomous Pervasive Systems and the Policy Challenges of a Small World!

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

Self-Managed Cell: A Middleware for Managing Body-Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), 2007

Dynamic Ontology Mapping for Interacting Autonomous Systems.

[BibT_eX]

[DOI]

Steven Heeps

Joe Sventek

Emil C. Lupu

Stephen D. Strowes

Proceedings of the Self-Organizing Systems, Second International Workshop, 2007

Trust Transfer in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, 2007

Non-intrusive IP traceback for DDoS attacks.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

Policy-based Management for Body-Sensor Networks.

[BibT_eX]

[DOI]

Sye Loong Keoh

Kevin P. Twidle

Nathaniel Pryce

Proceedings of the 4th International Workshop on Wearable and Implantable Body Sensor Networks, 2007

Enforcing Fine-Grained Authorization Policies for Java Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Policy refinement for IP differentiated services Quality of Service management.

[BibT_eX]

[DOI]

George Pavlou

IEEE Trans. Netw. Serv. Manag., 2006

Privacy Preserving Trust Negotiation for Pervasive Healthcare.

[BibT_eX]

[DOI]

Proceedings of the 1st International ICST Conference on Pervasive Computing Technologies for Healthcare, 2006

Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management.

[BibT_eX]

[DOI]

Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

2005

Policy Conflict Analysis for Quality of Service Management.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

Self-managed Cells for Ubiquitous Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2005

Policy refinement for DiffServ quality of service management.

[BibT_eX]

[DOI]

George Pavlou

Proceedings of the Integrated Network Management, 2005

A Combined Hardware-Software Architecture for Network Flow.

[BibT_eX]

Proceedings of The 2005 International Conference on Engineering of Reconfigurable Systems and Algorithms, 2005

Self-Managed Cells and their Federation.

[BibT_eX]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004

A framework for contextual mediation in mobile and ubiquitous computing applied to the context-aware adaptation of maps.

[BibT_eX]

[DOI]

Dan Chalmers

Pers. Ubiquitous Comput., 2004

Meta Data to Support Context Aware Mobile Applications.

[BibT_eX]

[DOI]

Dan Chalmers

Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

2003

Irregular Reconfigurable CAM Structures for Firewall Applications.

[BibT_eX]

[DOI]

Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

Compiling Policy Descriptions into Reconfigurable Firewall Processors.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003), 2003

2002

Tools for domain-based policy management of distributed systems.

[BibT_eX]

[DOI]

Proceedings of the Management Solutions for the New Communications World, 2002

Development framework for firewall processors.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE International Conference on Field-Programmable Technology, 2002

2001

Flexible security policies for mobile agent systems.

[BibT_eX]

[DOI]

Rebecca Montanari

Cesare Stefanelli

Microprocess. Microsystems, 2001

Map adaptation for users of mobile systems.

[BibT_eX]

[DOI]

Dan Chalmers

Proceedings of the Tenth International World Wide Web Conference, 2001

The Ponder Policy Specification Language.

[BibT_eX]

[DOI]

Proceedings of the Policies for Distributed Systems and Networks, 2001

Policy-Driven Management of Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Policies for Distributed Systems and Networks, 2001

A Policy Deployment Model for the Ponder Language.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/IFIP International Symposium on Integrated Network Management, 2001

A Policy Language for the Management of Distributed Agents.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

2000

Ponder: Realising Enterprise Viewpoint Concepts.

[BibT_eX]

[DOI]

Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000

1999

Dynamic Architectures and Architectural Styles for Distributed Program.

[BibT_eX]

[DOI]

Nat Pryce

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

1997

A configurable protocol architecture for CORBA environments.

[BibT_eX]

[DOI]

Stephen Crane

Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997

1995

Configuration management for distributed software services.

[BibT_eX]

Proceedings of the Integrated Network Management IV, 1995

The Software Architect's Assistant-a visual environment for distributed programming.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Specifying Distributed Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 5th European Software Engineering Conference, 1995

1994

Regis: a constructive development environment for distributed programs.

[BibT_eX]

[DOI]

Jeff Kramer

Distributed Syst. Eng., 1994

A constructive development environment for parallel and distributed programs.

[BibT_eX]

[DOI]

Jeff N. Magee

Jeff Kramer

Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994

1993

Structuring parallel and distributed programs.

[BibT_eX]

[DOI]

Jeff Kramer

Softw. Eng. J., 1993

1992

Configuring object-based distributed programs in REX.

[BibT_eX]

[DOI]

Softw. Eng. J., 1992

A configuration approach to parallel programming.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1992

MP: A Programming Environment for Multicomputers.

[BibT_eX]

Proceedings of the Programming Environments for Parallel Computing, 1992

1990

A configuration language for distributed programming.

[BibT_eX]

[DOI]