Contents

Introduction
     Dot Subject
     Dot Aims
     Dot Audience
     Dot Contributors
Structure
     Dot Topics
     Dot Part I
     Dot Part II
     Dot Part III
     Dot Appendixes
Sample Chapter
Reference Material
     Dot Bibliography
     Dot Web Sites
     Dot Abbreviations
     Dot Updates and Errata

Last Update 11th September 2009

Service Provision -
Technologies for Next Generation
Communications Systems

Book Cover

Edited by
Kenneth J. Turner, Evan H. Magill, David J. Marples

Published by
John Wiley and Sons, ISBN 0-47085066-3


Bibliography

The citations from all chapters are collected below. References to major web sites appear separately. Hyperlinks below were correct at the time of publication, but could now be out of date.

3GPP (2001) Third Generation Partnership Project, www.3gpp.org

3GPP (2002a) Open Service Access (OSA); Application Programming Interface (API) Part 1: Overview (Release 5), V5.1.0. 29.198-1, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002b) Open Service Access (OSA); Application Programming Interface (API) Part 2: Common data (Release 5), V5.1.1. 29.198-2, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002c) Open Service Access (OSA); Application Programming Interface (API) Framework (Release 5), V5.1.0. 29.198-3, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002d) Open Service Access (OSA); Application Programming Interface (API) Part 4: Call Control; Sub-part 1: Call Control Common Definitions (Release 5), V5.1.0. 29.198-4-1, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002e) Open Service Access (OSA); Application Programming Interface (API) Part 4: Call Control; Sub-part 2: Generic Call Control SCF (Release 5), V5.1.0. 29.198-4-2, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002f) Open Service Access (OSA); Application Programming Interface (API) Part 4: Call Control; Sub-part 3: Multi-Party Call Control SCF (Release 5), V5.1.0. 29.198-4-3, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002g) Open Service Access (OSA); Application Programming Interface (API) Part 4: Call Control; Sub-part 4: Multi-Media Call Control SCF (Release 5), V5.1.0 29.198-4-4, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002h) Open Service Access (OSA); Application Programming Interface (API) Part 5: Generic User Interaction (Release 5), V5.1.0. 29.198-5, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002i) Open Service Access (OSA); Application Programming Interface (API) Part 6: Mobility (Release 5), V5.1.0. 29.198-6, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002j) Open Service Access (OSA); Application Programming Interface (API) Part 7: Terminal Capabilities (Release 5), V5.2.0. 29.198-7, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002k) Open Service Access (OSA); Application Programming Interface (API) Part 8: Data Session Control (Release 5), V5.1.0. 29.198-8, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002l) Open Service Access (OSA); Application Programming Interface (API) Part 11: Account Management (Release 5), V5.1.0. 29.198-11, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002m) Open Service Access (OSA); Application Programming Interface (API) Part 12: Charging (Release 5), V5.1.0. 29.198-12, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002n) Open Service Access (OSA); Application Programming Interface (API) Part 13: Policy Management (Release 5), V5.1.0. 29.198-13, 3rd Generation Partnership Project; Technical Specification Group Core Network

3GPP (2002o) Open Service Access (OSA); Application Programming Interface (API) Part 14: Presence and Availability Management (Release 5), V5.1.0. 29.198-14, 3rd Generation Partnership Project; Technical Specification Group Core Network

Abernethy, T.W. and Munday, C.A. (1995) Intelligent Networks, Standards and Services. BT Technology Journal, 2:9-20

Abrial, J.-R. (1996) The B-Book: Assigning Programs to Meanings, Cambridge University Press, UK

Accorsi, R., Areces, C., Bouma, L. G., and de Rijke, M. (2000) Features as constraints, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 210–225, Amsterdam, Netherlands, IOS Press, Amsterdam, Netherlands

Adleman, L. (1994) Molecular computation of solutions to combinatorial problems, Science, 266:1021–1024

AFX News (2001) Mobile Messaging Standards Coming, AFX News Ltd., 26th April 2001, www.mbizcentral.com/story/m-allNews/MBZ20010426S0004

