WILEY SERIES IN COMMUNICATIONS NETWORKING & DISTRIBUTED SYSTEMS

[1]  Lixia Zhang,et al.  Stream Control Transmission Protocol , 2000, RFC.

[2]  Zeng-Zhi Li,et al.  A whole life cycle model to dynamic composed Web services , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[3]  Paulo Carvalho,et al.  XML service level specification and validation , 2005, 10th IEEE Symposium on Computers and Communications (ISCC'05).

[4]  Eila Niemelä,et al.  Toward an architectural knowledge base for wireless service engineering , 2005, IEEE Transactions on Software Engineering.

[5]  Clark S. Lindsey,et al.  JavaTech: Java Remote Method Invocation (RMI) , 2005 .

[6]  Thom Frühwirth,et al.  Optimal Planning of Digital Cordless Telecommunication Systems , 1997, PACT.

[7]  George Pavlou,et al.  Scalable monitoring support for resource management and service assurance , 2004, IEEE Network.

[8]  Ying Huang,et al.  A service management framework for service-oriented enterprises , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[9]  A. Taleb-Bendiab,et al.  Policy-based autonomic control service , 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..

[10]  Miltiades E. Anagnostou,et al.  Context management for the provision of adaptive services to roaming users , 2004, IEEE Wireless Communications.

[11]  Sung-Bae Cho,et al.  Evolutionary Learning of Modular Neural Networks with Genetic Programming , 1998, Applied Intelligence.

[12]  Steven Minton,et al.  Automatically configuring constraint satisfaction programs: A case study , 1996, Constraints.

[13]  Ian Miguel.  The Constraint Satisfaction Problem , 2004 .

[14]  David M. Booth,et al.  Web Services Architecture , 2004 .

[15]  Nandan Ghosale,et al.  On implementing a high-performance open API with Java∗ , 2003, Bell Labs Technical Journal.

[16]  Radu Prodan,et al.  From Web services to OGSA: experiences in implementing an OGSA-based grid application , 2003, Proceedings. First Latin American Web Congress.

[17]  Ravi Jain,et al.  Call Control: Programming Interfaces for Next Generation Networks , 2003 .

[18]  Kun Yang,et al.  Policy-Driven Mobile Agents for Context-Aware Service in Next Generation Networks , 2003, MATA.

[19]  Miltiades E. Anagnostou,et al.  Context-Aware Services Provisioning on Top of Active Technologies , 2003, MATA.

[20]  Christopher Krügel,et al.  Web service engineering with DIWE , 2003, 2003 Proceedings 29th Euromicro Conference.

[21]  Jon Crowcroft,et al.  Dynamic SLA-based QoS control for third generation wireless networks: the CADENUS extension , 2003, IEEE International Conference on Communications, 2003. ICC '03..

[22]  L. Klostermann,et al.  Opening the networks with Parlay/OSA: standards and aspects behind the APIs , 2003, IEEE Netw..

[23]  Franklin D. Ohrtman,et al.  Wi-Fi Handbook: Building 802.11b Wireless Networks , 2003 .

[24]  Peer Hasselmeyer.  An infrastructure for the management of dynamic service networks , 2003, IEEE Commun. Mag..

[25]  M. Cochinwala,et al.  Adaptive resource management of a virtual call center using a peer-to-peer approach , 2003, IFIP/IEEE Eighth International Symposium on Integrated Network Management, 2003..

[26]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[27]  Ada Diaconescu,et al.  Cadenus: creation and deployment of end-user services in premium IP networks , 2003, IEEE Commun. Mag..

[28]  George Pavlou,et al.  Admission control for providing QoS in DiffServ IP networks: the TEQUILA approach , 2003, IEEE Commun. Mag..

[29]  Fernando Boavida,et al.  Internet network services management framework , 2002, Proceedings 10th IEEE International Conference on Networks (ICON 2002). Towards Network Superiority (Cat. No.02EX588).

[30]  Ding Wei,et al.  A policy-based solution for management of enhanced network services , 2002, 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering. TENCOM '02. Proceedings..

[31]  Spyridon Panagiotakis,et al.  Intelligent service mediation for supporting advanced location and mobility-aware service provisioning in reconfigurable mobile networks , 2002, IEEE Wirel. Commun..

[32]  Antti Toskala,et al.  Wcdma for Umts , 2002 .

[33]  Alexander Clemm,et al.  Profile-based subscriber service provisioning , 2002, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327).

