eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Novi Sad Journal of MathematicsPublisher: Department of Mathematics and Informatics, Faculty of Sciences, Novi SadISSN: 1450-5444 (Print), 2406-2014 (Online)Issue: 30_2Date: 2000Journal Homepage Editorial BoardImpressum   AJA - a language-based tool for the development of adaptable Java agents 1 - 10 Mihal Badjonski and Mirjana Ivanović   AbstractKeywords: software agents; machine learning; artificial intelligence; JavaMSC: 68N20 Segments of score sequences 11 - 14 Momčilo Bjelica   AbstractKeywords: graph; tournament; scoreMSC: 05C20 On completness criterion for partial hyperoperations 15 - 17 Rade Doroslovački, Jovanka Pantović, Ratko Tošić and Gradimir Vojvodić   AbstractKeywords: clone; completnessMSC: 08A40 Modular language specifications in Haskell 19 - 27 Mirjana Ivanović and Viktor Kunčak   AbstractKeywords: interpreter; modularity; denotational semanticsMSC: 68N20 Possibilistic logic for intelligent business agents 29 - 42 R. Lau and O. Wong   AbstractKeywords: possibilistic logic; business agents; electronic commerceMSC: 03H10 Secure two-way on-line communication by using quasigroup enciphering with almost public key 43 - 49 S. Markovski, D. Gligoroski and B. Stojčevska   AbstractKeywords: encryption and decryption functions; on-line communication; quasigroup; stream cipher; quasigroup string processingMSC: 94A60; 20N05; 68P30 Towards managing knowledge for software process improvement 51 - 61 Bridget Meehan and Ita Richardson   AbstractKeywords: knowledge management; software process; software process improvement (SP1)MSC: 90B70 Compiler generator supported incremental language design 63 - 82 Marjan Mernik, Mitja Lenič, Enis Advičaušević and Viljem Žumer   AbstractKeywords: attribute grammars; design and implementation of programming languages; compiler generatorsMSC: 68N15 On two approaches to modal theorem proving 83 - 93 Zoran Ognjanović and Tatjana Timotijević   AbstractKeywords: theorem proving; modal logic; translation of logics; classical logicMSC: 68T15; 03B60 A comparative analvsis of several mobile agent systems 95 - 111 Dragoslav Pešović and Zoran Budimac   AbstractKeywords: mobile agents; internet; network; distributed systemsMSC: 68N25 Article page: 12>>

Issue 49 of 98Previous IssueNext Issue Articles 1 - 10 of 17Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 18.227.48.237 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)