102 search results - page 9 / 21 » jucs 2007 |
JUCS
2007
14 years 9 months ago
2007
: In this paper we obtain new effective results on the Halpern iterations of nonexpansive mappings using methods from mathematical logic or, more specifically, proof-theoretic te...
JUCS
2007
14 years 9 months ago
2007
: Web Services enable the creation of complex business activities through the cooperation of independently developed software programs. However, Web Services incur the risk of long...
JUCS
2007
14 years 9 months ago
2007
: A genetic algorithm (GA) based recurrent fuzzy neural network modeling method for dynamic nonlinear chemical process is presented. The dynamic recurrent fuzzy neural network (RFN...
JUCS
2007
14 years 9 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
JUCS
2007
14 years 9 months ago
2007
: This paper uses category theory to emphasize the relationships between Mealy, Moore and Rabin-Scott automata, and the behavioural automata are used as a unifying framework. Some ...