- LA CONSTRUCTION DANS LE MODLE DES MACHINES DE MEALY
- ON THE DISTRIBUTED IMPLEMENTATION OF LOTOS Gregor v. BOCHMANN, Qiang GAO, Cheng WU
- Retransmission schemes for Optical Burst Switching over star networks Anna Agust-Torra
- Blocking Model for All-Optical Overlaid-Star TDM Networks
- 12:41 PM 6/18/99 Page 1 GENERATING TESTS FOR CONTROL PORTION OF
- A Bandwidth Allocation Scheme in Optical TDM Network Abdelilah Maach, Hassan Zeineddine, Gregor v Bochmann
- ASN.1 and Estelle Implementation support tools Gregor v. Bochmann, Daniel Ouimet
- SURVEY OF RELATED WORK 3.1. Existing Methods for Subsystem Construction
- Quality of service negotiation based on device capabilities and user preferences
- Biographies Abdelhakim Hafid is a Researcher Staff Member at the Computer Research Institute of Mon-
- LES OPRATEURS ET LES RELATIONS DE En gnrale, les systmes complexes sont forms de sous systmes plus simples qui
- of mappings from T to D. The set : V{true, false} of timing constraints c is generated inductively by the following grammar
- An Implementation Approach for an Inter-Domain Routing Protocol for
- Fairness in LOTOS Cheng Wu, Gregor v. Bochmann
- HIERARCHICAL INTER-DOMAIN MANAGEMENT FOR NETWORKS WITH CONDO-SWITCHES
- A Bandwidth Allocation Scheme in Optical TDM Network
- Cooperative QoS Management for Multimedia Applications Stefan Fischer1
- Application Design for Cooperative QoS Management1 Stefan Fischer, Mohamed-Vall O. M. Salem and Gregor von Bochmann
- Proceedings of the IASTED International Conference Eleventh IASTED International Conference on Parallel and Distributed Computing and Systems
- Approaches to Analysis and Simplification of non-Markovian System Models
- Specification of composite objects based on the ODP Reference Model
- Distributed Computing manuscript No. (will be inserted by the editor)
- Fairness of N-party Synchronization and Its Implementation in a Distributed Environment1
- Distributed Objects with Sense of Direction G. V. BOCHMANN
- Testing of Partial Order Input/Output Automata Gregor v. Bochmann1
- Metadata Modeling for Quality of Service Management in Distributed Multimedia Systems1
- BIBLIOGRAPHIE [Alpern 85] B. Alpern and F. B. Schneider, Defining liveness, Information Processing
- Object-Oriented Design for Distributed Systems: The OSI Directory Example
- BLOCKING ANALYSIS FOR TIME-SPACE SWITCHED ALL-OPTICAL Bin Zhou, Peng He, and Gregor v. Bochmann,
- ROUTING OF MPLS FLOWS OVER AN AGILE ALL-PHOTONIC STAR Peng He and Gregor v. Bochmann
- Automating the process of test derivation from SDL specifications G. v. Bochmann, A. Petrenko9, O. Bellal, and S. Maguiraga
- Activity Nets: A UML profile for modeling workflow and business processes
- An Implementation of Hierarchical Inter-domain Routing in the context of UCLPv2
- Submodule construction for systems of timed I/O J. Drissi1, G. v. Bochmann2
- Merging Behavior Specifications* Ferhat Khendek and Gregor v. Bochmann
- Test selection based on finite state models S. Fujiwara* , G.v. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi
- Fault Diagnosis in Extended Finite State Machines Khaled El-Fakih1
- DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS
- [Won 97] J.Wong, K.Lyons, R.Velthuys, G.Bochmann, E.Dubois, N.Georganas, G.Neufeld, T.Ozsu, J.Brin-skelle, D.Evans, A.Hafid, N.Hutchinson, P.Inglinski, B.Kerherve, L.Lamont, D.Makaroff, and
- Test result analysis and validation of test verdicts G. v. Bochmann, D. Desbiens, M. Dubuc, D. Ouimet and F. Saba
- Contention avoidance in optical burst switching Abdelilah Maach, Gregor.v.Bochmann, Hussein Mouftah
- Pushing Quality of Service Information and Requirements into Global Query Optimization*
- tems. She serves very often as a member of committee program of many workshops and conferences (IWPTS, IWTCS, FORTE, CFIP, MMNS, MMM, FIW, NOTERE). She organized several international workshops and conferences (IWPT'93, CFIP'93,
- ramework for Conformance Testing of Systems Communicating through Q. M. Tan, A. Petrenko and G. v. Bochmann
- CHAPITRE 10 Nous avons prsent dans cette thse un travail reli au problme de la construction de
- Shared protection for time slotted optical networks Abdelilah Maach, Gregor v. Bochmann, Hussein Mouftah
- A Secure Authentication Infrastructure for Mobile Communication Services
- IEEE Communications Magazine July 2003110 0163-6804/03/$17.00 2003 IEEE 1 For example,
- Quality of service management issues in electronic commerce applications Gregor v. Bochmann (University of Ottawa)
- AN AGILE ALL-PHOTONIC NETWORK Trevor J. Hall, Sofia A. Paredes, Gregor v. Bochmann
- Dealing with Recommendations in a Statistical Trust Model Jianqiang Shi1
- Object Composition: A Case Study Dunia Ramazani , Discreet Logic (Canada)
- 1SITE, University of Ottawa Gregor v. Bochmann and Zhen Yang
- A Deeper Look into Non-Markovian Processes Fida Kamal Dankar, Gregor V. Bochmann
- Nom de la revue. Volume X n X/2001, pages 1 X An Overview of Content Distribution and
- Segmented Burst Switching: Enhancement of Optical Burst Switching to decrease loss rate and
- Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF
- Testing in context: framework and test derivation
- Research Network David V. Plant
- An Experimental Prototype for Scalable Server Selection Mohamed-Vall O. Mohamed-Salem, University of Montreal
- Submodule Construction for Extended State Machine Bassel Daou and Gregor v. Bochmann
- A Scalable Load-Sharing Architecture for Distributed Applications
- Object Naming and Object Composition D. Ramazani, G. v. Bochmann and P. Flocchini
- Enabling Technology for Distributed Multimedia Applications J.W. Wong, K.A. Lyons, R.J. Velthuys,
- A SECURE AUTHENTICATION INFRASTRUCTURE FOR MOBILE
- SSSSppppeeeecccciiiiaaaalllliiiizzzzaaaattttiiiioooonnnn iiiinnnn EEEEsssstttteeeelllllllleeee R. Gotzhein+, G. v. Bochmann*
- [Alur92] R. Alur, D. Dill "The Theory of Timed Automata", in Lecture Notes in Computer Science 600.
- USER-MANAGED END-TO-END LIGHTPATH PROVISIONING OVER Jing Wu, Scott Campbell, J. Michel Savoie, Hanxi Zhang
- Applying a diffusive load balancing in a clustered P2P system University of Ottawa
- On Distributed Multimedia Presentational Applications: Functional and Computational Architecture and QoS Negotiation
- Theoretical Computer Science 362 (2006) 1732 www.elsevier.com/locate/tcs
- ON THE-FLY RE-SYNTHESIS OF COMMUNICATIONS KHALED EL-FAKIH+, KASSEM SALEH* AND GREGOR VON BOCHMANN+
- Performance Evaluation of the Preemptive Bandwidth Allocation Multicast Protocol
- Robust optical burst switching Abdelilah Maach, Gregor v. Bochmann, Hussein Mouftah
- Submodule construction for specifications with input assumptions and output guarantees *
- VERIFICATION AND DIAGNOSIS OF TESTING PREORDER 4.1. Introduction
- Incremental Construction Approach for Distributed System Specifications*
- A UNIFIED METHOD FOR THE SPECIFICATION AND VERIFICATION OF GREGOR V. BOCHMANNand JAN GECSEI
- Using First-Order Logic to Reason about Submodule Construction1
- L'OUTIL SCT POUR LA CONSTRUCTION DE SOUS-MODULES
- Some Notes on the History of Protocol Engineering Gregor v. Bochmann1
- Gregor v. Bochmann, University of Ottawa Comparison of methods for supervisory control and submodule construction 1 Comparison of methods
- HTML extensions for Multimedia Documents and Quality of Service management on the Web 1 HTML extensions for Multimedia Docu-
- Page 1 of 24 An Efficient Method for Synthesizing Optimized Protocol Converters*
- Service-Oriented Virtual Private Networks for Grid Applications Hanxi Zhang*
- Study of oscillations in admission control algorithm for web servers
- INTRODUCTION 1.1. Informal Definition of The Subsystem
- LES MODLES DES SYSTMES TRANSITIONS L'ide d'un systme qui reoit des signaux discrets (les entres) de l'extrieur et qui
- On Fault Coverage of Tests for Finite State Specifications
- A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks
- Quick Birkhoff-von Neumann Decomposition Algorithm for Agile All-Photonic Network Cores
- Protection and Routing over Agile All-Photonic Networks (AAPN)
- OPTIMIZATION ANALYSIS OF OPTICAL TIME SLOT INTERCHANGERS IN ALL-OPTICAL NETWORK
- The LSP Protection/Restoration Mechanism in GMPLS Ziying Chen
- Some Principles for Quality of Service Management Gregor v. Bochmann and Abdelhakim Hafid
- Diagnosing Multiple Faults in Finite State by A. Ghedamsi, G.v. Bochmann
- Least Constrained Slot Allocation in Optical TDM Networks
- TEST SELECTION BASED ON COMMUNICATING NONDETERMINISTIC FINITE STATE MACHINES USING A GENERALIZED Wp-METHOD1
- Device Selection by a Personal Proxy Agent
- Performance Monitoring Apache Web Server
- Methods for Designing SIP Services in SDL with Fewer Feature Interactions
- QoS-Aware Distributed Query Processing* Haiwei Ye Brigitte Kerherv Gregor v. Bochmann
- A secure authentication infrastructure for mobile users Gregor v. Bochmann and Eric Zhang
- Deploying Agile Photonic Networks over Reconfigurable Optical Networks Sofia A. Paredes, Gregor v. Bochmann, Trevor J. Hall
- DERIVATION OF COMPONENT DESIGNS FROM GLOBAL SPECIFICATIONS
- Optical Switching and Networking 5 (2008) 107122 www.elsevier.com/locate/osn
- Diagnosis of Single Transition Faults in Communicating Finite State Machines
- Support for Personal and Service Mobility in Ubiquitous Computing Environments1
- High-level design for user and component interfaces Gregor v. Bochmann*
- This work was funded by Communications and Information Technology Ontario Locating a Faulty Machine in a System of Communicating Finite State Machines
- Testing for a Conformance Relation Based on Acceptance*
- Submodule construction the inverse of composition * Gregor v. Bochmann
- Contrle et extension des systmes vnements discrets totalement et partiellement observables
- Service-oriented Layer 1 Virtual Private Network for Grid Applications
- LA CONSTRUCTION DANS LE MODLE DES AUTOMATES ENTRES ET SORTIES
- Testing deterministic implementations from nondeterministic FSM specifications
- Abstract--We propose a novel Internet Exchange (IX) architecture, namely OSN-IX, which adopts an overlaid-star
- Architectural Design of Adaptive Distributed Multimedia Systems
- A Test Generation Tool for Speci cations in the Form of State Machines1
- Noname manuscript No. (will be inserted by the editor)
- Approaches to the Specification of Object Associations
- Salem DiffServ -Paper3_short.doc Page 1 11/19/2002 Server Selection for Differentiated classes of users
- MASCOT `98 1Canadian Institute for Telecommunications Research Gregor v. Bochmann
- GENERATING SYNCHRONIZABLE TEST SEQUENCES BASED ON FINITE STATE MACHINE WITH DISTRIBUTED PORTS1
- Testing Trace Equivalence for Labeled Transition Q. M. Tan, A. Petrenko, G. Luo2 and G. v. Bochmann
- Checking Experiments with Labeled Transition Systems for Trace Equivalence
- IEEE COMMUNICATION LETTERS, VOL. 6, NO. 5, MAY 2009 1 A Proof of Wavelength Conversion Not Improving
- Adaptation in Distributed Multimedia Systems Universit de Montral
- Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks
- A Distributed Content Adaptation framework for Content Distribution Khalil El-Khatib, Gregor v. Bochmann, and Abdulmotaleb El Saddik
- Diagnosing Distributed Systems Modeled by Communicating Finite State Machines
- INTRODUCTION L'volution technologique a conduit au dveloppement de systmes informatiques
- SECURE AUTHENTICATION FOR MOBILE COMMUNICATION OVER THE INTERNET1
- Constructing Service Matrices for Agile All-Optical Cores Cheng Peng, Sofia A. Paredes, Trevor J. Hall and Gregor v. Bochmann
- A Strategy for Efficient Crawling of Rich Internet Applications
- An Automatic Trace Analysis Tool Generator for Estelle Speci cations
- 12 IEEE JOURNAL ON SELEClED AREAS IN COMMUNICATIONS. VOL U. NO I . JANUARY 1990 Design Principles for Communication Gateways
- 978-1-4244-4793-0/09/$25.00 c 2009 IEEE A Locality Preserving Routing Overlay using
- A Digital Libraries System based on Multi-level Agents Kamel Hamard1
- [Haf 96b] A.Hafid, G.v.Bochmann and R.Dssouli, A Negotiation Approach with Future Reservation (NAFUR): A Detailed Study, Submitted to Computer Networks and ISDN Journal, 1996
- Fault Detection and Localization Scheme for All-Optical Overlaid-Star TDM Networks
- Gregor v. Bochmann, 2003 Agile All-Phoonic Networks and Different Forms of Burst Switching 1
- 19/10/1994 Page 1 SELECTING TEST SEQUENCES FOR PARTIALLY-SPECIFIED
- A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems School of Information Technology and Engineering
- Deriving Protocol Specifications from Service Specifications Written in LOTOS+
- Preemptive Bandwidth Allocation Protocol for Multicast, Multi-Streams Environments
- Towards a Global Online Reputation University of Ottawa
- Resource Criticality Analysis of Static Resource Allocations and
- LOAD BALANCING IN ALL-OPTICAL OVERLAID-STAR TDM NETWORKS
- METHODS FOR DESIGNING INTERNET TELEPHONY SERVICES WITH FEWER FEATURE INTERACTIONS
- Traffic Engineering for Inter-domain Optical Networks
- Extending OMT for the Specification of Composite Objects Dunia Ramazani
- Cette thse prsente une solution gnrale pour la construction d'un composant ajouter dans un systme dans le cas o les autres composants ainsi que le systme global
- [ R1<-R2+i, R2<-R1+R2+i ]
- A Configurable Online Reputation Aggregation System
- [Mil 94] I.Miloucheva, QoS Management for High Speed Transport Architecture, Workshop on Distributed Multimedia Applications and QoS Verification, Montreal, Canada,
- AN ALGORITHM FOR SUBSYSTEM CONSTRUCTION In this chapter, we propose an algorithm for constructing communicating subsystems for the
- Design of an Agile All-Photonic Network Gregor v. Bochmann
- Adding performance aspects to specification languages Gregor v. Bochmann and Jean Vaucher
- LA CONSTRUCTION DANS LE MODLE DES AUTOMATES ENTRES ET SORTIES
- 1SITE, University of Ottawa Gregor v. Bochmann
- Copyright 1999 G.v. Bochmann
- A HYBRID ARCHITECTURE USING BOTH OPTICAL BURST SWITCHING AND ROUTED WAVELENGTH
- Realizability of Collaboration-based Service Specifications Humberto Nicols Castejn, Rolv Brk
- Deriving component designs from global requirements Gregor v. Bochmann
- Markovian Component Modeling F. Dankar and G.V. Bochmann
- Scaling Server Selection using a Multi-Broker Architecture Mohamed Vall O. Mohamed-Salem, University of Montreal
- LA CONSTRUCTION DANS LE MODLE DES SYSTMES TRANSITIONS TIQUETES
- Peer-to-peer platforms for high-quality web services: the case for load-balanced clustered peer-to-peer systems
- R'<-R+R'+i ] transition t transition t
- L'OUTIL SCT POUR LA CONSTRUCTION DE SOUSMODULES
- Protocol Testing: Review of Methods and Relevance
- Cooperative QoS Management for Multimedia Applications Stefan Fischer 1 , Abdelhakim Hafid 1 , Gregor v. Bochmann 1 and Hermann de Meer 2
- Fairness of Nparty Synchronization and Its Implementation in a Distributed Environment 1
- Testing deterministic implementations from nondeterministic FSM specifications
- LES OPRATEURS ET LES RELATIONS DE En gnrale, les systmes complexes sont forms de sous systmes plus simples qui
- Extending OMT for the Specification of Composite Objects Dunia Ramazani
- A Test Generation Tool for Specifications in the Form of State Machines 1
- Introducing QoS to Electronic Commerce Applications Gregor v. Bochmann 1 , Brigitte Kerherv 2 , Hanan Lutfiyya 3 , MohamedVall M.
- [15] C.Vittal, M.Ozsu, D.Szafron, G.Medani, The Logical Design of a Multimedia Database for a NewsOnDemand Application,
- CITR QOS Management U de Montreal Cooperative QoS management 1
- ObjectOriented Design for Distributed Systems: The OSI Directory Example
- CHAPITRE 10 Nous avons prsent dans cette thse un travail reli au problme de la construction de
- Diagnosis of Single Transition Faults in Communicating Finite State Machines
- LA CONSTRUCTION DANS LE MODLE DES AUTOMATES ENTRES ET SORTIES
- Protocol Synthesis for RealTime Applications* Universit de Sherbrooke, Dpartement de gnie lectrique et de gnie informatique
- Validation of Distributed Rendezvous Algorithms through Simulation Qiang Gao, Roland Groz* , Gregor v. Bochmann, E. Houssain Htite, Joumana Dargham
- TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS
- Object Naming and Object Composition D. Ramazani, G. v. Bochmann and P. Flocchini
- Diagnosing Multiple Faults in Finite State by A. Ghedamsi, G.v. Bochmann
- GNRATION D'UNE IMPLANTATION DTERMINISTE MINIMALE PARTIR D'UNE
- [Dub 95] E.Dubois, N.Baaziz and M.Matta, Impact of scan con version methods on the performance of scalable video coding,
- Object Composition: A Case Study Dunia Ramazani , Discreet Logic (Canada)
- Incremental Construction Approach for Distributed System Specifications *
- Fairness in LOTOS Cheng Wu, Gregor v. Bochmann
- Test result analysis and validation of test verdicts G. v. Bochmann, D. Desbiens, M. Dubuc, D. Ouimet and F. Saba
- Diagnosing Distributed Systems Modeled by Communicating Finite State Machines
- U of Ottawa / UQAM CITR Project Overview 1 Quality of Service
- An Automatic Trace Analysis Tool Generator for Estelle Specifications
- LA CONSTRUCTION DANS LE MODLE DES SYSTMES TRANSITIONS TIQUETES
- ON THE DISTRIBUTED IMPLEMENTATION OF LOTOS Gregor v. BOCHMANN, Qiang GAO, Cheng WU
- Adding performance aspects to specification languages Gregor v. Bochmann and Jean Vaucher
- SITE, University of Ottawa Gregor v. Bochmann and Zhen Yang
- Submodule construction for systems of I/O automata * J. Drissi 1 , G. v. Bochmann 2
- LA CONSTRUCTION DANS LE MODLE DES MACHINES DE MEALY
- BIBLIOGRAPHIE [Alpern 85] B. Alpern and F. B. Schneider, Defining liveness, Information Processing
- Application Design for Cooperative QoS Management 1 Stefan Fischer, MohamedVall O. M. Salem and Gregor von Bochmann
- GENERATING SYNCHRONIZABLE TEST SEQUENCES BASED ON FINITE STATE MACHINE WITH DISTRIBUTED PORTS 1
- Testing in context: framework and test derivation
- INTRODUCTION L'volution technologique a conduit au dveloppement de systmes informatiques
- [Won 97] J.Wong, K.Lyons, R.Velthuys, G.Bochmann, E.Dubois, N.Georganas, G.Neufeld, T.Ozsu, J.Brin skelle, D.Evans, A.Hafid, N.Hutchinson, P.Inglinski, B.Kerherve, L.Lamont, D.Makaroff, and
- Specification of composite objects based on the ODP Reference Model
- MASCOT `98 1 Canadian Institute for Telecommunications Research
- ASN.1 and Estelle Implementation support tools Gregor v. Bochmann, Daniel Ouimet
- *An extended ab stract of this paper appeared in proceedings of the th nternationa or shop
- Some Principles for Quality of Service Management Gregor v. Bochmann and Abdelhakim Hafid
- Test selection based on finite state models S. Fujiwara * , G.v. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi
- Cette thse prsente une solution gnrale pour la construction d'un composant ajouter dans un systme dans le cas o les autres composants ainsi que le systme global
- [Met 92] B.Metzler, I.Miloucheva and K.Rebensburg, Multimedia Communication Platform: Specification of the Broadband Transport Protocol XTPX, CIO, RACE Project 2060,
- A Digital Libraries System based on Multilevel Agents Kamel Hamard 1 , JianYun Nie 1 ,
- LES MODLES DES SYSTMES TRANSITIONS L'ide d'un systme qui reoit des signaux discrets (les entres) de l'extrieur et qui
- Submodule construction tool 1 J. Drissi * , G. v. Bochmann **
- of mappings from T to D. The set F: V{true, false} of timing constraints c is generated inductively by the following grammar
- in Exten ded Fin ite State
- Modeling Basic LOTOS by FSMs for Conformance Testing Q. M. Tan, A. Petrenko and G. v. Bochmann
- Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters *
- LA CONSTRUCTION DANS LE MODLE DES AUTOMATES ENTRES ET SORTIES
- U of Montreal / UQAM / U of Ottawa QoSbased Query Optimization 1 Towards QoSbased Cost Models for
- rev ue. Volume X X a e X Overviewo f
- Quality of Service Management for Teleteaching Applications Using the MPEG4/DMIF
- Deriving Protocol Specifications from Service Specifications Written in LOTOS +
- A Framework for Dynamic Evolution of Distributed Systems Specifications *
- On Fault Coverage of Tests for Finite State Specifications
- Biographies Abdelhakim Hafid is a Researcher Staff Member at the Computer Research Institute of Mon
- Submodule construction --the inverse of composition * Gregor v. Bochmann
- TEST SELECTION BASED ON COMMUNICATING NONDETERMINISTIC FINITE STATE MACHINES USING A GENERALIZED WpMETHOD 1
- tems. She serves very often as a member of committee program of many workshops and conferences (IWPTS, IWTCS, FORTE, CFIP, MMNS, MMM, FIW, NOTERE). She organized several international workshops and conferences (IWPT'93, CFIP'93,
- 12:41 PM 6/18/99 Page 1 GENERATING TESTS FOR CONTROL PORTION OF
- Enabling Technology for Distributed Multimedia Applications J.W. Wong, K.A. Lyons, R.J. Velthuys,
- Automating the process of test derivation from SDL specifications G. v. Bochmann, A. Petrenko L , O. Bellal, and S. Maguiraga
- Specialization in Estelle R. Gotzhein + , G. v. Bochmann *
- The Agile All-Photonic Network: An Architectural Outline G. v. Bochmann T. Hall O. Yang
- [Dub 95] E.Dubois, N.Baaziz and M.Matta, Impact of scan con-version methods on the performance of scalable video coding,
- Support for Personal and Service Mobility in Ubiquitous Computing Environments1
- TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS
- Deriving Protocol Specifications from Service Specifications
- Submodule construction for systems of I/O automata* J. Drissi1, G. v. Bochmann2
- Validation of Distributed Rendezvous Algorithms through Simulation Qiang Gao, Roland Groz* , Gregor v. Bochmann, E. Houssain Htite, Joumana Dargha
- CliqueStream: An Efficient and Fault-resilient Live Streaming Network on a Clustered Peer-to-peer Overlay
- [15] C.Vittal, M.Ozsu, D.Szafron, G.Medani, The Logical Design of a Multimedia Database for a News-On-Demand Application,
- Direct Realizability Humberto N. Castejn, Gregor von Bochmann, Rolv Brk
- TRANSFORMATION OF A CORE SCENARIO MODEL AND
- Delay Performance Analysis for an Agile All-Photonic Star Network
- A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources
- A Computation Method for Scenario Studies in WDM Network Planning
- James Yiming Zhang 1 , Jing Wu 2
- [Met 92] B.Metzler, I.Miloucheva and K.Rebensburg, Multimedia Communication Platform: Specification of the Broadband Transport Protocol XTPX, CIO, RACE Project 2060,
- Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters *
- CUSTOMER-MANAGED END-TO-END LIGHTPATH PROVISIONING Jing Wu, J. Michel Savoie, Scott Campbell, Hanxi Zhang
- Modeling Basic LOTOS by FSMs for Conformance Testing Q. M. Tan, A. Petrenko and G. v. Bochmann
- D. Shepherd et al. (Eds.): IDMS 2001, LNCS 2158, pp. 221-232, 2001. Springer-Verlag Berlin Heidelberg 2001
- Protocol Testing: Review of Methods and Relevance
- *An extended abstract of this paper appeared in proceedings of the 7th International Workshop on Performability Modeling of Computer and Communication Systems: PMCCS-7,2005.
- UNIVERSIT DE MONTRAL Vers la construction automatique d'un module
- Submodule construction tool1 J. Drissi*, G. v. Bochmann**
- GNRATION D'UNE IMPLANTATION DTERMINISTE MINIMALE PARTIR D'UNE
- A QoS Content Adaptation Framework for Nomadic Users
- Introducing QoS to Electronic Commerce Applications Gregor v. Bochmann1
- A Trust Model with Statistical Foundation JIANQIANG SHI
- Using Logic to Solve the Submodule Construction GREGOR V. BOCHMANN
