Use of Logic to Describe Enhanced Communications Services

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Formal Techniques for (Networked and) Distributed Systems

• Publication date

  2002-11-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-36135-9_9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Session Initiation Protocol (SIP)

  2003cited by this paper
• SIP: Session Initiation Protocol

  2002cited by this paper
• The Ponder Policy Specification Language

  2001cited by this paper
• A policy deployment model for the Ponder language

  2001cited by this paper
• Policies for Feature Interaction Resolution

  2000cited by this paper
• Feature-Interaction Resolution Using Fuzzy Policies

  2000cited by this paper
• Ponder: A Language for Specifying Security and Management Policies for Distributed Systems

  2000cited by this paper
• Conflicts in Policy-Based Distributed Systems Management

  1999cited by this paper
• Formalising ODP enterprise policies

  1999cited by this paper
• Feature-Interaction Visualisation and Resolution in an Agent Environment

  1998cited by this paper
• How to Make Your Agents Fulfil Their Obligations

  1998cited by this paper
• Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden

  1998cited by this paper
• Network Working Group Call Processing Language (cpl): a Language for User Control of Internet Telephony Services

  year unknowncited by this paper

• Orchestration of heterogeneous wireless networks: State of the art and remaining challenges

  2020cites this paper
• A System for Controlling, Monitoring and Programming the Home

  2012cites this paper
• Policy-driven Reconfiguration of Service-targeted Business Processes

  2011cites this paper
• The ACCENT Policy Wizard

  2009cites this paper
• APPEL: An Adaptable and Programmable Policy Environment and Language

  2009cites this paper
• Detecting policy conflicts by model checking UML state machines

  2009cites this paper
• Context Aware Collaborative Working Environments

  2008cites this paper
• Handbook of Research on Mobile Multimedia, Second Edition

  2008cites this paper
• Logic-based Conflict Detection for Distributed Policies

  2008cites this paper
• Policies and conflicts in call control

  2007cites this paper
• Logic-based detection of conflicts in APPEL policies

  2007cites this paper
• Policy-driven Business Management over Web Services

  2007cites this paper
• Policy Support for Business-oriented Web Service Management

  2006cites this paper
• Policy support for call control

  2006cites this paper
• Policy support for H.323 call handling

  2005cites this paper
• Interactive conflict detection and resolution for personalized features

  2005cites this paper
• The ACCENT Policy Server

  2005cites this paper
• Handling Policy Conflicts in Call Control

  2005cites this paper
• Feature interaction in policies

  2004cites this paper
• APPEL: The ACCENT Project Policy Environment/Lang uage

  2004cites this paper
• Policies for H.323 Internet Telephony

  2004cites this paper
• Policy-enabled mechanisms for feature interactions: reality, expectations, challenges

  2004cites this paper
• Policies: Giving Users Control over Calls

  2003cites this paper
• A Policy Architecture for Enhancing and Controlling Features

  2003cites this paper
• Hybrid Solutions to the Feature Interaction Problem

  2003cites this paper
• Representing New Voice Services and Their Features

  2003cites this paper
• A CCENT ( EPSRC GR / R 31263 ) ( Advanced Call Control Enhancing Network Technologies )

  year unknowncites this paper