Zobrazeno 1 - 10
of 67
pro vyhledávání: '"D.P. Sidhu"'
Publikováno v:
IEEE Transactions on Communications. 42:2432-2440
Protocols are large and complex software systems. Complete conformance testing of an implementation against its standard may not be feasible in terms of the resources available. This paper discusses a new approach, the P-method, to the testing of mea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::499f4cad36faf5bbdffad09b741182a2
https://doi.org/10.1109/26.297852
https://doi.org/10.1109/26.297852
Publikováno v:
Conference Proceedings of the 2000 IEEE International Performance, Computing, and Communications Conference (Cat. No.00CH37086).
The analysis of common channel signaling under broadband environments such as ATM is needed to characterize the performance of various SS7 signaling network topologies. The paper presents an analysis of Broadband-ISDN signaling network architectures
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a557d36be56f62914fd1e55ca1996c1e
https://doi.org/10.1109/pccc.2000.830334
https://doi.org/10.1109/pccc.2000.830334
Autor:
T.-K. Leung, D.P. Sidhu
Publikováno v:
IEEE Transactions on Software Engineering. 15:413-426
The authors present a detailed study of four formal methods (T-, U-, D-, and W-methods) for generating test sequences for protocols. Applications of these methods to the NBS Class 4 Transport Protocol are discussed. An estimation of fault coverage of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::792a2abe9a90ffae21e0feb8bc580253
https://doi.org/10.1109/32.16602
https://doi.org/10.1109/32.16602
Autor:
D.P. Sidhu, J. Aristizabal
Publikováno v:
IEEE Transactions on Software Engineering. 14:1565-1577
Applications of an automated tool for module specification (ATMS) that finds the specification for a submodule of a system are presented. Given the specification of a system, together with the specification for n-1 submodules, the ATMS constructs the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7527da1c00cfe27c6e8da4a7da5570ab
https://doi.org/10.1109/32.9045
https://doi.org/10.1109/32.9045
Autor:
D.P. Sidhu, C.S. Crall
Publikováno v:
IEEE Transactions on Software Engineering. 14:98-112
A general, formal modeling technique for protocol service interfaces is discussed. An executable description of the model using a logic-programming-based language, Prolog, is presented. The specification of protocol layers consists of two parts, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca93c8e3ae4d68b841f3a3135564c5f1
https://doi.org/10.1109/32.4626
https://doi.org/10.1109/32.4626
Publikováno v:
Annals of Physics. 117:5-18
Resonance photoproduction is studied via the MIT bag model and comparison is made with a single quark transition SU (6) θ analysis. Correspondence is found between the two pictures. The bag model predictions are shown to be in good qualitative agree
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9194751fec8bdc15b804f1a582e884c6
https://doi.org/10.1016/0003-4916(79)90042-3
https://doi.org/10.1016/0003-4916(79)90042-3
On conditions for defining a closed cover to verify progress for communicating finite state machines
Autor:
A. Chung, D.P. Sidhu
Publikováno v:
IEEE Transactions on Software Engineering. 15:1491-1494
The closed-cover technique for verifying progress for two communicating finite-state machines exchanging messages over two lossless, FIFO channels is considered. The authors point out that the definition of a closed cover in M.G. Gouda (ibid., vol.SE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::940590a63a7a9ffaadb14fbf86a52591
https://doi.org/10.1109/32.41341
https://doi.org/10.1109/32.41341
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.