[34]  Ingo Lück,et al.  Model-based configuration of VPNs , 2002, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327).

[35]  Rajeev Gopal,et al.  Unifying network configuration and service assurance with a service modeling language , 2002, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327).

[36]  Holger Schmidt,et al.  A case-driven methodology for applying the MNM service model , 2002, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327).

[37]  A. Watson,et al.  OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification , 2002 .

[38]  Ko Lagerberg,et al.  Web services in third-generation service platforms , 2002, Bell Labs Technical Journal.

[39]  Ram Krishnan,et al.  Multi-Protocol Label Switching (MPLS) Support of Differentiated Services , 2002, RFC.

[40]  Jean-Yves Le Boudec,et al.  An Expedited Forwarding PHB (Per-Hop Behavior) , 2002, RFC.

[41]  George Pavlou,et al.  Advanced service creation using distributed object technology , 2002, IEEE Commun. Mag..

[42]  George Pavlou,et al.  A policy-based quality of service management system for IP DiffServ networks , 2002, IEEE Netw..

[43]  D. Marples,et al.  The Open Services Gateway Initiative: an introductory overview , 2001, IEEE Commun. Mag..

[44]  Gonzalo Camarillo.  SIP Demystified , 2001 .

[45]  Doo-Kwon Baik,et al.  CORBA based approach to the development of an advanced architecture in TINA service management system , 2001, 12th International Workshop on Database and Expert Systems Applications.

[46]  Richard Levine,et al.  3G Wireless Demystified , 2001 .

[47]  Lars Tvede,et al.  Data broadcasting : merging digital broadcasting with the Internet , 2001 .

[48]  Ashutosh Dutta,et al.  Framework Draft for Networked Appliances using the Session Initiation Protocol , 2001 .

[49]  Douglas C. Schmidt,et al.  Overview of the CORBA component model , 2001 .

[50]  Michael Langer,et al.  Towards generic service management concepts a service model based approach , 2001, 2001 IEEE/IFIP International Symposium on Integrated Network Management Proceedings. Integrated Network Management VII. Integrated Management Strategies for the New Millennium (Cat. No.01EX470).

[51]  Jon Siegel.  Quick CORBA 3 , 2001 .

[52]  R. R. Knight,et al.  Bearer-Independent Call Control , 2001 .

[53]  John C. Klensin,et al.  Simple Mail Transfer Protocol , 2001, RFC.

[54]  Wolfgang Emmerich,et al.  Engineering Distributed Objects , 2000, Lecture Notes in Computer Science.

[55]  Makoto Yokoo,et al.  Distributed Constraint Satisfaction , 2000, Springer Series on Agent Technology.

[56]  Mehdi Jazayeri,et al.  Experiences in Engineering Flexible Web Services , 2001, IEEE Multim..

[57]  Eric C. Rosen,et al.  Multiprotocol Label Switching Architecture , 2001, RFC.

[58]  Kenneth J. Turner.  Formalising the Chisel Feature Notation , 2000, FIW.

[59]  Makoto Yokoo,et al.  Distributed Constraint Satisfaction: Foundations of Cooperation in Multi-agent Systems , 2000 .

[60]  George Pavlou,et al.  A UML based methodology for the creation of TINA compatible telecommunications services , 2000, Proceedings ISCC 2000. Fifth IEEE Symposium on Computers and Communications.

[61]  Munir Cochinwala.  Using Objects for Next Generation Communication Services , 2000, ECOOP.

[62]  Peter Martin,et al.  Genetic Programming for Service Creation in Intelligent Networks , 2000, EuroGP.

[63]  Dong-il Seo,et al.  End-to-end Internet/intranet service management in multi-domain environment using SLA concept , 2000, NOMS 2000. 2000 IEEE/IFIP Network Operations and Management Symposium 'The Networked Planet: Management Beyond 2000' (Cat. No.00CB37074).

[64]  Alexander Keller,et al.  Managing application services over service provider networks: architecture and dependency analysis , 2000, NOMS 2000. 2000 IEEE/IFIP Network Operations and Management Symposium 'The Networked Planet: Management Beyond 2000' (Cat. No.00CB37074).

[65]  Robert J. Hall.  Feature combination and interaction detection via foreground/background models , 2000, Comput. Networks.

[66]  Luigi Logrippo,et al.  Feature interaction detection: a LOTOS-based approach , 2000, Comput. Networks.

