Pamela Zave  Home/Search
Context
Related
| att.com/~pamela/mark.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: att.com/~pamela/cri (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ted speech recognition and because it allows immediate, unilateral expansion of services beyond what the current out-of-band protocols support. 2.5. Inadequacies of the "call model" 5 ,6 ,7 ,8 Most description techniques for telecommunication services have at their base the notion of a "call," which entails a one-to-one-to-one correspondence of caller, callee, and voice path. The call model is not a good basis for description of telecommunication services because it is not general... (Update)
Similar documents (at the sentence level):
6.1%: Systematic Design of Call-Coverage Features - Zave (1999) (Correct)
Active bibliography (related documents): More All
1.3: A Component-Based Approach To Telecommunication Software - Zave, Jackson (1998) (Correct)
0.9: Distributed Feature Composition: A Virtual Architecture For.. - Jackson, Zave (1998) (Correct)
0.8: Formal Description of Telecommunication Services in Promela and Z - Zave (1999) (Correct)
Similar documents based on text: More All
0.4: An Architecture for Three Challenging Features - Zave (2001) (Correct)
0.3: Performance Visualization of Parallel Systems: The PAMELA VIEWER. - Hartman (1997) (Correct)
0.3: DFC modifications I (Version 2): Routing extensions - Zave, Jackson (Correct)
BibTeX entry: (Update)
@misc{ zave-lecture,
author = "Pamela Zave",
title = "Lecture Outline And Bibliography On Specification And Verification Of Telecommunication
Services",
url = "citeseer.ist.psu.edu/411282.html" }
Citations (may not include all citations):579 Software Architecture: Perspectives on an Emerging Disciplin.. (context) - Shaw, Garlan - 1996
66 ACM Transactions on Software Engineering and Methodology IV (context) - Jackson, with - 1995
57 Feature Interactions in Telecommunications Systems (context) - Bouma, Velthuijsen - 1994
50 Feature interactions and formal specifications in telecommun.. (context) - Zave - 1993
42 Distributed feature composition: A virtual architecture for .. - Jackson, Zave
40 Functional specification of time-sensitive communicating sys.. - Broy - 1993
24 Prentice-Hall International (context) - Woodcock, Davies et al. - 1996
23 Feature Interactions in Telecommunications Systems III (context) - Cheng, Ohta - 1995
23 Feature Interactions in Telecommunication Networks IV (context) - Dini, Boutaba et al. - 1997
18 Issues of non-monotonicity in feature-interaction detection (context) - Velthuijsen
12 A component-based approach to telecommunication software - Zave, Jackson
9 Calls considered harmful (context) - Zave - 1998
9 Extending telecommunications systems: The feature-interactio.. (context) - Griffeth, Lin - 1993
5 Systematic design of call-coverage features - Zave
5 The feature interaction problem in networked multimedia serv.. (context) - Tsang, Magill et al. - 1997
4 Computer Networks and ISDN Systems XXV (context) - Holzmann, validation et al. - 1993
3 The DFC virtual architecture: Scenarios for use and plans fo.. (context) - Zave, Jackson - 1997
2 IEEE Communications Magazine XXXV (context) - Tennenhouse, Smith et al. - 1997
2 IEEE Communications Magazine XXXI (context) - Cameron, Griffeth et al. - 1993
1 Formal specification of an architecture for telecommunicatio.. (context) - Zave
Documents on the same site (http://www.research.att.com/~pamela/cri.html): More
Where Do Operations Come From? A Multiparadigm Specification.. - Michael (1996) (Correct)
DFC modifications I (Version 2): Routing extensions - Zave, Jackson (Correct)
New Feature Interactions in Mobile and Multimedia.. - Zave, Jackson (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC