Please use this identifier to cite or link to this item:
|Title:||Use of logic to describe enhanced communications services|
Turner, Kenneth J.
|Presented at:||22nd International Conference on Formal Techniques for Networked and Distributed Systems, Houston, Texas, 11-14 November 2002.|
|Citation:||LNCS 2529: Formal Techniques for Networked and Distributed Systems (FORTE 2002). Lecture Notes in Computer Science, 2002, 2529, pp. 130-145|
|Abstract:||New functionality is added to telecommunications systems in the form of features or services. However, this is a very provider-centric approach, not giving much control to the user. We consider a logic that allows the user to express preferences as to how they wish calls to be handled. This logic is encapsulated in a user-friendly policy description language. The transferability of a policy description language (Ponder) developed for system management and access control is discussed.|
|Rights:||Copyright © Springer-Verlag Berlin Heidelberg 2002. Deposited with reference to the publisher's archiving policy available on the SHERPA/RoMEO website. The original publication is available at www.springerlink.com|
|Appears in Collections:||Conference Papers & Presentations, Dept. of Computer Science|
Files in This Item:
|forte2002.pdf||Post-review (final submitted)||278.64 kB||Adobe PDF||View/Open|
Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.