[67]  A. Rayes,et al.  Integrated management architecture for IP-based networks , 2000, IEEE Communications Magazine.

[68]  Lydie du Bousquet,et al.  Feature interaction detection using a synchronous approach and testing , 2000, Comput. Networks.

[69]  Fabio Kon,et al.  Monitoring, Security, and Dynamic Configuration with the dynamicTAO Reflective ORB , 2000, Middleware.

[70]  Boi Faltings,et al.  Abstraction and constraint satisfaction techniques for planning bandwidth allocation , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[71]  David E. Smith,et al.  Bridging the gap between planning and scheduling , 2000, The Knowledge Engineering Review.

[72]  Robert J. Hall,et al.  Feature Interactions in Electronic Mail , 2000, FIW.

[73]  Dominique Méry,et al.  A Taxonomy for Triggered Interactions Using Fair Object Semantics , 2000, FIW.

[74]  Luigi Logrippo.  Immaturity and Potential of Formal Methods: A Personal View , 2000, FIW.

[75]  Jameleddine Hassine,et al.  Feature Interaction Filtering with Use Case Maps at Requirements Stage , 2000, FIW.

[76]  Michael Jackson,et al.  New Feature Interactions in Mobile and Multimedia Telecommunications Services , 2000, FIW.

[77]  George Pavlou,et al.  Development of new telecommunications services in distributed platforms: a structured approach , 2000, 2000 IEEE International Conference on Communications. ICC 2000. Global Convergence Through Communications. Conference Record.

[78]  Mario Kolberg,et al.  Experiences modelling and using formal object-oriented telecommunication service frameworks , 1999, Comput. Networks.

[79]  John Dunlop,et al.  Digital Mobile Communications and the TETRA System , 1999 .

[80]  Patricia Morreale,et al.  Wireless quality of service assurance for network survivability , 1999, MILCOM 1999. IEEE Military Communications. Conference Proceedings (Cat. No.99CH36341).

[81]  Richard O. Sinnott.  Specifying multimedia configurations in Z , 1999, Proceedings Third International Conference on Computational Intelligence and Multimedia Applications. ICCIMA'99 (Cat. No.PR00300).

[82]  Richard O. Sinnott,et al.  Specifying aspects of multimedia in LOTOS , 1999, Proceedings Third International Conference on Computational Intelligence and Multimedia Applications. ICCIMA'99 (Cat. No.PR00300).

[83]  Ian Wakeman,et al.  Internetworking multimedia , 1999 .

[84]  H. Terashima-Marín,et al.  Evolution of Constraint Satisfaction strategies in examination timetabling , 1999 .

[85]  Andrew T. Campbell,et al.  Spawning networks , 1999, IEEE Netw..

[86]  R. Luling.  Managing large scale broadband multimedia services on distributed media servers , 1999, Proceedings IEEE International Conference on Multimedia Computing and Systems.

[87]  K. Kilkki.  Differentiated Services for the Internet , 1999 .

[88]  Mats G. Nordahl,et al.  Evolving Routing Algorithms with the JBGP-System , 1999, EvoWorkshops.

[89]  Wolfgang Banzhaf,et al.  Meta-Evolution in Graph GP , 1999, EuroGP.

[90]  Mario Kolberg,et al.  Creating telecommunication services based on object-oriented frameworks and SDL , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[91]  Mario Kolberg,et al.  Engineering Telecommunication Services With SDL , 1999, FMOODS.

[92]  Michael E. Fagan.  Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[93]  R. Manione,et al.  A "TINA light" service architecture for the Internet-telecom scenario , 1999, TINA '99. 1999 Telecommunications Information Networking Architecture Conference Proceedings (Cat. No.99EX368).

[94]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[95]  Zulfikar Amin Ramzan,et al.  Group blind digital signatures : theory and applications , 1999 .

[96]  S. Rana,et al.  Implementation and interoperability experiences with TINA service management specifications , 1999, TINA '99. 1999 Telecommunications Information Networking Architecture Conference Proceedings (Cat. No.99EX368).

[97]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[98]  David L. Black,et al.  Definition of the Differentiated Services Field (DS Field) in the IPv4 and IPv6 Headers , 1998, RFC.

[99]  Naganand Doraswamy,et al.  IP Security Document Roadmap , 1998, RFC.

[100]  Evan H. Magill,et al.  Learning To Detect and Avoid Run-Time Feature Interactions in Intelligent Networks , 1998, IEEE Trans. Software Eng..