Ahmed, W., Hussain, A., and Shah, S. (2001) Location Estimation in Cellular Networks using Neural Networks, Proc. International NAISO Congress on Information Science Innovations (ISI'2001), Dubai

Aho, A. V., Gallagher, S., Griffeth, N. D., Schell, C. R., and Swayne, D. F. (1998) SCF3/Sculptor with Chisel: Requirements engineering for communications services, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 45–63, IOS Press, Amsterdam, Netherlands

Ahonen, T. and Barrett. J., editors. (2002) Services for UMTS. John Wiley and Sons

Aiyarak, P., Saket, A., and Sinclair, M. (1997) Genetic programming approaches for minimum cost topology optimisation of optical telecommunication networks, in 2nd International Conference on Genetic Algorithms In Engineering Systems: Innovations And Applications, University of Strathclyde, Glasgow, UK

Alcatel (2003) www.cid.alcatel.com/doctypes/techpaper/dsl/dsl_types.jhtml

Allen, S. and Wolkowitz, C. (1987) Homeworking myths and realities, Macmillan Education

Amyot, D., Andrade, R., Logrippo, L. M. S., Sincennes, J., and Yi, Z. (1999a) Formal methods for mobility standards, in IEEE 1999 Emerging Technology Symposium on Wireless Communications and Systems, Richardson, Texas, USA

Amyot, D., Buhr, R. J. A., Gray, T., and Logrippo, L. M. S. (1999b) Use case maps for the capture and validation of distributed systems requirements, in Proc. 4th IEEE International Symposium on Requirements Engineering, pp. 44–53, Institution of Electrical and Electronic Engineers Press, New York, USA

Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L. M. S., Sincennes, J., Stepien, B., and Ware, T. (2000) Feature description and feature interaction analysis with use case maps and LOTOS, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 274–289, Amsterdam, Netherlands, IOS Press, Amsterdam, Netherlands

Amyot, D. and Logrippo, L., editors (2003) Feature Interaction in Telecommunications and Software Systems VII, IOS Press, Amsterdam, 2003

Andersson, K. and Hjerpe, T. (1998) Modeling constraint problems in CML, Proc. PAPPACT98, London, UK

Ang, P.H. and Nadarajan, B. (1997) Issues in the regulation of Internet quality of service. Proceedings of INET 97 Conference

Appleby, S. and Steward, S. (1994) Mobile software agents for control in telecommunications networks, BT Technology Journal, 12(2):104–113

APM Ltd. (1993) ANSAware 4.1 Application Programming in ANSAware. Document RM.102.02. A.P.M. Cambridge Limited, Poseidon House, Castle Park, Cambridge CB3 0RD, UK

Appium (2003) Appium Parlay simulator, www.appium.com/products_and_services/application_platform.html

Arnold, K., O’Sullivan, B., Scheifler, R., Waldo, J. and Wollrath, A. (1999) The Jini Specification. Addison Wesley

Ateniese, G. and Tsudik, G. (1999) Group Signatures a’ la Carte. ACM Symposium of Discrete Algorithms, January 1999

Au, P. K. and Atlee, J. M. (1997) Evaluation of a state-based model of feature interactions, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 153–167, IOS Press, Amsterdam, Netherlands

Austin, S. and Parkin, G. I. (1993) Formal methods: A survey, Technical report, National Physical Laboratory, Teddington, Middlesex, UK

Awduche, D. et al. (2002) RSVP-TE: Extensions to RSVP for LSP Tunnels, RFC 3209, Internet Society, New York, USA

Baeten, J. C. M. and Weijland, W. P. (1990) Process Algebra, Cambridge University Press, UK

Baker, F., Iturralde, C., Le Faucheur, F. and Davie, B. (2001) Aggregation of RSVP for IPv4 and IPv6 Reservations, RFC 3175, Internet Society, New York, USA

Bakker, J.-L., McGoogan, J.R., Opdyke, W.F. and Panken, F.J. (2000) Rapid Development and Delivery of Converged Services Using APIs, Bell Labs Technical Journal, 5(3):12–29

Bakker, J.-L., Tweedie, D. and Unmehopa, M. R. (2002) Evolving Service Creation; New Developments in Network Intelligence, Telektronikk, 98(4):58–68

Banzhaf, W. (1993) Genetic programming for pedestrians, MERL Technical Report 93-03, Mitsubishi Electric Research Labs, Cambridge, Massachusetts, USA

Banzhaf, W., Nordin, P., Keller, R. E. and Francone, F. D. (1998) Genetic Programming – An Introduction, Morgan Kaufmann, Heidelberg, Germany

BBCNews (2003) news.bbc.co.uk/1/hi/entertainment/tv_and_radio/3177479.stm

Belina, F., Hogrefe, D., and Sarma, A., editors (1992) SDL with Applications from Protocol Specification, Prentice-Hall

Bellcore (1993a) AIN Release 1, SR-NWT-002247, Revision 1, Bellcore, Morristown, New Jersey, USA

Bellcore (1993b) AINGR: Switching Systems, GR-1298-CORE, Issue 1, Bellcore, Morristown, New Jersey, USA

Bellcore (1994) AINGR: Switching Systems, GR-1298-CORE, Issue 2, Bellcore, Morristown, New Jersey, USA

Bellcore (2001a) AINGR: Switch - Service Control Point (SCP)/Adjunct Interface, GR-1299-CORE, Issue 7, Bellcore, Morristown, New Jersey, USA

Bellcore (2001b) AINGR: Switch – Intelligent Peripheral Interface (IPI), GR-1129-CORE, Issue 6, Bellcore, Morristown, New Jersey, USA

Berndt, H., Hamada, T. and Graubmann, P. (2000), TINA: Its Achievements and its Future Directions, IEEE Communications Surveys & Tutorials, 3(1)

Berners-Lee, T. (1994) Universal Resource Identifiers in WWW: A Unifying Syntax for the Expression of Names and Addresses of Objects on the Network as used in the World-Wide Web. RFC 1630, Internet Society, New York, USA

Berners-Lee. T., Hendler, J. and Lassila, O. (2001) The Semantic Web, Scientific American, May 2001

Biswas, J., Lazar, A.A., Huard, J.-F., Lim, K., Mahjoub, S., Pau, L.-F., Suzuki, M., Torstensson, S., Wang, W. and Weinstein, S. (1998) The IEEE P1520 Standards Initiative for Programmable Network Interfaces, IEEE Communications Magazine, 36(10):64–70

Blair, G., Blair, L., Bowman, H., and Chetwynd, A. (1998) Formal Specification of Distributed Multimedia Systems, UCL Press, London, UK

Blair, L., Blair, G., Bowman, H., and Chetwynd, A. (1995) Formal specification and verification of multimedia systems in Open Distributed Processing, Computer Standards and Interfaces, 17(5–6):413–436

Blair, G.S., Coulson, G. anderson, A., Blair, L., Clarke, M., Costa, F., Duran-Limon, H., Fitzpatrick, T., Johnston, L., Moreira, R., Parlavantzas, N. and Saikoski K. (2001) The Design and Implementation of Open ORB v2, Special Issue of IEEE Distributed Systems Online on Reflective Middleware, www.computer.org/dsonline

Blair, G.S. and Stefani, J.B. (1998) Open Distributed Processing and Multimedia, Addison-Wesley

Blake, S. (1998) An Architecture for Differentiated Services, Internet Engineering Task Force, RFC 2475, Internet Society, New York, USA

Blom, J., Bol, R., and Kempe, L. (1995) Automatic detection of feature interactions in temporal logic, in Cheng, K. E. and Ohta, T., editors, Proc. 3rd International Workshop on Feature Interactions in Telecommunications, pp. 1–19, IOS Press, Amsterdam, Netherlands

Boehm, B. W. (1984) Verifying and validating software requirements and design specification, IEEE Transactions on Software Engineering, 1(1):75–88

Bonabeau, E., Heanaux, F., Guerin, S., Snyers, D., Kuntz, P., and Theraulaz, G. (1998) Routing in telecommunications networks with smart ant-like agents, in Intelligent Agents for Telecommunications Applications, LNAI 1437, Springer Verlag

Bosque, M. (2002) Understanding 99% of Artificial Neural Networks: Introduction & Tricks, Writers Club Press

Bouma, L. G. and Velthuijsen, H. (1994a), Introduction, in Bouma, L. G. and Velthuijsen, H., editors, Proc. 2nd International Workshop on Feature Interactions in Telecommunications Systems, pp. vii–xiv, IOS Press, Amsterdam, Netherlands

Bouma, L. G. and Velthuijsen, H., editors (1994b) Proc. 2nd International Workshop on Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, Netherlands

Bowen, J. P. and Hinchey, M. G. (1995a) Seven more myths of formal methods, IEEE Software, 12(4):34–41

Bowen, J. P. and Hinchey, M. G. (1995b) Ten commandments of formal methods, IEEE Computer, 28(4):56–63

Bowman, H., Derrick, J., Linington, P. and Steen, M.W.A. (1996) Cross Viewpoint Consistency in Open Distributed Processing, Software Engineering Journal 11(1):44–57

Boyd, C. (2001) Why Strategy Must Change, Management Issues, MGT 487, SMU

Braden, B., Clark, D. and Shenker, S. (1994) Integrated Services in the Internet Architecture: An Overview, RFC 1633, Internet Society, New York, USA

Braden, B. et al. (1997) Resource ReSerVation Protocol (RSVP) – Version 1 Functional Specification, RFC 2205, Internet Society, New York, USA

Bradner, S. (1996) The Internet Standards Process – Revision 3, RFC 2026, Internet Society, New York, USA

Bradshaw, J. (1997) Software Agents, AAAI Press/The MIT Press

Bredereke, J. (2000) Families of formal requirements in telephone switching, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 257–273, IOS Press, Amsterdam, Netherlands

Brunner, M. and Stadler, R. (2000) Service Management in Multi-Party Active Networks, IEEE Communications Magazine, Special Issue on Active and Programmable Networks, 38(3)

Buhr, R. J. A., Amyot, D., Elammari, M., Quesnel, D., Gray, T., and Mankovski, S. (1998) Feature-interaction visualization and resolution in an agent environment, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 135–149, IOS Press, Amsterdam, Netherlands

Buhr, R. J. A. and Casselman, R. S. (1996) Use Case Maps for Object-Oriented Systems, Prentice-Hall

Caffery, J. and Stuber, G. (1998) Overview of Wireless Location in CDMA systems, IEEE Communications Magazine, 36:38–45

Calder, M. H. (1998) What use are formal design and analysis methods to telecommunications services? In Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 23–31, IOS Press, Amsterdam, Netherlands

Calder, M. H., Kolberg, M., Magill, E. H., and Reiff-Marganiec, S. (2003) Feature interaction: A critical review and considered forecast, Computer Networks, 41:115–141

Calder, M. H. and Magill, E. H., editors (2000) Proc. 6th Feature Interactions in Telecommunications and Software Systems, IOS Press, Amsterdam, Netherlands

Calder, M. H., Magill, E. H., and Marples, D. J. (1999) A hybrid approach to software interworking problems: Managing interactions between legacy and evolving telecommunications software, IEE Software, 146(3):167–180

Camarillo, G. (2002) SIP Demystified, McGraw-Hill

Cameron, J., Cheng, K., Gallagher, S., Lin, F.J., Russo, P. and Sobirk, D. (1998) Next generation service creation: Process, methodology and tool integration, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 299–304, IOS Press, Amsterdam, Netherlands

Cameron, J., Cheng, K., Lin, F.J., Liu, H. and Pinheiro. B. (1997) A formal AIN service creation, feature interactions analysis and management environment: An industrial application, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 342–346, IOS Press, Amsterdam, Netherlands

Cameron, E. J., Griffeth, N. D., Lin, Y.-J., Nilson, M. E., Schnure, W. K., and Velthuijsen, H. (1993) A feature-interaction benchmark for IN and beyond, IEEE Communications Magazine, pp. 64–69

Cameron, E. J., Griffeth, N., Lin, Y.-J., Nilson, M. E. and Schnure, W. K. (1994) A feature interaction benchmark for IN and beyond, in Bouma, L. G. and Velthuijsen, H., editors, Proc. 2nd International Workshop on Feature Interactions in Telecommunications Systems, pp. 1–23, IOS Press, Amsterdam, Netherlands

Cameron, J. and Lin, F. J. (1998) Feature interactions in the new world, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 3–9, IOS Press, Amsterdam, Netherlands

Campbell, A.T., Kounavis, M.E., Villela, D.A., Vicente, J.B., de Meer, H.B., Miki K., Kalaichelvan, K.S. (1999) Spawning networks, IEEE Network Magazine, 13(4):16–29

CanCIA (2003) www.can-cia.org

Capellmann, C., Combes, P., Pettersson, J., Renard, B., and Ruiz, J. L. (1997) Consistent interaction detection – A comprehensive approach integrated with service creation, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 183–197, IOS Press, Amsterdam, Netherlands

Carpenter, G. and Grossberg, S. (1988) The ART of adaptive pattern recognition by a self-organizing neural network, IEEE Computer, 21(3):77–88

Carro, M. and Hernenegildo, M. (1998) Some design issues in the visualisation of constraint program execution, in Proc. Joint Conference on Declarative Programming (AGP'98)

Cassez, F., Ryan, M. D., and Schobbens, P.-Y. (2001) Proving feature non-interaction with alternating-time temporal logic, in Gilmore, S. T. and Ryan, M. D., editors, Language Constructs for Describing Features (FIREworks Workshop), pp. 85–103, Springer-Verlag

Champion, M., Ferris, C., Newcomer, E. and Orchard, D. (2002) Web Services Architecture. W3C Working Draft, World Wide Web Consortium, Geneva, Switzerland

Chaum D. and Pedersen T. (1992) Transferred Cash Grows in Size, Proc. EUROCRYPT’92, pp. 390–407, LNCS 658, Springer-Verlag

Chaum, D. (1983) Blind Signatures for Untraceable Payments, Proc. CRYPTO'8, Plenum Press, New York, USA

Chaum, D. (1985) Security without Identification: Transaction Systems to Make Big Brother Obsolete, Communications of the ACM, 28(10)

Chen, W. and Mulgrew, B. (1992) Application of the functional-link technique for channel equalization, Signal Processing, 28:91–107

Cheng, K. E. and Ohta, T., editors (1995) Proc. 3rd International Workshop on Feature Interactions in Telecommunications, IOS Press, Amsterdam, Netherlands

Chess, D. (1998) Security Issues in Mobile Code Systems, in Lecture Notes in Computer Science 1419, Springer-Verlag

Chinnici, R., Gudgin, M., Moreau, J. and Weerawarana, S. (2003) Web Services Description Language (WSDL) Version 1.2. W3C Working Draft, World Wide Web Consortium, Geneva, Switzerland

Cho, S. B. and Shimohara, K. (1998) Evolutionary learning of modular neural networks with genetic programming, Applied Intelligence, 9(3):191–200

Christensen, C.M. (1997) The Innovator's Dilemma: When New Technologies Cause Great Firms to Fail. Harvard Business School Press

Clarke, E. and Wing, J. (1996) Formal methods: State of the art and future directions, Technical Report CMU-CS-96-178, Carnegie-Mellon University, Pittsburgh, USA

Clarke, E. M., Emerson, E. A., and Sistla, A. P. (1986) Automatic verification of finite state concurrent systems using temporal logic specification, TOPLAS, 8(2):244–263

Clocksin, W. F. and Mellish, C. S. (1994) Programming in Prolog, Springer-Verlag

Cochinwala, M. (2002) Using Objects for Next Generation Communication Services, Proc. 14th European Conference on Object-Oriented Programming, Sophia Antipolis and Cannes, France, June 2000

Cochinwala, M., Shim, H.S., et al. (2003) Adaptive Resource Management of a Virtual Call Center Using a Peer-to-Peer Approach, Proc. 8th International Symposium on Integrated Network Management, pp. 425–437, March 2003

Conn. P. (1995) Time Affordances, Proc. CHI-95, ACM Press, www.acm.org/sigchi/chi95/proceedings/papers/apc_bdy.htm

Coulson, G. (2000) What is Reflective Middleware? Introduction to the reflective middleware subarea, Distributed Systems Online Journal, IEEE Computer Society, boole.computer.org/dsonline/middleware/RMArtlicle1.htm

Courtney, D. (2001) Instant messages: They're not just from humans anymore, ZDNet, 1st May 2001

Courtiat, J.-P., Dembinski, P., Holzmann, G. J., Logrippo, L. M. S., Rudin, H., and Zave, P. (1995) Formal methods after 15 years: Status and trends, Computer Networks and ISDN Systems, 28:1845–1855

Craigen, D., Gerhart, S., and Ralston, T. (1993a) An international survey of industrial applications of formal methods: Volume 1 – Purpose, approach analysis and conclusions, Technical Report NISTGCR 93/626, National Institute of Standards and Technology, Gaithersburg, USA

Craigen, D., Gerhart, S., and Ralston, T. (1993b) An international survey of industrial applications of formal methods: Volume 2 – Case studies, Technical Report NISTGCR 93/626, National Institute of Standards and Technology, Gaithersburg, USA

Crowcroft, A., Handley, A. and Wakeman I. (1998) Internetworking multimedia, UCL Press, London, UK

Darwin, C. (1859) On the Origin of Species by Means of Natural Selection, or the Presentation of Favoured Races in the Struggle for Life, Murray (London), First Edition

Dacker, B. (1995) The development and use of Erlang concurrent functional programming in industry, in Lovrek, I. and Sinkovic, V., editors, ConTel 95, pp. 1–15, Croatian Telecommunications Society, Zagreb, Croatia

Dahl, O. C. and Najm, E. (1994) Specification and detection of IN service interference using LOTOS, in Tenney, R. L., Amer, P. D., and Uyar, M. ά., editors, Proc. Formal Description Techniques VI, pp. 53–70. North-Holland

Davie, B. et al. (2002) An Expedited Forwarding PHB (Per-Hop Behavior), RFC 3246, Internet Society, New York, USA

Davies, I. and McBain, A. (1988) ISPBXs and terminals, Computer Communications, 11(4):203–207

Davis, R. and Smith, R.G. (1983) Negotiation as a metaphor for distributed problem solving, Artificial Intelligence, 20(1):63–109

DECT Forum (1997) DECT The Standard Explained, www.dect.ch/publicdocs/TechnicalDocument.pdf

Derrick, J. and Bowman, H., editors (2001) Formal Methods for Distributed Processing: An Object Oriented Approach, Cambridge University Press, UK

Dierks, T. and Allen, C. (1999) The TLS Protocol, RFC 2246, Internet Society, New York, USA

Diffie, W., Hellman, M. (1976) New Directions in Cryptography, IEEE Trans. Information Theory, 22:644–6546

Dini, P., Boutaba, R., and Logrippo, L. M. S., editors (1997) Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, IOS Press, Amsterdam, Netherlands

Disabatino, J. (2001) IM group works toward interoperability, Computer World, 8th February 2001

DMTF (1999) Common Information Model Specification (CIM), Version 2.2, DSP0004, Distributed Management Task Force

DNA (2003) Introduction to DNA computing. www.liacs.nl/home/pier/webPagesDNA

Dong, J. S. and Duke, R. (1993) An object-orientated approach to the formal specification of ODP trader, in de Meer, J., Mahr, B., and Spaniol, O., editors, Proc. International Conference on Open Distributed Processing, pp. 342–322. Gesellschaft für Mathematik und Datenverarbeitung, Berlin, Germany

Downes, L. and Mui, C. (1998) Unleashing the Killer App – Digital Strategies for Market Dominance, Harvard Business School Press

Dssouli, R., Somé, S., Guillery, J.-W., and Rico, N. (1997) Detection of feature interactions with REST, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 271–283, IOS Press, Amsterdam, Netherlands

du Bousquet, L., Ouabdesselam, F., Richier, J.-L., and Zuanon, N. (1998), Incremental feature validation: A synchronous point of view, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 262–275, IOS Press, Amsterdam, Netherlands

du Bousquet, L., Ouabdesselam, F., Richier, J.-L., and Zuanon, N. (2000) Feature interaction detection using A synchronous approach and testing, Computer Networks, 32(4):419–431

Dunlop, J., Girma, G. and Irvine, J. (1999) Digital Mobile Communications and the TETRA System, John Wiley and Sons

Dupuy, F., Nilsson, G. and Inoue, Y. (1995) The TINA Consortium: Toward Networking Telecommunications Information Services, IEEE Communications Magazine, 33(11):78–83

Eberhagen, S. (1998) Considerations for a Successful Introduction of Intelligent Networks from a Marketing Perspective, in Proc. 5th International Conference on Intelligent Networks, Bordeaux, France. ICIN, Adera, France

Elfe, C., Freuder, E., and Lesaint, D. (1998) Dynamic Constraint Satisfaction for Feature Interaction, BT Technology Journal, 16(3):38–45

Emmerich, W. (2000) Engineering Distributed Objects, John Wiley and Sons

Ericsson (2002) Ericsson Parlay simulator, see www.ericsson.com/mobilityworld/sub/open/technologies/parlay

Ernst and Young (1998) E-Mail beats Telephone As Top Means Of Workplace Communication according To Ernst and Young/Hrfocus Survey, markbushstudio.com/hk/ernieweb2/About/ey10.html

ETSI (1994) Core INAP CS 1, ETS 300-374, European Telecommunications Standards Institute, Sophia Antipolis, France

ETSI (1998) Extensions to IN CS 1 INAP for CAMEL – Protocol Specification, EN 301 152-1, European Telecommunications Standards Institute, Sophia Antipolis, France

ETSI (2003a) Application Programming Interface (API) Part 4: Call Control; Sub-part 5: Conferencing Call Control SCF, V1.1. 1202 915-4-5, European Telecommunications Standards Institute, Sophia Antipolis, France

ETSI (2003b) Application Programming Interface (API) Part 9: Generic Messaging SCF, V1.1. 202 915-9, European Telecommunications Standards Institute, Sophia Antipolis, France

ETSI (2003c) Application Programming Interface (API) Part 10: Connectivity Manager SCF, V1.1.1. 202 915-10, European Telecommunications Standards Institute, Sophia Antipolis, France

ETSI (2003d) Voice over IP (TIPHON) Overview, European Telecommunications Standards Institute, Sophia Antipolis, France www.etsi.org/frameset/home.htm?/technicalactiv/VOIP/voip.htm

EURESCOM (2001a) Agent Based Computing: A Booklet for Executives, www.eurescom.de/pub-deliverables/p800-series/P815/booklet/!AGENT_B.pdf

EURESCOM (2001b) P712 Project Public Web Page, www.eurescom.de/public/projects/P700-series/P712.htm

EURESCOM (2001c) P815 Project Public Web Page, www.eurescom.de/public/projects/P800-series/P815/default.asp

Faci, M., Logrippo, L. M. S., and Stepien, B. (1997) Structural models for specifying telephone systems, Computer Networks, 29(4):501–528

Fagan, M. E. (1979) Design and code inspections to reduce errors in program, IBM Systems Journal, 15(3):7/1–7/26

Farley, T. (2001) TelecomWriting.com's Telephone History Series, www.privateline.com/TelephoneHistory/History1.htm

Faynberg, I., Gabuzda, L.R., Jacobson, T. and Lu, H.L. (1997) The development of the Wireless Intelligent Network (WIN) and its relation to the international Intelligent Network Standard, Bell Labs Technical Journal, 3(2):57–80

Feller, W. (1968) An introduction to probability theory and its applications, Vol.1, Third Edition, John Wiley and Sons

Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Masinter, L., Leach, P. and Berners-Lee, T. (1999) Hypertext Transfer Protocol – HTTP/1.1, RFC 2616, Internet Society, New York, USA, June 1999

FindtheOne (2003) www.findtheone.com/FTO Mobile Dating.html

Ford, N. and Ford, J. (1993), Introducing Formal Methods, McGraw-Hill, New York, USA

Frappier, M., Mili, A., and Desharnais, J. (1997) Detecting feature interactions on relational specifications, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 123–137, IOS Press, Amsterdam, Netherlands

Fraser, M. D. and Vaishnavi, V. K. (1997) A formal specifications maturity model, Communications of the ACM, 40(12):95–103

Frei, C. and Faltings, B. (2000) Abstraction and constraint satisfaction techniques for planning bandwidth allocation, in INFOCOM (1), pp. 235–244

Frühwirth, T. and Brisset, P. (1997) Optimal planning of digital cordless telecommunication systems, in Proc. 3rd International Conference on The Practical Application Of Constraint Technology, pp. 165–176, Blackpool, The Practical Application Ltd

Fu, Q., Harnois, P., Logrippo, L. M. S., and Sincennes, J. (2000) Feature interaction detection: A LOTOS-based approach, Computer Networks, 32(4):433–448

Gaiti, D. and Martikainen, O., editors (2002) Intelligent Agents for Telecommunication Environments, Kogan Page Science

Gamma, E., Helm, R., Johnson, R. and Vlidisses, J. (1994) Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley

Gan, W., Soraghan, J., and Durranu, T. (1992) Application of the functional-link technique for channel equalization, Electronics Letters, 28(17):1164–1643

Garlan, D., Monroe, R. T., and Wile, D. (1997) ACME: An architecture description interchange language, in Proc. CASCON'97, pp. 169–183, Toronto, Canada

Genesereth, M. and Ketchpel, S. (1994) Software Agents, Communications of the ACM, 37(7):49–53

Ghosale, N. M., Green, J. A., Hernandez-Herrero, J., Huang, G. G. and Parikh, P. S. (2003) On implementing a High-Performance Open API with Java, Bell Labs Technical Journal, Special issue on Wireless Networks, 7(2)

Gibson, J. P., Hamilton, G., and Méry, D. (2000) A taxonomy for triggered interactions using fair object semantics, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 193–209, Amsterdam, Netherlands, IOS Press, Amsterdam, Netherlands

Goguen, J. A., Kirchner, C., Kirchner, H., Mégrelis, A., and Meseguer, J. (1988) An introduction to OBJ 3, in Jouannaud, J. P. and Kaplan, S., editors, Proc. Conditional Term Rewriting, in Lecture Notes in Computer Science 308, pp. 258–263, Springer-Verlag

Graham, G., Denning, P. (1972) Protection – principles and practice, in Proc. Spring Joint Computer Conference, AFIPS Press, Montvale, NJ, USA

Greenhouse, A. R. (2000a) SIP Extensions for Communicating with Networked Appliances, www.argreenhouse.com/iapp/draft-tsang-sip-appliances-do-00.txt

Greenhouse, A. R. (2000b) Framework Draft for Networked Appliances Using the Session Initiation Protocol, www.argreenhouse.com/iapp/draft-moyer-sip-appliances-framework-01.pdf

Greenhouse, A. R. (2001) AR Greenhouse, www.argreenhouse.com/iapp

Griffeth, N. D. and Velthuijsen, H. (1994) The negotiating agents approach to runtime feature interaction resolution, in Bouma, L. G. and Velthuijsen, H., editors, Proc. 2nd International Workshop on Feature Interactions in Telecommunications Systems, pp. 217–235, IOS Press, Amsterdam, Netherlands

Hall, A. (1990) Seven myths of formal methods, IEEE Software, 7(5):11–19

Hall, R. J. (1998) Foreground/background models, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 232–246, IOS Press, Amsterdam, Netherlands

Hall, R. J. (2000a) Feature combination and interaction detection via foreground/background models, Computer Networks, 32(4):449–469

Hall, R. J. (2000b) Feature interactions in electronic mail, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 67–82, IOS Press, Amsterdam, Netherlands

Handley, M. and Jacobson, V. (1998) SDP: Session Description Protocol, RFC 2327, Internet Society, New York, USA

Harel, D. and Gery, E. (1996) Executable object modeling with Statecharts, in Proc. 18th International Conference on Software Engineering, pp. 246–257, Institution of Electrical and Electronic Engineers Press, New York, USA

Harte, L., Levine, R. and Kikta, R. (2001) 3G Wireless Demystified, McGraw-Hill

Heinanen, J., Baker, F., Weiss, W. and Wroclawski, J. (1999) Assured Forwarding PHB Group, RFC 2597, Internet Society, New York, USA

Hill, I. D. (1982) Wouldn't it be nice if we could write computer programs in ordinary English – or would it? Computer Bulletin, pp. 306–312

Heinanen, J., Baker, F., Weiss, W. and Wroclawski, J. (1999) Assured Forwarding PHB Group, RFC 2597, Internet Society, New York, USA

Hetz, J., Krogh, A. and Palmer, R. G. Introduction to The Theory of Neural Computation, Addison Wesley

Hoare, C. A. R. (1985) Communicating Sequential Processes, Prentice-Hall

Holland, J. (1975) Adaptation in natural artificial systems, University of Michigan Press, Ann Arbor

Holma, H. and Toskala, A. (2002) WCDMA for UMTS, John Wiley and Sons, Second Edition

Holzman, G. J. and Pehrson, B. (1995) The Early History of Data Networks, IEEE Press, Los Alamitos, California, USA

Howes, T. and Smith, M. (1997) LDAP: Programming Directory-Enabled Applications With Lightweight Directory Access Protocol, Macmillan Technical Publishing

Hussain, A., Soraghan, J., and Durrani, T. (1997) A new Adaptive Functional-Link Neural Network Based DFE for Overcoming Co-channel Interference, IEEE Transactions on Communications, 45(11):1358–1362. ISSN: 0090-6778

IEEE (2003) 802.16 Working Group on Broadband Wireless Access Standards, grouper.ieee.org/groups/802/16

IETF (1996) RTP: A transport protocol for real-time application, RFC 1889, Internet Society, New York, USA

IETF (1998) Real Time Streaming Protocol (RTSP), RFC 2326, Internet Society, New York, USA

IETF (1999a) Session Initiation Protocol, RFC 2543, Internet Society, New York, USA (obsoleted by RFC 3261 in 2002)

IETF (1999b) Media Gateway Control Protocol, RFC 2705, Internet Society, New York, USA (obsoleted by RFC 3435 in 2003)

IETF (2000a) Media gateway control protocol architecture and requirements, RFC 2805, Internet Society, New York, USA

IETF (2000b) Megaco protocol version 1.0, RFC 3015, Internet Society, New York, USA

IETF (2000c) Stream Control Transmission Protocol, RFC 2960, Internet Society, New York, USA

IETF (2000d) Applying Contract net Protocol to Mobile Handover State Transfer, , www.ietf.org/internet-drafts/draft-neumiller-seamoby-cnpmobility-00.txt

IETF (2001a) ISDN Q.921-User Adaptation Layer, RFC 3057, Internet Society, New York, USA

IETF (2001b) MIME Media Types for ISUP & QSIG Objects, RFC 3204, Internet Society, New York, USA

IETF (2001c) Control of Service Context using SIP, RFC 3087, Internet Society, New York, USA

IETF (2001d) Pico SIP, www.ietf.org/internet-drafts/draft-odoherty-pico-sip-00.txt

IETF (2002a) Version 2 of the Protocol Operations for the Simple Network Management Protocol, RFC 3416, Internet Society, New York, USA

IETF (2002b) SS7 MTP3-User Adaptation Layer, RFC 3332, Internet Society, New York, USA

IETF (2002c) SIP-T Context & Architectures, RFC 3372, Internet Society, New York, USA

IETF (2002d) SIP: Session Initiation Protocol, RFC 3261, Internet Society, New York, USA

IETF (2002d) Version 2 of the Protocol Operations for the Simple Network Management Protocol, RFC 3416, Internet Society, New York, USA

IETF (2002e) SS7 MTP3-User Adaptation Layer, RFC 3332, Internet Society, New York, USA

IETF (2002f) SIP-T Context & Architectures, RFC 3372, Internet Society, New York, USA

IETF (2002g) The SIP Negotiate Method, www.ietf.org/internet-drafts/draft-spbs-sip-negotiate-01.txt

Indulska, J., Bearman, M., and Raymond, K. (1993) A type management system for an ODP trader, in de Meer, J., Mahr, B., and Spaniol, O., editors, Proc. International Conference on Open Distributed Processing, pp. 141–151. Gesellschaft für Mathematik und Datenverarbeitung, Berlin, Germany

International Messaging Consortium (2001)Unified Messaging Tutorial, www.iec.org/tutorials/unified_mess

International Softswitch Consortium (2002a) Softswitch Frequently Asked Questions, www.softswitch.org/educational/tac_faq.asp - tac1

International Softswitch Consortium (2002b) Softswitch Reference Architecture, www.softswitch.org/attachments/Reference_Architecture_5-02.pdf

ISO/IEC (1986a), Information Processing Systems – Open Systems Interconnection – Connection-Oriented Transport Protocol Specification, ISO/IEC 8073, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1986b), Information Processing Systems – Open Systems Interconnection – Transport Service Definition, ISO/IEC 8072, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1989), Information Processing Systems – Open Systems Interconnection – LOTOS – A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, ISO/IEC 8807, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1990a), Information Processing Systems – Open Systems Interconnection – Formal Description in LOTOS of the Connection-Oriented Session Service, ISO/IEC TR 9571, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1990b), Information Processing Systems – Open Systems Interconnection – Formal Description in LOTOS of the Connection-Oriented Transport Service, ISO/IEC TR 10023, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1990c), Information Processing Systems – Open Systems Interconnection – Guidelines for the Application of ESTELLE, LOTOS and SDL, ISO/IEC TR 10167, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1992) Information technology – coding of moving pictures and associated audio for digital storage media at up to about 1.5Mbit/s, ISO/IEC 11172, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1994a) Information technology – digital compression and coding of continuous-tone still images, ISO/IEC 10918, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1994b) Information technology – generic coding of moving pictures and associated audio information, ISO/IEC 13818, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1994c), Information Processing Systems – Open Systems Interconnection – Basic Reference Model, ISO/IEC 7498, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1995), Information Processing Systems – Open Distributed Processing – Basic Reference Model, ISO/IEC 10746, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1996a), Information Processing Systems – Open Distributed Processing – ODP Trading Function, ISO/IEC 13235, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1996b) Open Distributed Processing – Basic Reference Model – Part 4: Architectural Semantics, ISO/IEC 10746-4, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1997a) Information technology – coding of multimedia and hypermedia information, ISO/IEC 13522, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1997b), Information Technology – Open Systems Interconnection – ESTELLE: A Formal Description Technique based on an Extended State Transition Model, ISO/IEC 9074, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (1999) Information Technology – Open Distributed Processing – Interface Definition Language, ISO/IEC 14750, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (2000a) Information technology – JPEG 2000 image coding system – Part 1: Core coding system, ISO/IEC 15444-1, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (2000b) High-Level Petri Net Standard, ISO/IEC 15909, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (2001a) Information technology – coding of audio-visual objects, ISO/IEC 14496, International Organization for Standardization, Geneva, Switzerland

