Communications software engineering
K. Saleh, R. Probert
págs. 695-696
A service creation environment based on scenarios
S. Some, R. Dssouli
págs. 697-713
A model-based authorware for the construction of distributed multimedia systems
S.T. Chanson, S.C. Cheung
págs. 715-727
Communications software design for testability: Specification transformations and testability
R. Dssouli, K. Karoui
págs. 729-743
A protocol synthesis method for fault-tolerant multipath routing
Y. Kakuda, K. Ishida
págs. 745-754
A medium access control protocol for voice and data integration in receiver-oriented DS-CDMA PCNs
Y. Yang, J. He
págs. 755-765
Controllability and observability in distributed testing
L. Cacciari, O. Rafiq
págs. 767-780
A framework for the specification of test cases for real-time distributed systems
J. Grabowski, T. Walter
págs. 781-798
Efficient checking sequences for testing finite state machines
K. Inan, H. Ural
págs. 799-812
págs. 813-821
Extending EASE with new ASN.1 encoding rules
F. Cheong, R. Lai
págs. 823-837
Recovery of CFSM-based protocol and service design from protocol execution traces
R. Probert, K. Saleh
págs. 839-845
© 2001-2024 Fundación Dialnet · Todos los derechos reservados