[101]  Paul J. Kühn,et al.  The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..

[102]  Michael Jackson,et al.  Distributed Feature Composition: A Virtual Architecture for Telecommunications Services , 1998, IEEE Trans. Software Eng..

[103]  Evan H. Magill,et al.  The Network Operator's Perspective: Detecting and Resolving Feature Interaction Problems , 1998, Comput. Networks.

[104]  Kenneth J. Turner,et al.  An Architectural Description of Intelligent Network Features and Their Interactions , 1998, Comput. Networks.

[105]  Eugene C. Freuder,et al.  Dynamic Constraint Satisfaction for Feature Interaction , 1998 .

[106]  M.-P. Gervais,et al.  Enhancing telecommunications service engineering with mobile agent technology and formal methods , 1998, IEEE Commun. Mag..

[107]  Dionisis X. Adamopoulos,et al.  Object-oriented development of telematic services , 1998, Proceedings Third IEEE Symposium on Computers and Communications. ISCC'98. (Cat. No.98EX166).

[108]  D. T. Ndumu,et al.  A brief introduction to software agent technology , 1998 .

[109]  Larry Downes,et al.  Unleashing the Killer App: Digital Strategies for Market Dominance , 1998 .

[110]  Mark Handley,et al.  SDP: Session Description Protocol , 1998, RFC.

[111]  Juan Pavón,et al.  Corba for network and service management in the TINA framework , 1999 .

[112]  Pierre Flener,et al.  Specifications are necessarily informal or: Some more myths of formal methods , 1998, J. Syst. Softw..

[113]  Zulfikar Ramzan,et al.  Group Blind Digital Signatures: A Scalable Solution to Electronic Cash , 1998, Financial Cryptography.

[114]  Michael Andersson,et al.  Analysis of Feature Interactions in Mobile Terminals , 1998, FIW.

[115]  Fuchun Joseph Lin,et al.  Feature Interactions in the New World , 1998, FIW.

[116]  Dirk O. Keck.  A Tool for the Identification of Interaction-Prone Call Scenarios , 1998, FIW.

[117]  Fuchun Joseph Lin,et al.  Next Generation Service Creation: Process, Methodology, and Tool Integration , 1998, FIW.

[118]  Evan H. Magill,et al.  The Use of Rollback to Prevent Incorrect Operation of Features in Intelligent Network Based Systems , 1998, FIW.

[119]  Tadashi Ohta,et al.  A Formal Approach for Definition and Detection of Feature Interactions , 1998, FIW.

[120]  Mark Ryan,et al.  Plug-and-play Features , 1998, FIW.

[121]  Claude Kirchner,et al.  An overview of ELAN , 1998, WRLA.

[122]  Alessandro Sperduti,et al.  Learning solution preferences in constraint problems , 1998, J. Exp. Theor. Artif. Intell..

[123]  Lydie du Bousquet,et al.  Incremental Feature Validation: a Synchronous Point of View , 1998, FIW.

[124]  Luigi Logrippo,et al.  Goal-Oriented Feature Interaction Detection in the Intelligent Network Model , 1998, FIW.

[125]  David M. Chess,et al.  Security Issues in Mobile Code Systems , 1998, Mobile Agents and Security.

[126]  Bernhard Rumpe,et al.  Feature Specification and Refinement with State Transition Diagrams , 1997, FIW.

[127]  Clayton M. Christensen.  The Innovator's Dilemma: When New Technologies Cause Great Firms to Fail , 2013 .

[128]  David Garlan,et al.  Acme: an architecture description interchange language , 2010, CASCON.

[129]  Ying-Dar Lin,et al.  Broadband service creation and operations , 1997 .

[130]  Vijay K. Vaishnavi,et al.  A formal specifications maturity model , 1997, CACM.

[131]  Tariq S. Durrani,et al.  A new adaptive functional-link neural-network-based DFE for overcoming co-channel interference , 1997, IEEE Trans. Commun..

[132]  Richard N. Taylor,et al.  A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.

[133]  R. Boutaba,et al.  An outlook on intranet management , 1997 .

[134]  Igor Faynberg,et al.  The development of the wireless intelligent network (WIN) and its relation to the international intelligent network standards , 1997, Bell Labs Technical Journal.

[135]  Scott Shenker,et al.  Specification of Guaranteed Quality of Service , 1997, RFC.

[136]  John Wroclawski,et al.  Specification of the Controlled-Load Network Element Service , 1997, RFC.