ISO/IEC (2001b), Information Processing Systems – Open Systems Interconnection – Enhanced LOTOS – A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, ISO/IEC 15437, International Organization for Standardization, Geneva, Switzerland

ISO/ITU-T (1995a) Open Distributed Processing - Reference Model - Part 1: Overview, ISO/IEC 10746-1/ITU X.901, International Organization for Standardization, Geneva, Switzerland

ISO/ITU-T (1995b) Open Distributed Processing – Reference Model – Part 2: Foundations, ISO/IEC 10746-2/ITU X.902, International Organization for Standardization, Geneva, Switzerland

ISO/ITU-T (1995c) Open Distributed Processing – Reference Model – Part 3: Architecture, ISO/IEC 10746-3/ITU X.903, International Organization for Standardization, Geneva, Switzerland

ISO/ITU-T (1995d) Open Distributed Processing – Reference Model – Part 4: Architectural Semantic, ISO/IEC 10746-4/ITU X.904, International Organization for Standardization, Geneva, Switzerland

ISO/ITU-T (1997) Open Distributed Processing – Trading Function: Specification, ITU-T X.950, International Telecommunications Union, Geneva, Switzerland

ITU (1980) Signalling System Number 7 – Telephone User Part, ITU-T Q.721–Q.724, International Telecommunications Union, Geneva, Switzerland

