Contents
Introduction
Subject Aims Audience Contributors Structure Topics Part I Part II Part III Appendixes Sample Chapter Reference Material Bibliography Web Sites Abbreviations Updates and Errata Last Update 12th January 2020 |
Service Provision -
|
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. 210225, Amsterdam, Netherlands, IOS Press, Amsterdam, Netherlands
Adleman, L. (1994) Molecular computation of solutions to combinatorial problems, Science, 266:10211024
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. 4563, 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. 4453, 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. 274289, 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):104113
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., OSullivan, 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. 153167, 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):1229
Bakker, J.-L., Tweedie, D. and Unmehopa, M. R. (2002) Evolving Service Creation; New Developments in Network Intelligence, Telektronikk, 98(4):5868
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):6470
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(56):413436
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. 119, IOS Press, Amsterdam, Netherlands
Boehm, B. W. (1984) Verifying and validating software requirements and design specification, IEEE Transactions on Software Engineering, 1(1):7588
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. viixiv, 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):3441
Bowen, J. P. and Hinchey, M. G. (1995b) Ten commandments of formal methods, IEEE Computer, 28(4):5663
Bowman, H., Derrick, J., Linington, P. and Steen, M.W.A. (1996) Cross Viewpoint Consistency in Open Distributed Processing, Software Engineering Journal 11(1):4457
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. 257273, 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. 135149, 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:3845
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. 2331, 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:115141
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):167180
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. 299304, 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. 342346, 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. 6469
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. 123, 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. 39, 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):1629
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. 183197, 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):7788
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. 85103, 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. EUROCRYPT92, pp. 390407, 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:91107
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):191200
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):244263
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. 425437, 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:18451855
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. 115, 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. 5370. 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):203207
Davis, R. and Smith, R.G. (1983) Negotiation as a metaphor for distributed problem solving, Artificial Intelligence, 20(1):63109
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:6446546
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. 342322. 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. 271283, 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. 262275, 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):419431
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):7883
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):3845
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):501528
Fagan, M. E. (1979) Design and code inspections to reduce errors in program, IBM Systems Journal, 15(3):7/17/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):5780
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. 123137, IOS Press, Amsterdam, Netherlands
Fraser, M. D. and Vaishnavi, V. K. (1997) A formal specifications maturity model, Communications of the ACM, 40(12):95103
Frei, C. and Faltings, B. (2000) Abstraction and constraint satisfaction techniques for planning bandwidth allocation, in INFOCOM (1), pp. 235244
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. 165176, 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):433448
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):11641643
Garlan, D., Monroe, R. T., and Wile, D. (1997) ACME: An architecture description interchange language, in Proc. CASCON'97, pp. 169183, Toronto, Canada
Genesereth, M. and Ketchpel, S. (1994) Software Agents, Communications of the ACM, 37(7):4953
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. 193209, 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. 258263, 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. 217235, IOS Press, Amsterdam, Netherlands
Hall, A. (1990) Seven myths of formal methods, IEEE Software, 7(5):1119
Hall, R. J. (1998) Foreground/background models, in Kimbler, K. and Bouma, W., editors, Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 232246, IOS Press, Amsterdam, Netherlands
Hall, R. J. (2000a) Feature combination and interaction detection via foreground/background models, Computer Networks, 32(4):449469
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. 6782, 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. 246257, 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. 306312
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):13581362. 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. 141151. 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.721Q.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.761Q.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.1210Q.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.1220Q.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.1Q1902.6, International Telecommunications Union, Geneva, Switzerland
ITU (2000k) Bearer Independent Call Control Capability Set 2, ITU-T Q.1902.1Q1902.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):831847
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. 145162, 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. 172186, 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. 1528, Gφteborg, Sweden. Springer-Verlag
Karlsson, K. and Vetterli, M. (1989) Packet video and its integration into network architecture. IEEE JSAC, 7(5):739751
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. 276290, 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. 779796
Kerckhoffs, A. (1883a) La cryptographie militaire, in Journal des Sciences Militaries, Series IX, pp. 538, Jan. 1883
Kerckhoffs, A. (1883b) La cryptographie militaire, in Journal des Sciences Militaries, Series IX, pp. 161191, 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):586593
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. 284297, 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):25772592
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. 1428, September 1995
Kwok, T.C. (1997) Residential broadband Internet services and application requirements, IEEE Communications Magazine, 35(6):7683
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):167183
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:275296
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. 86119. 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. 913, 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. 1726, 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. 589602, 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. 193202, 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. 3647, 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. 115134, 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. 106120, 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:115133
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. 6076, 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):743
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. 2532, 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. 164165, 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. 163178, 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 OMGs 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. 189204. 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. 150164, 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. 6073. 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):120126
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):720
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):103116
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. 93106
Scheiderman, B. (1984) Response time and display rate in human performance with computers, Computing Surveys, 16:265285
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):169207
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. 286300, 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):14401441
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. 561574, 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:615630
Sinnott, R. O. and Turner, K. J. (1997) Applying the architectural semantics of ODP to develop a trader specification, Computer Networks, 29(4):457471
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):2131
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):11041113
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. 141155, 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. 318324, 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. 635642, 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. 168182, 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):235246
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):818830, www.computer.org/tse/ts1998/extoc.htm
Tsang, S. and Magill, E. H. (1998b) The Network Operators Perspective: detecting and resolving Feature Interaction Problems, Computer Networks and ISDN Systems, 30(15):14211441
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. 5861
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): 235246
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. 226241, IOS Press, Amsterdam, Netherlands
Turner, K. J. (1997b) Relating architecture and specification, Computer Networks, 29(4):437456
Turner, K. J. (1998) An architectural description of intelligent network features and their interactions, Computer Networks, 30(15):13891419
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. 241256, 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. 337374, 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. 137159, 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. ISS95, 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. 2435, 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. 326. 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. 317. 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:179206
Vogel, A., Kerherve, B., Bochmann, G. and Gecsei, J. (1995) Distributed multimedia applications and quality of service: A survey. IEEE Multimedia, 2(2):1018
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 ORyan, 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):6872
Weinstein, C. J. and Forgie, J. (1983) Experience with speech communication in packet networks, IEEE JSAC, 1(6):963980
Whyte, W. S. (1995) The many dimensions of multimedia communications, BT Technology Journal, 13(4): 912
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):115152
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. 202216, 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. 1022, 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. 5166, IOS Press, Amsterdam, Netherlands
Up one level to Wiley Book Page
Last Update: 15th July 2006