[137]  M. C. Sinclair,et al.  Evolving simple fault-tolerant routing rules using genetic programming , 1997 .

[138]  Kenneth J. Turner.  An Architectural Foundation for Relating Features , 1997, FIW.

[139]  T. Howes,et al.  LDAP: programming directory-enabled applications with lightweight directory access protocol , 1997 .

[140]  Kenneth J. Turner,et al.  Relating Architecture and Specification , 1997, Comput. Networks ISDN Syst..

[141]  Luigi Logrippo,et al.  Structural Models for Specifying Telephone Systems , 1997, Comput. Networks ISDN Syst..

[142]  Richard O. Sinnott,et al.  Applying the Architectural Semantics of ODP to Develop a Trader Specification , 1997, Comput. Networks ISDN Syst..

[143]  Dan Harkey,et al.  Client/Server programming with Java and Corba , 1997 .

[144]  Léon J. M. Rothkrantz,et al.  Ant-Based Load Balancing in Telecommunications Networks , 1996, Adapt. Behav..

[145]  Peter Nordin,et al.  Evolutionary program induction of binary machine code and its applications , 1997 .

[146]  Béatrice Renard,et al.  Consistent Interaction Detection - A Comprehensive Approach Integrated with Service Creation , 1997, FIW.

[147]  Kristofer Kimbler.  Addressing the Interaction Problem at the Enterprise Level , 1997, FIW.

[148]  Stéphane S. Somé,et al.  Detection of Feature Interactions with REST , 1997, FIW.

[149]  G.J. Minden,et al.  A survey of active network research , 1997, IEEE Communications Magazine.

[150]  Marc Frappier,et al.  Detecting Feature Interactions on Relational Specifications , 1997, FIW.

[151]  Evan H. Magill,et al.  The feature interaction problem in networked multimedia services — present and future , 1997 .

[152]  Hong Liu,et al.  A formal AIN Service Creation, Feature Interactions Analysis and Management Environment: An Industrial Application , 1997, FIW.

[153]  Alfred Menezes,et al.  Handbook of Applied Cryptography , 2018 .

[154]  Henning Schulzrinne,et al.  RTP: A Transport Protocol for Real-Time Applications , 1996, RFC.

[155]  K. Rijkse,et al.  H.263: video coding for low-bit-rate communication , 1996, IEEE Commun. Mag..

[156]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[157]  Charles E. Perkins,et al.  IP Mobility Support , 1996, RFC.

[158]  Christian Schulte.  Oz Explorer: A Visual Constraint Programming Tool , 1996, PLILP.

[159]  Ana Moreira,et al.  Adding rigour to object-oriented analysis , 1996, Softw. Eng. J..

[160]  Raúl Rojas,et al.  Neural Networks - A Systematic Introduction , 1996 .

[161]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[162]  Linda Strick,et al.  Development of IBC service management services , 1996, Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium.

[163]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[164]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[165]  F. Dupuy,et al.  The TINA consortium: toward networking telecommunications information services , 1995 .

[166]  Richard O. Sinnott,et al.  Applying formal methods to standard development: the open distributed processing experience , 1995 .

[167]  T. Kwok.  A vision for residential broadband services: ATM-to-the-home , 1995, Proceedings of the Second International Workshop on Community Networking 'Integrated Multimedia Services to the Home'.

[168]  Jim T. Smith.  AIN system development: the customer-centered service context profile , 1995, Proceedings IEEE International Conference on Communications ICC '95.

[169]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[170]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[171]  P. W. Sanders,et al.  Integrated services engineering , 1995 .

[172]  Tim Howes,et al.  Lightweight Directory Access Protocol , 1995, RFC.

[173]  G. L. Smith,et al.  Design of multimedia services , 1995 .

[174]  W. S. Whyte.  The many dimensions of multimedia communications , 1995 .

[175]  Douglas R. Stinson,et al.  Cryptography: Theory and Practice , 1995 .

[176]  Don Tapscott,et al.  The Digital Economy: Promise and Peril in the Age of Networked Intelligence , 2003 .

[177]  Luigi Logrippo,et al.  Representing and Verifying Intentions in Telephony Features Using Abstract Data Types , 1995, FIW.

[178]  Gerard J. Holzmann,et al.  The early history of data networks , 1994 .

[179]  William Stallings.  Network and Internetwork Security: Principles and Practice , 1994 .

[180]  Gregor von Bochmann,et al.  Distributed multimedia applications and quality of service: a survey , 1994, CASCON.