ITU (1984a) ISDN User-Network Interface Layer 3 Specification for basic call control, ITU-T Q.931, International Telecommunications Union, Geneva, Switzerland, (subsequently revised in 1993, 1998)

ITU (1984b) The International Public Telecommunication Numbering Plan, ITU-T E.164, International Telecommunications Union, Geneva, Switzerland (subsequently revised in 1988, 1991, 1997)

ITU (1988) Signalling System Number 7 – ISDN User Part, ITU-T Q.761–Q.765, International Telecommunications Union, Geneva, Switzerland (subsequently revised in 1992, 1996, 2000)

ITU (1990) 40-, 32-, 24-, and 16kbit/s Adaptive Differential Pulse Code Modulation (ADPCM), ITU-T G.726, International Telecommunications Union, Geneva, Switzerland

ITU (1991) Principles for a Telecommunications Management Network Working Party IV, Report 28, ITU-T M.3010, International Telecommunications Union, Geneva, Switzerland

ITU (1992a) Digital compression and coding of continuous-tone still images – Requirements and guidelines, ITU-T T.81, International Telecommunications Union, Geneva, Switzerland

ITU (1992b) Coding of speech at 16kbit/s using Low-delay Code Excited Linear Prediction (LD-CELP), ITU-T G.728, International Telecommunications Union, Geneva, Switzerland

