Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 11

Content of Issue 6
DOI: 10.3217/jucs-011-06
Managing Editor's Column H. Maurer 803
How to Draw Free Trees Inside Bounded Simple Polygons A. Bagheri, M. Razzazi 804
A Provably Efficient Computational Model For Approximate Spatiotemporal Retrieval V. Delis, C. Makris, S. Sioutas 830
Time Costs in Actor Computations M. Di Santo, F. Frattolillo 850
Analysis, Design, and Performance Evaluation of MS-RTCP: More Scalable Scheme for the Real-Time Control Protocol N. A. Elramly, A. S. Habib, O. S. Essa, H. M. Harb 874
Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm M. R. Girgis 898
On Theoretical Upper Bound for Routing Estimation F. He, G. Yang, L. Cheng, X. Song, M. Gu, J. Sun 916
Fine-Grained Transclusions of Multimedia Documents in HTML J. Kolbitsch 926
On Complexity of Collective Communications on a Fat Cube Topology V. Kutálek, V. Dvořák 944
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications A. Nadeem, M. Jaffar-ur-Rehman 962
A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem L. Nguyen, R. Safavi-Naini, K. Kurosawa 986
Exploiting Agent Ontologies in B2C Virtual Marketplaces D. Rosaci 1011
Domain Extenders for UOWHF: A Finite Binary Tree Algorithm P. Sarkar 1040
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer 1054
A Fast T-decomposition Algorithm J. Yang, U. Speidel 1083
Collect the Fitted Surfaces into Complex Based on C0 Continuity E. A. Zanaty, M. R. Girgis 1102