Author of the publication

A State-Transition-Based Incremental Protocol Specification.

, , and . ACM Conference on Computer Science, page 30-37. ACM, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A bit-pattern-based matrix strategy for efficient iconic indexing of symbolic pictures., , and . Pattern Recognit. Lett., 24 (1-3): 537-545 (2003)An efficient nonuniform index in the wireless broadcast environments., and . J. Syst. Softw., 81 (11): 2091-2103 (2008)A complementary approach to data broadcasting in mobile information systems., and . Data Knowl. Eng., 40 (2): 181-194 (2002)An Efficient Conflict-Resolution Approach to Support Read/Write Operations in a Video Server., , and . International Journal of Software Engineering and Knowledge Engineering, 7 (3): 321-349 (1997)A generalized grid quorum strategy for k-mutual exclusion in distributed systems., and . Inf. Process. Lett., 80 (4): 205-212 (2001)Efficient Access Methods for Image Databases., and . Inf. Process. Lett., 64 (2): 95-105 (1997)Dual-expansion indexing for moving objects., , and . IET Softw., 8 (2): 62-72 (2014)NA-Trees: A Dynamic Index for Spatial Data., , and . J. Inf. Sci. Eng., 19 (1): 103-139 (2003)SETM*-MaxK: An Efficient SET-Based Approach to Find the Largest Itemset., and . PAKDD, volume 2336 of Lecture Notes in Computer Science, page 316-321. Springer, (2002)An efficient signature-based strategy for supporting inexact filtering in information filtering systems., , , and . Expert Syst. Appl., 36 (4): 8431-8442 (2009)