ITU (1992c) Guidelines for the Application of ESTELLE, LOTOS and SDL, International Telecommunications Union, Geneva, Switzerland

ITU (1993a) Video Codec for Audiovisual Services at p ? 64kbits, ITU-T H.261, International Telecommunications Union, Geneva, Switzerland

ITU (1993b) Introduction to CCITT Signalling System Number 7, ITU-T Q.700, International Telecommunications Union, Geneva, Switzerland

ITU (1993c) Formats And Codes Of The ISDB User Part Of Signalling System Number. 7, ITU-T Q.763, International Telecommunications Union, Geneva, Switzerland

ITU (1993d) Digital Subscriber Signalling System No. 1 (DSS 1) – ISDN User-Network Interface Layer 3 Specification For Basic Call Control, ITU-T Q. 931, International Telecommunications Union, Geneva, Switzerland.

ITU (1993e) Introduction to Intelligent Network Capability Set 1, ITU-T Q.1211, International Telecommunications Union, Geneva, Switzerland

ITU (1993f) The Directory: Overview of Concepts, Models and Service, ITU-T X.500, International Telecommunications Union, Geneva, Switzerland

ITU (1993g) Intelligent Network – Global Functional Plane Architecture, ITU-T Q.1203, International Telecommunications Union, Geneva, Switzerland

ITU (1993h) Intelligent Network – Q.120x Series Intelligent Network Recommendation Structure, ITU-T Q.1200 Series, International Telecommunications Union, Geneva, Switzerland

ITU (1993i) Intelligent Networks Capability Set 1, ITU-T Q.1210–Q.1218, International Telecommunications Union, Geneva, Switzerland (subsequently revised in 1995)

ITU (1993j) General Recommendations on Telephone Switching and Signaling: Intelligent Network Physical Plane Architecture, ITU-T Q.1205, International Telecommunications Union, Geneva, Switzerland

ITU (1995a) ITU-T Q.1210 Series, International Telecommunications Union, Geneva, Switzerland

ITU (1995b) Distributed Functional Plane for Intelligent Network CS 1, ITU-T Q.1214, International Telecommunications Union, Geneva, Switzerland

ITU (1995c) Global Functional Plane for Intelligent Network CS 1, ITU-T Q.1213, International Telecommunications Union, Geneva, Switzerland

ITU (1995d) Physical Plane for Intelligent Network CS 1, ITU-T Q.1219, International Telecommunications Union, Geneva, Switzerland

ITU (1995e) Interface Recommendation for Intelligent Network CS 1, ITU-T Q. 1218, International Telecommunications Union, Geneva, Switzerland

ITU (1996a) Coding of speech at 8kbit/s using Conjugate Structure Algebraic-Code-Excited Linear-Prediction (CS-ACELP), ITU-T G.729, International Telecommunications Union, Geneva, Switzerland

ITU (1996b) Packet-based Multimedia Communication System, ITU-T H.323, International Telecommunications Union, Geneva, Switzerland

ITU (1997a) Vocabulary of terms for broadband aspects of ISDN, ITU-T I.113, International Telecommunications Union, Geneva, Switzerland

ITU (1997b) ITU-T Q.1220 Series, International Telecommunications Union, Geneva, Switzerland

ITU (1998a) Generic functional protocol for the support of supplementary services in H.323, ITU-T H.450.1, International Telecommunications Union, Geneva, Switzerland

ITU (1998b) Video coding for low bit rate communication, ITU-H.263,International Telecommunications Union, Geneva, Switzerland

ITU (1996c) Open Distributed Processing – Basic Reference Model, ITU X.900 Series, International Telecommunications Union, Geneva, Switzerland

ITU (1996d) Open Distributed Processing – Basic Reference Model – Part 4: Architectural Semantics, ITU X.904, International Telecommunications Union, Geneva, Switzerland

ITU (1996d) Packet Based Multimedia Communications Systems, ITU-T H.323, International Telecommunications Union, Geneva, Switzerland, (subsequently revised in 1998, 1999, 2000)

ITU (1996e) Call Signaling Protocols and Media Stream Packetization for Packet Based Multimedia Communications Systems, ITU-T H.225, International Telecommunications Union, Geneva, Switzerland, (subsequently revised in 1998, 1999, 2000)

ITU (1996f) Control Protocol for Multimedia Communication, ITU-T H.245, International Telecommunications Union, Geneva, Switzerland, (subsequently revised in 1998, 1999, 2000)

ITU (1997) Intelligent Networks Capability Set 2, ITU-T Q.1220–Q.1228, International Telecommunications Union, Geneva, Switzerland

ITU (1999) Infrastructure of audiovisual services – Systems and terminal equipment for audiovisual services, ITU-T H.320, International Telecommunications Union, Geneva, Switzerland

ITU (2000a) Framework recommendation for multimedia services, ITU-T F.700, International Telecommunications Union, Geneva, Switzerland

ITU (2000b) Infrastructure of audiovisual services – Systems and terminal equipment for audiovisual services, ITU-T H.323, International Telecommunications Union, Geneva, Switzerland

ITU (2000c) One-way transmission delay, ITU-T G.114, International Telecommunications Union, Geneva, Switzerland

ITU (2000d) Guideline Recommendation for identifying multimedia service requirements, ITU-T F.701, International Telecommunications Union, Geneva, Switzerland

ITU (2000e) Gateway control protocol, ITU-T H.248, International Telecommunications Union, Geneva, Switzerland

ITU (2000f) Message Sequence Chart (MSC), ITU-T Z.120, International Telecommunications Union, Geneva, Switzerland

ITU (2000g) SDL Combined with UML, ITU-T Z.109, International Telecommunications Union, Geneva, Switzerland

ITU (2000h) Specification and Description Language, ITU-T Z.100, International Telecommunications Union, Geneva, Switzerland

ITU (2000j) Bearer Independent Call Control – Capability Set 1, ITU-T Q.1902.1–Q1902.6, International Telecommunications Union, Geneva, Switzerland

ITU (2000k) Bearer Independent Call Control – Capability Set 2, ITU-T Q.1902.1–Q1902.6, International Telecommunications Union, Geneva, Switzerland

ITU (2001) Transmission Systems and Media, Digital Systems and Networks, Quality of Service and Performance, End-user Multimedia QoS, ITU-T G.1010, International Telecommunications Union, Geneva, Switzerland.

ITU (2002) Methodology for the subjective assessment of the quality of television pictures, ITU-R BT.500, International Telecommunications Union, Geneva, Switzerland

IWAN (2000) Proc. 2nd Int. Working Conf. on Active Network, Tokyo, Japan

Jackson, M. and Zave, P. (1998) Distributed feature composition: A virtual architecture for telecommunications services, IEEE Transactions on Software Engineering, 24(10):831–847

Jain, R., Anjum, F. and Bakker, J.-L. (2003) Call Control: Programming Interfaces for Next Generation Networks, John Wiley and Sons

JAIN (2001) JAIN TCAP, www.jcp.org/en/jsr/detail?id=11

JAIN (2002a), JAIN JCC, www.jcp.org/en/jsr/detail?id=21

JAIN (2002b), JAIN JCC RI/TCK, www.argreenhouse.com/ngnapi

JAIN (2002c), JAIN SIP, www.jcp.org/en/jsr/detail?id=32

JAIN (2003a) JAIN JCAT, www.jcp.org/en/jsr/detail?id=122

JAIN (2003b) Certified Products, 2003, java.sun.com/products/jain

certified_products.html

JAIN (2003c) JAIN SCE, www.jcp.org/en/jsr/detail?id=100

JAIN (2003d) JAIN SLEE, www.jcp.org/en/jsr/detail?id=22

Jainschigg, J. (2001) Agents of Change, Computer Telephony, April 2001

Jakobssen, M. and Yung, M. (1996) Revocable and Versatile Electronic Money (Extended Extract), www.bell-labs.com/~markusj/revoke.ps

Jampel, M. (1996) Over-COnstrained Systems, LNCS 1106. Springer-Verlag

Jones, C. B. (1990) Systematic Software Development using VDM, Prentice-Hall, Second Edition

Jonsson, B., Margaria, T., Naeser, G., Nystrφm, J., and Steffen, B. (2000), Incremental requirements specification for evolving systems, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 145–162, IOS Press, Amsterdam, Netherlands

JTAPI (2003) Generic JTAPI and JCC, 2003, gjtapi.sourceforge.net

Kaaranen, H., Ahtiainen, A., Laitinen, L., Naghian, S. and Niemi, V. (2001) UMTS Networks: Architecture, Mobility and Services, John Wiley and Sons

Kamoun, J. and Logrippo, L. M. S. (1998) Goal-oriented feature interaction detection in the Intelligent Network model, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 172–186, IOS Press, Amsterdam, Netherlands

Kantschik, W., Dittrich, P., Brameier, M., and Banzhaf, W. (1999) Meta-evolution in graph GP, in Poli, R., Nordin, P., Langdon, W., and Fogarty, T., editors, Proc. Euro Genetic Programming, LNCS 1598, pp. 15–28, Gφteborg, Sweden. Springer-Verlag

Karlsson, K. and Vetterli, M. (1989) Packet video and its integration into network architecture. IEEE JSAC, 7(5):739–751

Keck, D. O. (1998) A tool for the identification of interaction-prone call scenarios, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 276–290, IOS Press, Amsterdam, Netherlands

Keck, D. O. and Kuehn, P. J. (1998) The feature and service interaction problem in telecommunications systems: A survey, IEEE Transactions on Software Engineering, pp. 779–796

Kerckhoffs, A. (1883a) La cryptographie militaire, in Journal des Sciences Militaries, Series IX, pp. 5–38, Jan. 1883

Kerckhoffs, A. (1883b) La cryptographie militaire, in Journal des Sciences Militaries, Series IX, pp. 161–191, Feb. 1883

Kilkki, K. (1999) Differentiated Services for the Internet, Macmillan Technical Publishing

Kimbler, K. and Bouma, W., editors (1998) Proc. 5th Feature Interactions in Telecommunications and Software Systems, IOS Press, Amsterdam, Netherlands

Kitawaki, N. and Itoh, K. (1991) Pure delay effects on speech quality telecommunications, IEEE JSAC, 9(4):586–593

Klein, C., Prehofer, C., and Rumpe, B. (1997) Feature specification and refinement with state transition diagrams, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 284–297, IOS Press, Amsterdam, Netherlands

Kitahara, Y. (1982) Information Network System, The Telecommunications Association, Japan

Klensin, J. et al. (2001) Simple Mail Transfer Protocol, RFC 2821, Internet Society, New York, USA

Kolberg, M., Sinnott, R.O. and Magill, E. H. (1999a) Engineering of interworking TINA-based telecommunications services, Proc. IEEE Telecommunications Information Networking Architecture Conference, IEEE Press

Kolberg, M., Sinnott, R. O., and Magill, E. H. (1999) Experiences modelling and using formal object-oriented telecommunication service frameworks, International Journal of Computer and Telecommunications Networking, 31(23):2577–2592

Kon, F., Romαn, M., Liu, P., Mao, J., Yamane, T., Magalhγes, L.C. and Campbell, R.H. (2000) Monitoring, Security and Dynamic Configuration with the dynamicTAO Reflective ORB, Proc. IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, IBM Palisades, New York

Koza, J. (1992) Genetic programming: On the programming of computers by means of natural selection, MIT Press, Cambridge, Massachusetts, USA

Kristiansen, L. (1997) Service Architecture, TINA Consortium, Version 5.0

Kwoc, T.C. (1995) A vision for residential broadband services: ATM-to-the-home, IEEE Network,pp. 14–28, September 1995

Kwok, T.C. (1997) Residential broadband Internet services and application requirements, IEEE Communications Magazine, 35(6):76–83

Lagerberg, K., Plas, D.-J. and Wegdam, M. (2002) Web Services in 3G Service Platforms, Bell Labs Technical Journal, Special issue on Wireless Networks, 7(2):167–183

Lamport, L. (1993) The temporal logic of actions, Technical Report 79, Systems Research Center, Digital Equipment Corporation

Lampson, B. (1971) Protection, Proc. 5th Princeton Symposium on Information Sciences and Systems, reprinted in ACM Operating Systems Review, 8(1)

Le Charnier, B. and Flener, P. (1998) Specifications are necessarily informal, or: Some more myths of formal methods. Systems Software, 40:275–296

Le Faucheur, F. I. (2002) Multi-Protocol Label Switching (MPLS) Support of Differentiated Services, RFC 3270, Internet Society, New York, USA

Lin, F. J. and Lin, Y.-J. (1994) A building block approach to detecting and resolving feature interactions, in Bouma, L. G. and Velthuijsen, H., editors, Proc. 2nd International Workshop on Feature Interactions in Telecommunications Systems, pp. 86–119. IOS Press, Amsterdam, Netherlands

Logrippo, L. M. S. (2000) Immaturity and potential of formal methods: A personal view, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 9–13, IOS Press, Amsterdam, Netherlands

Lucent (2003) Lucent Parlay simulator, www.lucent.com/developer/milife

Lucidi, F., Tosti, A., and Trigila, S. (1996) Object oriented modelling of advanced IN services with SDL-92, in Brezocnik, Z. and Kapus, T., editors, Applied Formal Methods in System Design, pp. 17–26, Maribor, Slovenia. Action COST 247

Luck, I., Vogel, S. and Krumm, H. (2002) Model-Based Configuration of VPNs, Proc. 8th IEEE/IFIP Network Operations and Management Symposium, pp. 589–602, Florence, Italy, April 2002

Luckham, D. C., Augstin, L. M., Kenney, J. J., Veera, J., Bryan, D., and Mann, W. (1995) Specification and analysis of system architectures using Rapide, IEEE Transactions on Software Engineering, 21(4)

Lukschandl, E., Borgvall, H., Nohle, L., Nordahl, M., and Nordin, P. (1999) Evolving routing algorithms with the JBGP-System, in Poli, R., Voigt, H.-M., Cagnoni, S., Corne, D., Smith, G., and Fogarty, T., editors, Proc. Evolutionary image analysis, signal processing and telecommunications, LNCS 1596, pp. 193–202, Gφteborg, Sweden. Springer-Verlag

Lupu, E. and Sloman, M. (1997) A policy based role model, in Milosevic, Z., editor, Proc. 1st International Enterprise Distributed Object Computing Workshop, pp. 36–47, Institution of Electrical and Electronic Engineers Press, New York, USA

Lysyanskaya, A. and Ramzan, Z. (1998) Group Blind Digital Signatures: A Scalable Solution to Electronic Cash, MIT, Cambridge, MA, USA

Marples, D. (2002) PhD Thesis, University of Strathclyde, UK.

Marples, D. and Kriens, P. (2001) The Open Services Gateway Initiative: An Introductory Overview, IEEE Communication Magazine, 39(12)

Marples, D. and Magill, E.H. (1998) The use of rollback to prevent incorrect operation of features in intelligent network based systems, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 115–134, IOS Press, Amsterdam, Netherlands

Martin, P. (2000) Genetic programming for service creation in intelligent networks, in Poli, R., Banzhaf, W., Langdon, W., Miller, J., Nordin, P., and Fogarty, T., editors, Proc. Euro Genetic Programming, LNCS 1802, pp. 106–120, Edinburgh, Springer-Verlag

McBain, A. (2001) Our Vision of an IP Future, ITU Telecom Africa 2001

McCulloch, W. and Pitts, W. (1943) A logical calculus of ideas immanent in nervous activity, Bulletin of Mathematical Biophysics, 5:115–133

McLean, J. (1994) Security Models, in Marciniak, J. editor, Encyclopedia of Software Engineering, John Wiley and Sons

Medvidovic, N. and Taylor, R. N. (1997) A framework for classifying and comparing architecture description languages, in Proc. 6th European Software Engineering Conference/Proc. 5th Symposium on the Foundations of Software Engineering, pp. 60–76, Zurich, Switzerland

Menezes, A. J., van Oorschot, P. C. and Vanstone, S. A. (1997) Handbook of Applied Cryptography, CRC Press, New York, USA

Microsoft (2000) TAPI (Telephony Application Programming Interface), www.microsoft.com/communications/tapilearn30.htm

Milner, A. J. R. G. (1989) Communication and Concurrency, Addison-Wesley, Reading, Massachusetts, USA

Minton, S. (1996) Automatically configuring constraint satisfaction programs: A case study, Constraints, 1(1/2):7–43

Mitchell, R., editor (1987) Formal Methods: Present and Future in Industrial Software Technology, Peter Peregrinus

Mittal, S. and Falkenhainer, B. (1990) Dynamic constraint satisfaction problems, in Proc. AAAI90, pp. 25–32, Boston, Massachusetts, USA

Moerdijk, A.-J. and Klostermann, L. (2003) Opening the networks with Parlay/OSA: Standards and aspects behind the APIs, IEEE Network Magazine

Moreira, A. M. D. and Clark, R. G. (1996) Adding rigour to object-oriented analysis, Software Engineering Journal

Muller, C., Magill, E. H., and Smith, D. G. (1992) The application of constraint satisfaction to feature interactions, in Velthuijsen, H., Griffith, N., and Lin, Y.-J., editors, Proc. 1st International Workshop on Feature Interactions in Telecommunications Software Systems, pp. 164–165, Florida, USA

Nakamura, M., Kikuno, T., Hassine, J., and Logrippo, L. M. S. (2000) Feature interaction filtering with Use Case Maps at requirements stage, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 163–178, IOS Press, Amsterdam, Netherlands

Naur, P. (1982) Formalization in program development, Technical Report BIT 22 (1982) 437 453, Datalogisk Institut, Denmark

Nichols, K., Blake, S., Baker, F. and Black, D. (1998) Definition of the Differentiated Services Field (DS Field) in the IPv4 and IPv6 Headers, RFC 2474, Internet Society, New York, USA

Nielson, J. (1994) Usability Engineering, Chapter 5 of Usability Heuristics, Morgan Kaufmann.

Nielson J. (1997) The need for speed, www.useit.com/alertbox/9703a.html

NIST (2003) National Institute of Standards and Technology, Mobile Agent Security Project, www.csrc.nist.gov/mobileagents

Nordin, P. (1997) Evolutionary program induction of binary machine code and its applications, PhD thesis, Universitδt Dortmund am Fachbereich Informatik

Oftel (2003) Oftel report, Consumers' use of fixed and mobile telephony, Q13 May 2003 - 31 July 2003

Ohrtman, F. and Roeder, K. (2003) WiFi Handbook: Building 802.11b Wireless Networks, McGraw-Hill

OMG (1997) Control and Management of A/V Streams Specification, ftp://ftp.omg.org/pub/docs/formal/00-01-03.pdf

OMG (1998a) Notification Service Specification, ftp://ftp.omg.org/pub/docs/dtc/00-12-02.pdf.

OMG (1998b) CORBA/TCAP Interworking Specification, ftp://ftp.omg.org/pub/docs/telecom/98-10-03.pdf

OMG (1998c) CORBA/TMN Interworking Specification, ftp://ftp.omg.org/pub/docs/telecom/98-10-10.pdf

OMG (1999) CORBA Telecom Log Service Specification, ftp://ftp.omg.org/pub/docs/formal/00-01-04.pdf

OMG (2000a) Management of Event Domain Specification, ftp://ftp.omg.org/pub/docs/formal/01-06-03.pdf

