Search Results - "v. Bochmann, G."

Test selection based on finite state models by Fujiwara, S., v. Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.

“…A method for the selection of appropriate test case, an important issue for conformance testing of protocol implementations as well as software engineering, is…”
Get full text

FSM-based testing from user defined faults adapted to incremental and mutation testing by El-Fakih, K. A., Dorofeeva, R., Yevtushenko, N. V., Bochmann, G. V.

“…We study the problem of deriving a test suite with guaranteed fault coverage from a given finite state machine specification with respect to some given user…”
Get full text

Resource Criticality Analysis of Static Resource Allocations and Its Applications in WDM Network Planning by Zhang, J.Y., Jing Wu, v. Bochmann, G., Savoie, M.

“…Various static resource allocation algorithms have been used in WDM networks to allocate resources such as wavelength channels, transmitters, receivers, and…”
Get full text

On fault coverage of tests for finite state specifications by Petrenko, A., Bochmann, G.v., Yao, M.

“…Testing is a trade-off between increased confidence in the correctness of the implementation under test and constraints on the amount of time and effort that…”
Get full text

Towards database scalability through efficient data distribution in e-commerce environments by Haiwei Ye, Kerherve, B., v Bochmann, G., Bourne, D.

“…Increasing Web traffic in e-commerce applications poses great challenges to database servers. On one hand, database servers should be able to scale; on the…”
Get full text

Deriving protocol converters for communications gateways by Bochmann, G.V.

“…Gateways are introduced for interworking between several, possibly heterogeneous, distributed computer systems. A gateway has to provide for the necessary…”
Get full text

Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters by Higashino, T., Bochmann, G.v.

“…We propose an automatic analysis and test case derivation method for LOTOS expressions with data values. We introduce the class of P-LOTOS expressions where…”
Get full text

A Test Design Methodology for Protocol Testing by Sarikaya, B., Bochmann, G.v., Cerny, E.

“…Communication protocol testing can be done with a test architecture consisting of remote Lower Tester and local Upper Tester processes. For real protocols,…”
Get full text

Videotex Networks by Ball, A J S, Bochmann, G V, Gecsei, J

“…Using the home TV screen, videotex networks can provide easy, inexpensive access to vast amounts of information. Here we consider planned and possible network…”
Get full text

Synchronization and Specification Issues in Protocol Testing by Sarikaya, B., Bochmann, G.

“…Protocol testing for the purpose of certifying the implementation's adherence to the protocol specification can be done with a test architecture consisting of…”
Get full text

Design principles for communication gateways by V Bochmann, G, Mondain-Monval, P

“…The purpose of this study is to define principles that apply to the design of communication gateways between heterogeneous computer systems, and to identify…”
Get full text

Trace analysis for conformance and arbitration testing by Bochmann, G.V., Dssouli, R., Zhao, J.R.

“…The authors explore a testing approach where the concern for selecting the appropriate test input provided to the implementation under test (IUT) is separated…”
Get full text

Merging behavior specifications by Khendek, Ferhat, Bochmann, Gregor V.

“…This paper describes a method for merging behavior specifications modeled by transition systems. Given two behavior specifications B1 and B2, Merge (B1,B2)…”
Get full text

Delay-independent design for distributed systems by Von Bochmann, G.

“…Methods of limiting the impact of communication delays on the logical behavior of distributed systems are considered. It is assumed that a distributed system…”
Get full text

A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems by Ying Qiao, v. Bochmann, G.

“…Node clustering is an effective solution for achieving good performance and high reliability for peer-to-peer (P2P) systems. To improve the performance of a…”
Get full text

Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols by Bochmann, G.v., Verjus, J.P.

“…Formal description techniques (FDT's) are being developed for the specification of communication protocols and other distributed systems. Some of them (namely…”
Get full text

Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method by Gang Luo, von Bochmann, G., Petrenko, A.

“…Presents a method of generating test sequences for concurrent programs and communication protocols that are modeled as communicating nondeterministic…”
Get full text

A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem by Zhang, J.Y., Jing Wu, Bochmann, G.V., Savoie, M.

“…The fact that wavelength conversion hardly improves the performance of static routing and wavelength assignment (RWA) in wavelength division multiplexing (WDM)…”
Get full text

Architectural design of adaptive distributed multimedia systems by v. Bochmann, G., Kerherve, B., Hafid, A., Dini, P., Pons, A.

“…In the context of a collaborative research project funded by the Canadian Institute for Telecommunications Research (CITR), we have developed a prototype…”
Get full text

Object-oriented design of a message handling system protocol by Erradey, S., Kadoch, M., Bochmann, G.V.

“…This paper presents a specification and object-oriented modelling technique for a distributed application. The object-oriented specification of a distributed…”
Get full text