Content of Issue 1
DOI: 10.3217/jucs01101

Information Assurance and Security 
A. Abraham, J. Thomas, S. Sanyal, L. Jain 
1 
Physically Locating Wireless Intruders 
F. Adelstein, P. Alla, R. Joyce, G. G. Richard III 
4 
LowIntrusive Consistent Disk Checkpointing: A Tool for Digital Forensics 
S. Sitaraman, S. Venkatesan 
20 
Sliding Window Protocol for Secure Group Communication in AdHoc Networks 
I. Joe Khor, J. Thomas, I. Jonyer 
37 
Increasing Robustness of LSB Audio Steganography by Reduced Distortion LSB Coding 
N. Cvejic, T. Seppänen 
56 
Software/Hardware CoDesign of Efficient and Secure Cryptographic Hardware 
N. Nedjah, L.d.M. Mourelle 
66 
ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention 
S. P. Joglekar, S. R. Tate 
83 
A Novel Scheme for Secured Data Transfer Over Computer Networks 
R. Athi Vasudevan, A. Abraham, S. Sanyal 
104 
Gossip Codes for Fingerprinting: Construction, Erasure Analysis and Pirate Tracing 
R. S. Veerubhotla, A. Saxena, V. P. Gulati, A. K. Pujari 
122 
A Reference Model for Security Level Evaluation: Policy and Fuzzy Techniques 
V. Casola, R. Preziosi, M. Rak, L. Troiano 
150 
RSAbased Certified Delivery of EGoods Using Verifiable and Recoverable Signature Encryption 
A. Nenadic, N. Zhang, B. Cheetham, C. Goble 
175 
Information Quality Assurance by Lazy Exploration of Information Source Combinations Space in Open MultiAgent Systems 
J. Park, K.S. Barber 
193 
Content of Issue 4
DOI: 10.3217/jucs01104

Integrating Business Processes and Knowledge Infrastructures 
M. Strohmaier, S. N. Lindstaedt 
426 
Modeling Knowledge Work for the Design of Knowledge Infrastructures 
R. Maier 
429 
KMDL  Capturing, Analysing and Improving KnowledgeIntensive Business Processes 
N. Gronau, C. Müller, R. Korf 
452 
Tube Map Visualization: Evaluation of a Novel Knowledge Visualization Application for the Transfer of Knowledge in LongTerm Projects 
R. Aslak Burkhard, M. Meier 
473 
A Methodology and a Toolkit that Integrate Technological, Organisational, and Human Factors to Design KM within KnowledgeIntensive Networks 
T. Forzi, M. Peters 
495 
The Role of Knowledge Management Solutions in Enterprise Business Processes 
V. Janev, S. Vraneš 
526 
A Knowledge Infrastructure Hierarchy Model for CallCentre Processes 
G. Timbrell, S. Koller, N. Schefe, S. N. Lindstaedt 
546 
Process Oriented Knowledge Management: A Service Based Approach 
R. Woitsch, D. Karagiannis 
565 
Reconciling Knowledge Management and Workflow Management Systems: The ActivityBased Knowledge Management Approach 
S. Dustdar 
589 
Modelling and Implementing Prebuilt Information Spaces. Architecture and Methods for Process Oriented Knowledge Management 
K. Böhm, W. Engelbach, J. Härtwig, M. Wilcken, M. Delp 
605 
Content of Issue 5
DOI: 10.3217/jucs01105

Atomicity in System Design and Execution (Proceedings of DagstuhlSeminar 04181) 
J. Burton, C. B. Jones 
634 
The Atomic Manifesto 
C. B. Jones, D. Lomet, A. Romanovsky, G. Weikum 
636 
Atomicity as a FirstClass System Provision 
J.E.B. Moss, R. Rajwar 
651 
Investigating Atomicity and Observability 
J. Burton, C. B. Jones 
661 
On Atomicity and Software Development 
J. Kienzle 
687 
Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems 
R. Ekwall, A. Schiper 
703 
Precise Modelling of Compensating Business Transactions and its Application to BPEL 
M. Butler, C. Ferreira, M.Y. Ng 
712 
Formal Construction of a Nonblocking Concurrent Queue Algorithm 
J.R. Abrial, D. Cansell 
744 
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism 
J. Burton 
771 
Content of Issue 6
DOI: 10.3217/jucs01106

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 MSRTCP: More Scalable Scheme for the RealTime 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 
FineGrained 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 ObjectOriented Formal Specifications 
A. Nadeem, M. JaffarurRehman 
962 
A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem 
L. Nguyen, R. SafaviNaini, 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 Tdecomposition Algorithm 
J. Yang, U. Speidel 
1083 
Collect the Fitted Surfaces into Complex Based on C^{0} Continuity 
E. A. Zanaty, M. R. Girgis 
1102 
Content of Issue 7
DOI: 10.3217/jucs01107

The 9th Brazilian Symposium on Programming Languages 
M.A. Musicante, R.M.F. Lima 
1115 
A Constructive Approach to Language Definition 
P.D. Mosses 
1117 
Hardware Design and Functional Programming: a Perfect Match 
M. Sheeran 
1135 
The Implementation of Lua 5.0 
R. Ierusalimschy, L.H. de Figueiredo, W. Celes 
1159 
AspectLua  A Dynamic AOP Approach 
N. Cacho, T. Batista, F. Fernandes 
1177 
A Formal Semantics for Finalizers 
M. Amorim Leal, R. Ierusalimschy 
1198 
PEWS: A New Language for Building Web Service Interfaces 
C. Ba, M.A. Carrero, M. Halfeld Ferrari, M.A. Musicante 
1215 
mHaskell: Mobile Computation in a Purely Functional Language 
A. Rauber Du Bois, P. Trinder, H.W. Loidl 
1234 
Compiling Nonstrict Functional Languages for the .NET Platform 
M. Monteiro, M. Araújo, R. Borges, A. Santos 
1255 
Running Lua Scripts on the CLR through Bytecode Translation 
F. Mascarenhas, R. Ierusalimschy 
1275 
An Experimental Evaluation of JAVA JIT Technology 
A. Faustino da Silva, V. Santos Costa 
1291 
Signals and Comonads 
T. Uustalu, T. Vene 
1311 
An Equational Specification for the Scheme Language 
M. d'Amorim, G. Rosu 
1327 
Content of Issue 8
DOI: 10.3217/jucs01108

Data Streams 
J.S. AguilarRuiz, J. Gama 
1349 
Learning Decision Trees from Dynamic Data Streams 
J. Gama, P. Medas 
1353 
Network Attack Scenarios Extraction and Categorization by Mining IDS Alert Streams 
W. Yan 
1367 
Semantic Preprocessing of Web Request Streams for Web Usage Mining 
J.J. Jung 
1383 
Evaluating Trigger Conditions on Streaming Time Series with Usergiven Quality Requirements 
L. Gao, M. Wang, X.S. Wang 
1397 
Online Mining Changes of Items over Continuous Appendonly and Dynamic Data Streams 
H.F. Li, S.Y. Lee, M.K. Shan 
1411 
Incremental Rule Learning and Border Examples Selection from Numerical Data Streams 
F.J. FerrerTroyano, J.S. AguilarRuiz, J.C. Riquelme 
1426 
Resourceaware Mining of Data Streams 
M.M. Gaber, S. Krishnaswamy, A. Zaslavsky 
1440 
Content of Issue 9
DOI: 10.3217/jucs01109

Computers and Education: Research and Experiences in eLearning Technology 
J. Bravo, B. FernándezManjón, J.M. SánchezPérez 
1454 
From Contents to Activities: Modelling Units of Learning 
M. CaeiroRodríguez, M. LlamasNistal, L. AnidoRifón 
1458 
Semantic Web Technologies Applied to elearning Personalization in <eaula> 
P. Sancho, I. Martínez, B. FernándezManjón 
1470 
A Tool for the Reinforcement of Conceptual Learning: Description and Use Experiences 
R. Moriyón, F. Saiz 
1482 
Ubiquitous Computing in the Classroom: An Approach through Identification Process 
J. Bravo, R. Hervás, G. Chavira 
1494 
Integrating Educational Tools for Collaborative Computer Programming Learning 
C. Bravo, M.J. Marcelino, A. Gomes, M. Esteves, A.J. Mendes 
1505 
From Chasqui to Chasqui II: an Evolution in the Conceptualization of Virtual Objects 
A. Navarro, J.L. Sierra, A. FernándezValmayor, H. Hernanz 
1518 
Authoring and Diagnosis of Learning Activities with the KADD ET Environment 
B. Ferrero, M. Martín, A. Alvarez, M. Urretavizcaya, I. FernándezCastro 
1530 
A System to Support Asynchronous Collaborative Learning Tasks Using PDAs 
A.I. Molina, M.A. Redondo, M. Ortega 
1543 
Case Studies in TeleEducation: Research and Projects 
M.A. VegaRodríguez, J.A. GómezPulido, J.M. SánchezPérez 
1555 
Integrating Ontologies into the Collaborative Authoring of Learning Objects 
J.M. Dodero, P. Díaz, A. Sarasa, I. Sarasa 
1568 
Content of Issue 10
DOI: 10.3217/jucs01110