OMG (2000b) CORBA/FTAM-FTP Interworking Specification, ftp://ftp.omg.org/pub/docs/telecom/00-02-04.pdf

OMG (2000c) Wireless Access and Terminal Mobility Specification, ftp://ftp.omg.org/pub/docs/dtc/01-05-01.pdf

OMG (2000d) Telecom Service Access and Subscription Specification, ftp://ftp.omg.org/pub/docs/dtc/00-10-03.pdf

OMG (2001a) Telecommunications Domain Task Force, www.omg.org/telecom/telecom_info.htm

OMG (2001b) The OMG’s Model Driven Architecture, www.omg.org/mda

OMG (2002) CommonObject Request Broker Architecture: CoreSpecification, CORBA/IIO Specification

Φnder, E. (2001) Beyond Service Creation Stalemat, Communications Solutions, August 2001

OpenAPI (2003) Open API Solution, www.openapisolutions.com/home.htm

OPENARCH (2001) Proc. IEEE Conf. on Open Architectures and Network Programming, Anchorage, Alaska

OPENSIG (2001) OPENSIG 2001 Workshop, www-dse.doc.ic.ac.uk/Events/opensig-2001

Open Mobile Alliance (2001) WAP-205 Multimedia Messaging Service architecture overview, The Open Mobile Alliance, Piscataway, NJ, USA

Orfali R. and Harkey, D. (1998) Client/Server Programming with Java and CORBA, Second Edition, John Wiley and Sons

OSGi (2002) OSGi Service Platform, (Release 2), IOS Press, Amsterdam, Netherlands

PacketCable (1999) PacketCable Network Based Call Signalling Protocol, PKT-SP-EC-MGCP-I01-990312, www.packetcable.com, (subsequently updated in 1999, 2001, 2003)

PAM Forum (2001) The PAM Forum, www.pamforum.org, also www.parlay.org/about/pam/index.asp

Parkin, G. I. and Austin, S. (1994) Overview: Survey of formal methods in industry, in Tenney, R. L., Amer, P. D., and Uyar, M. Ü., editors, Proc. Formal Description Techniques VI, pp. 189–204. North-Holland

Parlay Group (2001) Parlay Overview. www.parlay.org

Parlay Group (2002) Parlay X White Paper, www.parlay.org/specs/library

Parlay Group (2003) Parlay X Specification, www.parlay.org/specs

PayCircle (2003) www.paycircle.org

Perkins, C. (1996) IP Mobility Support, RFC 2002, Internet Society, New York, USA

Petri, C. A. (1962) Kommunikation mit Automaten, PhD thesis, Institut für Instrumentelle Mathematik, Bonn, Germany

Plath, M. C. and Ryan, M. D. (1998) Plug-and-play features, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 150–164, IOS Press, Amsterdam, Netherlands

Postel, J. (1980) User Datagram Protocol, RFC 768, Internet Society, New York, USA

PROFITS (2003) www.tmforum.org/browse.asp?catID=1375&sNode=137&Exp=Y&linkID=27249

Qualcomm BREW (2003) www.qualcomm.com/brew

Ramzan, Z. (1999) Group Blind Digital Signatures: Theory and Applications, Masters Thesis, MIT, Boston, MA, USA.

RCR News 2003 rcrnews.com/cgi-bin/news.pl?newsId=14052