[181]  J. Dobson.  Issues for service engineering , 1994, Proceedings of IEEE Workshop on Services for Distributed and Networked Environments.

[182]  M. J. Hayes.  Telecommunications service engineering , 1994 .

[183]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[184]  Rob van der Linden,et al.  Using an architecture to help beat feature interaction , 1994, FIW.

[185]  Nancy D. Griffeth,et al.  The negotiating agents approach to runtime feature interaction resolution , 1994, FIW.

[186]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[187]  John Jainschigg.  Agents for change. , 1993, Nursing standard (Royal College of Nursing (Great Britain) : 1987).

[188]  Graeme I. Parkin,et al.  Overview: Survey of Formal Methods in Industry , 1993, FORTE.

[189]  Jadwiga Indulska,et al.  A Type Management System for an ODP Trader , 1993, Open Distributed Processing.

[190]  Luís Ferreira Pires,et al.  What Makes Industries Believe in Formal Methods , 1993, PSTV.

[191]  Yow-Jian Lin,et al.  A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[192]  Kenneth J. Turner,et al.  Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .

[193]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[194]  Tay Vaughan,et al.  Multimedia: Making It Work , 1993 .

[195]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.

[196]  Marten van Sinderen,et al.  LOTOS specification style for OSI , 1992 .

[197]  David Chaum,et al.  Transferred Cash Grows in Size , 1992, EUROCRYPT.

[198]  Anders Krogh,et al.  Introduction to the theory of neural computation , 1994, The advanced book program.

[199]  Nobuhiko Kitawaki,et al.  Pure Delay Effects on Speech Quality in Telecommunications , 1991, IEEE J. Sel. Areas Commun..

[200]  Ii R.B. Robrock.  The intelligent network-changing the face of telecommunications , 1991 .

[201]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[202]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.

[203]  Clive Ruggles.  Formal Methods in Standards , 1990, Springer London.

[204]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[205]  Gunnar Karlsson,et al.  Packet video and its integration into the network architecture , 1989, IEEE J. Sel. Areas Commun..

[206]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[207]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[208]  Ian Davies,et al.  ISPBXs and terminals , 1988, Comput. Commun..

[209]  Stephen Grossberg,et al.  The ART of adaptive pattern recognition by a self-organizing neural network , 1988, Computer.

[210]  Marten van Sinderen,et al.  Architecture and Specification Style in Formal Descriptions of Distributed Systems , 1988 .

[211]  José Meseguer,et al.  An Introduction to OBJ 3 , 1988, CTRS.

[212]  Ake Wikstrom,et al.  Functional programming using standard ML , 1987 .

[213]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[214]  A. P. Sistla,et al.  Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.

[215]  Geoffrey E. Hinton,et al.  Learning internal representations by error propagation , 1986 .

[216]  David Chaum,et al.  Security without identification: transaction systems to make big brother obsolete , 1985, CACM.

[217]  Ben Shneiderman,et al.  Response time and display rate in human performance with computers , 1984, CSUR.

[218]  Gerald M. Weinberg,et al.  Reviews, Walkthroughs, and Inspections , 1984, IEEE Transactions on Software Engineering.

[219]  Kenneth H. Rosen,et al.  Discrete Mathematics and its applications , 2000 .

[220]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[221]  Clifford J. Weinstein,et al.  Experience with Speech Communication in Packet Networks , 1983, IEEE J. Sel. Areas Commun..

[222]  Adi Shamir,et al.  A method for obtaining digital signatures and public-key cryptosystems , 1978, CACM.

[223]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[224]  Peter Naur,et al.  Formalization in program development , 1982, BIT.

[225]  David Chaum,et al.  Blind Signatures for Untraceable Payments , 1982, CRYPTO.

[226]  Jon Postel,et al.  Simple Mail Transfer Protocol , 1981, RFC.

[227]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[228]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[229]  Whitfield Diffie,et al.  New Directions in Cryptography , 1976, IEEE Trans. Inf. Theory.

[230]  Peter J. Denning,et al.  Protection: principles and practice , 1972, AFIPS '72 (Spring).

[231]  C. Darwin.  On the Origin of Species by Means of Natural Selection: Or, The Preservation of Favoured Races in the Struggle for Life , 2019 .

[232]  C. Petri.  Kommunikation mit Automaten , 1962 .

[233]  W. Feller.  An Introduction to Probability Theory and Its Applications , 1959 .