Compositional Construction and Reasoning Techniques for Software 
F. Arbab, J.N. Kok 
1577 
From Algebras to Objects: Generation and Composition 
A.M. Cruz, L.S. Barbosa, J.N. Oliveira 
1580 
Analyzing Module Diversity 
A. Bergel, S. Ducasse, O. Nierstrasz 
1613 
A NonInvasive Approach to Assertive and Autonomous Dynamic Component Composition in the ServiceOriented Paradigm 
F. Cao, B.R. Bryant, R.R. Raje, A.M. Olson, M. Auguston, W. Zhao, C.C. Burt 
1645 
Coordinating Behavioral Descriptions of Components 
S. Amaro, E. Pimentel, A.M. Roldán 
1676 
Modular Verification of a ComponentBased Actor Language 
M. Sirjani, F.S. de Boer, A. Movaghar 
1695 
Probabilistic Models for Reo Connector Circuits 
C. Baier 
1718 
Content of Issue 11
DOI: 10.3217/jucs01111

Visual Data Mining 
J.S. AguilarRuiz, F.J. FerrerTroyano 
1749 
SemiAutomatic Visual Subgroup Mining using VIKAMINE 
M. Atzmueller, F. Puppe 
1752 
Scalable Visual Data Exploration of Large Data Sets via MultiResolution 
D.A. Keim, J. Schneidewind 
1766 
Visualizing Recommendation Flow on Social Network 
J.J. Jung 
1780 
Gravi++: Interactive Information Visualization to Explore Highly Structured Temporal Data 
K. Hinum, S. Miksch, W. Aigner, S. Ohmann, C. Popow, M. Pohl, M. Rester 
1792 
Visualization of Highdimensional Data via Orthogonal Curves 
C. GarcíaOsorio, C. Fyfe 
1806 
Integrating LiteWeight but Ubiquitous Data Mining into GUI Operating Systems 
L. Wei, E. Keogh, X. Xi, S. Lonardi 
1820 
Connecting Segments for Visual Data Exploration and Interactive Mining of Decision Rules 
F.J. FerrerTroyano, J.S. AguilarRuiz, J.C. Riquelme 
1835 
Visualization and Manipulation of Incomplete and Uncertain Dependencies by Decision Diagrams 
D.V. Popel 
1849 
Content of Issue 12
DOI: 10.3217/jucs01112

Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges 
C.S. Calude, H. Ishihara 
1863 
Constructive Suprema 
M.A. Baroni 
1865 
Constructive Equivalents of the Uniform Continuity Theorem 
J. Berger 
1878 
Computability of the Spectrum of SelfAdjoint Operators 
V. Brattka, R. Dillhage 
1884 
Algorithmic Irreducibility in a Cellular Automata Universe 
G. Chaitin 
1901 
Constructive Analysis of Iterated Rational Functions 
J. Clark 
1904 
Formal Topology and Constructive Mathematics: the Gelfand and StoneYosida Representation Theorems 
T. Coquand, B. Spitters 
1932 
Axiomatic Classes of Intuitionistic Models 
R. Goldblatt 
1945 
On Firmness of the State Space and Positive Elements of a Banach Algebra 
R.S. Havea 
1963 
Nonrandom Sequences between Random Sequences 
P. Hertling 
1970 
Permutability of Rules for Linear Lattices 
S. Negri 
1986 
Quotient Spaces and Coequalisers in Formal Topology 
E. Palmgren 
1996 
Constructive Set Theory and Brouwerian Principles 
M. Rathjen 
2008 
Constructing Programs or Processes 
S. Reeves, D. Streader 
2034 
Constructive Aspects of Markov Chains 
F. Richman 
2046 
On the Meaning of Positivity Relations for Regular Formal Spaces 
G. Sambin, G. Trentinaglia 
2056 
Functional Dependencies with Counting on Trees 
K.D. Schewe 
2063 
What is Continuity, Constructively? 
P. Schuster 
2076 
A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis 
H. Schwichtenberg 
2086 
Constructive Results on Operator Algebras 
B. Spitters 
2096 
Hausdorff Measure and Lukasiewicz Languages 
L. Staiger 
2114 
New Bounds for Positive Roots of Polynomials 
D. Ştefănescu 
2125 
How the Mathematical Objects Determine the Mathematical Principles 
D. van Dalen 
2132 
Perhaps the Intermediate Value Theorem 
W. Veldman 
2142 
On Complements of Sets and the Efremovič Condition in Preapartness Spaces 
L.S. Vîţă 
2159 
A Constructive Approach to Sylvester's Conjecture 
J. von Plato 
2165 
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion 
M. Yasugi, Y. Tsujii, T. Mori 
2179 