Riese, M. (1993) Diagnosis of extended finite automata as a dynamic constraint satisfaction problem, Proc. International Workshop on Principles of Diagnosis (DX'93), pp. 60–73. Aberystwyth

Rivest, R., Shamir, A. and Adleman, L. (1978) A Method for Obtaining Digital Signatures and Public-Key Cryptosystems, Communications of the ACM, 21(2):120–126

RM (2000) Archive of the Workshop on Reflective Middleware, www.comp.lancs.ac.uk/computing/RM2000

RMI (2002) Java Remote Method Invocation (RMI), java.sun.com/products/jdk/rmi

Robrock II, R.B. (1991) The Intelligent Network – Changing the Face of Telecommunications, Proc. of the IEEE, 79(1):7–20

Rojas, P. (1996) Neural Networks – A Systematic Introduction, Springer-Verlag

Rosen, K. H. (1995) Discrete Mathematics and Its Applications, McGraw-Hill, New York, USA

Rosen, E., Viswanathan, A. and Callon, R. (2001) Multiprotocol Label Switching Architecture, RFC 3031, Internet Society, New York, USA

Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnson, A., Peterson, J., Sparks, R., Handley, M., and Schooler, E., editors (2002) SIP: Session Initiation Protocol, RFC 3261, Internet Society, New York, USA

Rosenblatt, F. (1957) The perceptron: A perceiving and recognizing automaton (project PARA), Technical Report 85-460-1, Cornell Aeronautical Laboratory, USA

Rossi, F. and Sperduti, A. (1998) Learning solution preferences in constraint problems, J. Experimental and Theoretical Artificial. Intelligence, 10(1):103–116

RSA Laboratories (1993) PKCS #1: RSA Encryption Standard.

Ruggles, C., editor (1990) Formal Methods in Standards, Springer-Verlag

Rumelhart, D., Hinton, G., and Williams, R. (1986) Learning internal representation by error propagation, chapter 8 of Rumelhart, D., editor, Parallel Distributed Processing

Sabin, D., Sabin, M., Russell, R., and Freuder, E. (1995) A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks, in Montanari, U. and Rossi, F., editors, Proc. 1st International Conference on Constraint Programming, Springer-Verlag

SalCentral (2001) www.salcentral.com

SAML (2003) www.oasis-open.org/committees/tc_home.php?wg_abbrev=

security

Santos, E. (1993) On modeling time and uncertainty for diagnosis through linear constraint satisfaction, in Proc. International Congress on Computer Systems and Applied Mathematics Workshop on Constraint Processing, pp. 93–106

Scheiderman, B. (1984) Response time and display rate in human performance with computers, Computing Surveys, 16:265–285

Schneier, B. (1994) The Blowfish Encryption Algorithm, Dr. Dobb's Journal, 19(4)

Schoonderwoerd, R., Holland, O., Bruten, J., and Rothkrantz, L. (1997) Ant-base Load Balancing in Telecommunications Networks, Adaptive Behaviour, 5(2):169–207

Schessel, L. (1992) Administrable feature interaction concept, In Hugo Velthuijsen, Nancy Griffith, and Yow-Jian Lin, editors, Proc. 1st International Workshop on Feature Interactions in Telecommunications Software Systems, Florida, USA

Schulrinne, H. (1996) RTP: A Transport Protocol for Real-Time Applications, RFC 1889, Internet Society, New York, USA

Schulte, C. (1997) Oz Explorer: A visual constraint programming tool, in Naish, L., editor, Proc. 14th International Conference on Logic Programming, pp. 286–300, Leuven, Belgium. MIT Press, Cambridge, MA, USA

Seigel, J. (2001) Quick CORBA 3, John Wiley and Sons

Shami, S., Kirkwood, I., and Sinclair, M. (1997) Evolving simple fault-tolerant routing rules using genetic programming, Electronics Letters, 33(17):1440–1441

Shaw, M. and Garlan, D. (1996) Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall

Shen F. and Clemm, A. (2002) Profile-Based Subscriber Service Provisioning, Proc. 8th IEEE/IFIP Network Operations and Management Symposium, pp. 561–574, Florence, Italy, April 2002

Shenker, S., Partridge, C. and Guerin, R. (1997), Specification of Guaranteed Quality of Service, RFC 2212, Internet Society, New York, USA

SID (2002) TMF Shared Information Data Model, TMF GB922, www.tmforum.org

Simonis, H. (1997) Visual CHIP – a visual language for defining constraint programs, in Proc. CCL Workshop

Sinnott, R. O. (1999a) Specifying aspects of multimedia in LOTOS, in Verma, B., editor, Proc. Conference on Computational Intelligence and Multimedia Applications, New Delhi, India

Sinnott, R. O. (1999b) Specifying multimedia configurations in Z, in Verma, B., editor, Proc. Conference on Computational Intelligence and Multimedia Applications, New Delhi, India

Sinnott, R. O. and Kolberg, M. (1999a) Creating telecommunication services based on object-oriented frameworks and SDL, in Raynal, M., Kikuno, T., and Soley, R., editors, Proc. 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, St. Malo, France

Sinnott, R. O. and Kolberg, M. (1999b) Engineering telecommunication services with SDL, in Ciancarini, P., Fantechi, A., and Gorrieri, R., editors, Proc. Formal Methods for Open Object-Based Distributed Systems, Florence, Italy

Sinnott, R. O. and Turner, K. J. (1995) Applying formal methods to standard development: The Open Distributed Processing experience, Computer Standards and Interfaces, 17:615–630

Sinnott, R. O. and Turner, K. J. (1997) Applying the architectural semantics of ODP to develop a trader specification, Computer Networks, 29(4):457–471

Spivey, J. M. (1992) The Z Notation: A Reference Manual, Prentice-Hall, Second Edition

SMH (2003) www.smh.com.au/articles/2003/08/03/1059849278131.html

Smith, B. (2001) Yes, Mom, I'll Take Your Call, Wireless Week, April 2001

Smith, D., Frank, J., and Jonsson, A. (2000) Bridging the gap between planning and scheduling, Knowledge Engineering Review, 15(1)

Smith, G. L. and Jones, E. W. (1995) Design of multimedia services, BT Technology Journal, 13(4):21–31

Smith, J. T. (1995) AIN System Development: The Customer Centered Service Context Profile, Proc. Telecommunications Information Networking Architecture 95

Smith, R. (1980) The contract net protocol: High-level communication and control in a distributed problem solver, IEEE Trans. on Computers, 29(12):1104–1113

Stallings, W. (1995) Network and Internetwork Security: Principles and Practic, Prentice-Hall

Stallings, W. (2002) Wireless Communications and Networks, Prentice Hall

Stepien, B. and Logrippo, L. (1995) Representing and verifying intentions in telephony features using abstract data types, in Cheng, K. E. and Ohta, T., editors, Proc. 3rd International Workshop on Feature Interactions in Telecommunications, pp. 141–155, IOS Press, Amsterdam, Netherlands

Stevens, P. and Pooley, R. (2000) Using UML, Addison-Wesley, Reading, Massachusetts, USA

Stinson, D. R. (1995) Cryptography – Theory and Practic, CRC Press, New York, USA

Strasser, J. and Baker, F. (1999) Directory Enabled Networking, Macmillan Technical Publishing

Sun Microsystems (2003) JAIN (Java APIs for The Integrated Network), java.sun.com/products/jain

Sun MIDP (2003) java.sun.com/products/midp

Svensson, M. and Andersson, M. (1998) Analysis of feature interactions in mobile terminals, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 318–324, IOS Press, Amsterdam, Netherlands

Szyperski, C. (1998) Component Software: Beyond Object-Oriented Programming, Addison-Wesley

Tapscott, D. (1996) The Digital Economy: Promise and Peril in the Age of Networked Intelligence, McGraw-Hill

Telcordia (1995) Common Channel Signaling Network Interface Specification Supporting AIN, GR-2863, Telcordia Technologies Inc., Piscataway, NJ, USA

Telcordia (2001) GR-1298-CORE, Issue 7, Telcordia Technologies Inc., Piscataway, NJ, USA

Telcordia (2003a) ISCP SPACE System Service Creation Guide, Telcordia Technologies, Piscataway, NJ, USA

Telcordia (2003b) Intelligent Network, International Engineering Consortium Web ProForum Tutorials, www.iec.org/online/tutorials/in/index.html, 2003

Telcordia (2003c) www.argreenhouse.com/demos/#iapp

Telektronikk (2002) XML Web Services, Telenor, 98(4)

Tennenhouse, D., Smith, J., Sincoskie, W.D., Weatherall, D., Minden and G. (1997) Survey of Active Network Research, IEEE Communications Magazine, 35(1)

Terashima-Marin, H., Ross, P., and Valenzuela-Rendon, M. (1999) Evolution of constraint satisfaction strategies in examination timetabling, in Banzhaf, W., Daida, J., Eiben, A., Garzon, M., Honavar, V., Jakiela, M., and Smith, R., editors, Proc. Genetic and Evolutionary Computation Conference, Volume 1, pp. 635–642, Morgan Kaufmann

Thayer, R., Doraswamy, N. and Glenn, R. (1998) IP Security Document Roadma, RFC 2411, Internet Society, New York, USA

Thomas, M. H. (1997) Modelling user views of telecommunications services for feature interaction detection and resolution, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 168–182, IOS Press, Amsterdam, Netherlands

TINA Consortium (1997) Telecommunications Information Networking Architecture, TINA Business Model and Reference Points, Release 4.0, 1997

Tisal, J. (2001) The GSM Network, John Wiley and Sons, Second Edition

Tsang, E., editor (1993) The Constraint Satisfaction Problem, Academic Press

Tsang, S., Magill, E. H., and Kelly, B. (1997) The feature interaction problem in networked multimedia services – present and future, BT Technology Journal, 15(1):235–246

Tsang, S. and Magill, E. H. (1998a) Learning to Detect and Avoid Run-Time Feature Interactions in Intelligent Networks, IEEE Transactions on Software Engineering, 24(10):818–830, www.computer.org/tse/ts1998/extoc.htm

Tsang, S. and Magill, E. H. (1998b) The Network Operator’s Perspective: detecting and resolving Feature Interaction Problems, Computer Networks and ISDN Systems, 30(15):1421–1441

Tsang, S., Magill, E.H. and Kelly, B. (1996) An investigation of the feature interaction problem in networked multimedia services, Proc. 3rd Communication Network Symposium, pp. 58–61

Tsang, S., Magill, E.H. and Kelly, B. (1997) The feature interaction problem in networked multimedia services - present and future, BT Technology Journal, 15(1): 235–246

Turner, K. J., editor (1993) Using Formal Description Techniques – An Introduction to ESTELLE, LOTOS and SDL, John Wiley and Sons

Turner, K. J. (1997a) An architectural foundation for relating features, in Dini, P., Boutaba, R., and Logrippo, L. M. S., editors, Proc. 4th International Workshop on Feature Interactions in Telecommunication Networks, pp. 226–241, IOS Press, Amsterdam, Netherlands

Turner, K. J. (1997b) Relating architecture and specification, Computer Networks, 29(4):437–456

Turner, K. J. (1998) An architectural description of intelligent network features and their interactions, Computer Networks, 30(15):1389–1419

Turner, K. J. (2000a) Formalising the Chisel feature notation, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 241–256, IOS Press, Amsterdam, Netherlands

Turner, K. J. (2000b) Relating architecture and specification, in Kent, A., Williams, J., and Hall, C. M., editors, Encyclopaedia of Microcomputers, volume 25, pp. 337–374, Marcel Dekker, New York, USA

Turner, K. J. and van Sinderen, M. (1995) LOTOS specification style for OSI, in Bolognesi, T., van de Lagemaat, J., and Vissers, C. A., editors, The LOTOSPHERE Project, pp. 137–159, Kluwer Academic Publishers, London, UK

Tvede, L., Pircher, P. and Bodenkamp, J. (2001) Data Broadcasting: Merging Digital Broadcasting with the Internet, John Wiley and Sons

UDDI (2002) Universal Description, Discovery and Integration (UDDI), www.uddi.org

USFCC (2003) www.usfcc.com

Utas, G. S. F. (1995) An Architecture for the Evolving Network; Proc. ISS’95, Berlin, Germany

van der Linden, R. (1993) An Overview of ANSA. Document APM.1000.01. APM, Cambridge Limited, Poseidon House, Castle Park, Cambridge CB3 0RD, UK

van der Linden, R. (1994) Using an architecture to help beat feature interaction, in Bouma, L. G. and Velthuijsen, H., editors, Proc. 2nd International Workshop on Feature Interactions in Telecommunications Systems, pp. 24–35, IOS Press, Amsterdam, Netherlands

Vaughan, T. (1996) Multimedia: Making it work, McGraw Hill, Third Edition

Velthuijsen, H., Griffith, N., and Lin, Y.-J., editors (1992) Proc. 1st International Workshop on Feature Interactions in Telecommunications Software Systems, Florida, USA

Vissers, C. A. (1993) What makes industries believe in formal methods, in Danthine, A. A. S., Leduc, G., and Wolper, P., editors, Proc. Protocol Specification, Testing and Verification XIII, pp. 3–26. North-Holland

Vissers, C. A. and Logrippo, L. M. S. (1986) The importance of the concept of service in the design of data communications protocols, in Diaz, M., editor, Proc. Protocol Specification, Testing and Verification V, pp. 3–17. North-Holland

Vissers, C. A., Scollo, G., and van Sinderen, M. (1991) Architecture and specification style in formal descriptions of distributed systems, Theoretical Computer Science, 89:179–206

Vogel, A., Kerherve, B., Bochmann, G. and Gecsei, J. (1995) Distributed multimedia applications and quality of service: A survey. IEEE Multimedia, 2(2):10–18

W3C (2001) Web Services Description Language (WSDL) 1.1, W3C Note 15, www.w3.org/TR/2001/NOTE-wsdl-20010315

W3C (2003) XML Signature Working Group, W3C, www.w3.org/Signature

Wahl, M., Howes, T. and Kille, S. (1997) Lightweight Directory Access Protocol (v3), RFC 2251, Internet Society, New York, USA

Wahl, M., Coulbeck, A., Howes, T. and Kille S. (1997) Lightweight Directory Access Protocol (V3): Attribute Syntax Definitions, RFC 2252, Internet Society, New York, USA

Wang, N., Schmidt, D.C. and O’Ryan, C. (2001) Overview of the CORBA Component Model. Component-Based Software Engineering: Putting the Pieces Together, in Heineman, G. and Councill, B., editors, Addison-Wesley

Wearcam (2003) wearcam.org

Weinberg, G. M. and Freedman, D. P. (1984) Reviews, walkthroughs and inspections, IEEE Transactions on Software Engineering, SE-10(1):68–72

Weinstein, C. J. and Forgie, J. (1983) Experience with speech communication in packet networks, IEEE JSAC, 1(6):963–980

Whyte, W. S. (1995) The many dimensions of multimedia communications, BT Technology Journal, 13(4): 9–12

Wikstrφm, Ε. (1987) Functional Programming using Standard ML, Prentice-Hall

WiredPolitic (2003) www.wired.com/news/politics/0,1283,17538,00.html

Wooldridge, M. (2002) Introduction to Multi Agent Systems, John Wiley and Sons

Wooldridge, M. and Jennings, N. (1995) Intelligent Agents: Theory and Practice, Knowledge Engineering Review, 10(2):115–152

Wroclawski, J. (1997) The Use of RSVP with IETF Integrated Services, RFC 2210, Internet Society, New York, USA

Wroclawski, J. (1997) Specification of the Controlled-Load Network Element Service, RFC 2211, Internet Society, New York, USA

WSI (2003) Web Services Interoperability Organization. www.ws-i.org

XACML (2003) www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml

xMethods (2003) www.xMethods.net

XML-RPC (2003) XML-RPC.com, www.xmlrpc.com/directory/1568/services

XML-security (2003) XML Security page, www.nue.et-inf.uni-siegen.de/~geuer-pollmann/xml_security.html

Yokoo, M. (2000) Distributed Constraint Satisfaction: Foundations of Cooperation in Multi-Agent Systems, Springer-Verlag

Yoneda, T. and Ohta, T. (1998) A formal approach for definition and detection of feature interactions, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 202–216, IOS Press, Amsterdam, Netherlands

Yoshida, J. and Hara, Y. (1998) iReady, Seiko develop Internet-ready LCDs, EE Times, 26th October 1998

Yourdon, E. (1989) Modern Structured Analysis, Prentice-Hall

Zave, P. (1998) Architectural solutions to feature-interaction problems in telecommunications, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 10–22, IOS Press, Amsterdam, Netherlands

Zave, P. and Jackson, M. (2000) New feature interactions in mobile and multimedia telecommunications services, in Calder, M. H. and Magill, E. H., editors, Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 51–66, IOS Press, Amsterdam, Netherlands


Up one level to Wiley Book Page

Web Ken Turner Home   Email    Search Search Web Pages

Last Update: 15th July 2006
URL: http://www.cs.stir.ac.uk/~kjt/servprov/bibliography.html