In this issue

Papers published: 16

Total pages: 318

Unique views: 13132

Total views: 16527

open access

Go to issue

« Previous
Issue 11(6)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 11(6)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Collect the Fitted Surfaces into Complex ...
Research Article
Collect the Fitted Surfaces into Complex Based on C0 Continuity
E. Zanaty, Moheb Girgis
10.3217/jucs-011-06-1102
 28-06-2005
 Unique: 861 | Total: 1118
 1102-1114
HTML
XML
PDF
A Fast T-decomposition Algorithm
Research Article
A Fast T-decomposition Algorithm
Jia Yang, Ulrich Speidel
10.3217/jucs-011-06-1083
 28-06-2005
 Unique: 780 | Total: 959
 1083-1101
HTML
XML
PDF
Model Checking, Automated Abstraction, ...
Research Article
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank De Boer
10.3217/jucs-011-06-1054
 28-06-2005
 Unique: 918 | Total: 1144
 1054-1082
HTML
XML
PDF
Domain Extenders for UOWHF: A Finite ...
Research Article
Domain Extenders for UOWHF: A Finite Binary Tree Algorithm
Palash Sarkar
10.3217/jucs-011-06-1040
 28-06-2005
 Unique: 824 | Total: 993
 1040-1053
HTML
XML
PDF
Exploiting Agent Ontologies in B2C Virtual ...
Research Article
Exploiting Agent Ontologies in B2C Virtual Marketplaces
Domenico Rosaci
10.3217/jucs-011-06-1011
 28-06-2005
 Unique: 780 | Total: 980
 1011-1039
HTML
XML
PDF
A Provably Secure and Efficient Verifiable ...
Research Article
A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem
Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa
10.3217/jucs-011-06-0986
 28-06-2005
 Unique: 821 | Total: 1013
 986-1010
HTML
XML
PDF
TESTAF: A Test Automation Framework for ...
Research Article
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications
Aamer Nadeem, Muhammad Jaffar-Ur-Rehman
10.3217/jucs-011-06-0962
 28-06-2005
 Unique: 819 | Total: 1068
 962-985
HTML
XML
PDF
On Complexity of Collective Communications ...
Research Article
On Complexity of Collective Communications on a Fat Cube Topology
Vladimir Kutálek, Václav Dvořák
10.3217/jucs-011-06-0944
 28-06-2005
 Unique: 824 | Total: 1016
 944-961
HTML
XML
PDF
Fine-Grained Transclusions of Multimedia ...
Research Article
Fine-Grained Transclusions of Multimedia Documents in HTML
Josef Kolbitsch
10.3217/jucs-011-06-0926
 28-06-2005
 Unique: 716 | Total: 878
 926-943
HTML
XML
PDF
On Theoretical Upper Bound for Routing ...
Research Article
On Theoretical Upper Bound for Routing Estimation
Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jiaguang Sun
10.3217/jucs-011-06-0916
 28-06-2005
 Unique: 824 | Total: 1032
 916-925
HTML
XML
PDF
Automatic Test Data Generation for Data ...
Research Article
Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm
Moheb Girgis
10.3217/jucs-011-06-0898
 28-06-2005
 Unique: 956 | Total: 1243
 898-915
HTML
XML
PDF
Analysis, Design, and Performance Evaluation ...
Research Article
Analysis, Design, and Performance Evaluation of MS-RTCP: More Scalable Scheme for the Real-Time Control Protocol
N. Elramly, A. Habib, O. Essa, H. Harb
10.3217/jucs-011-06-0874
 28-06-2005
 Unique: 845 | Total: 1100
 874-897
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK