J.UCS, Volume 11

Volume 11, Number 1, 2005

• Ajith Abraham, Johnson P. Thomas, Sugata Sanyal, Lakhmi C. Jain:
  Information Assurance and Security. 1-3
  
• Frank Adelstein, Prasanth Alla, Rob Joyce, Golden G. Richard III:
  Physically Locating Wireless Intruders. 4-19
  
• Sriranjani Sitaraman, Subbarayan Venkatesan:
  Low-Intrusive Consistent Disk Checkpointing: A Tool for Digital Forensics. 20-36
  
• In Joe Khor, Johnson P. Thomas, Istvan Jonyer:
  Sliding Window Protocol for Secure Group Communication in Ad-Hoc Networks. 37-55
  
• Nedeljko Cvejic, Tapio Seppänen:
  Increasing Robustness of LSB Audio Steganography by Reduced Distortion LSB Coding. 56-65
  
• Nadia Nedjah, Luiza de Macedo Mourelle:
  Software/Hardware Co-Design of Efficient and Secure Cryptographic Hardware. 66-82
  
• Sachin P. Joglekar, Stephen R. Tate:
  ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention. 83-103
  
• Rangarajan Vasudevan, Ajith Abraham, Sugata Sanyal:
  A Novel Scheme for Secured Data Transfer Over Computer Networks. 104-121
  
• Ravi Sankar Veerubhotla, Ashutosh Saxena, Ved Prakash Gulati, Arun K. Pujari:
  Gossip Codes for Fingerprinting: Construction, Erasure Analysis and Pirate Tracing. 122-149
  
• Valentina Casola, Rosa Preziosi, Massimiliano Rak, Luigi Troiano:
  A Reference Model for Security Level Evaluation: Policy and Fuzzy Techniques. 150-174
  
• Aleksandra Nenadic, Ning Zhang, Barry M. G. Cheetham, Carole A. Goble:
  RSA-based Certified Delivery of E-Goods Using Verifiable and Recoverable Signature Encryption. 175-192
  
• Jisun Park, K. Suzanne Barber:
  Information Quality Assurance by Lazy Exploration of Information Source Combinations Space in Open Multi-Agent Systems. 193-209
  

Volume 11, Number 2, 2005

• Ngoc Thanh Nguyen, Janusz Sobecki:
  Modern Technologies for Web-based Adaptive Systems. 210-212
  
• Jason J. Jung:
  Collaborative Web Browsing Based on Semantic Extraction of User Interests with Bookmarks. 213-228
  
• Maciej Kiewra:
  RankFeed - Recommendation as Searching without Queries: New Hybrid Method of Recommendation. 229-249
  
• Janusz Sobecki:
  Consensus-Based Hybrid Adaptation of Web Systems User Interfaces. 250-270
  
• Juliusz L. Kulikowski:
  Creation of Information Profiles in Distributed Databasesas a Game Problem. 271-284
  
• Ngoc Thanh Nguyen:
  Processing Inconsistency of Knowledge on Semantic Level. 285-302
  
• Frantisek Capkovic:
  An Application of the DEDS Control Synthesis Method. 303-326
  
• Andrzej Gecow, Mariusz Nowostawski, Martin K. Purvis:
  Structural Tendencies in Complex Systems Development and their Implication for Software Systems. 327-356
  
• Radoslaw Katarzyniak:
  The Language Grounding Problem and its Relation to the Internal Structure of Cognitive Agents. 357-374
  

Volume 11, Number 3, 2005

• Stefanie N. Lindstaedt, Johannes Farmer:
  Integration of Knowledge Management and (e)Learning. 375-377
  
• Stefan Münyer, Bo Xiao:
  Small Groups Learning Synchronously Online at the Workplace: The Interaction of Factors Determining Outcome and Acceptance. 378-393
  
• Eric Ras, Gabriela Avram, Patrick E. Waterson, Stephan Weibelzahl:
  Using Weblogs for Knowledge Sharing and Learning in Information Spaces. 394-409
  
• André Köhler, Frank Fuchs-Kittowski:
  Integration of Communities into Process-Oriented Structures. 410-425
  

Volume 11, Number 4, 2005

• Markus Strohmaier, Stefanie N. Lindstaedt:
  Integrating Business Processes and Knowledge Infrastructures. 426-428
  
• Ronald Maier:
  Modeling Knowledge Work for the Design of Knowledge Infrastructures. 429-451
  
• Norbert Gronau, Claudia Müller, Roman Korf:
  KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes. 452-472
  
• Remo Aslak Burkhard, Michael Meier:
  Tube Map Visualization: Evaluation of a Novel Knowledge Visualization Application for the Transfer of Knowledge in Long-Term Projects. 473-494
  
• Tomaso Forzi, Meikel Peters:
  A Methodology and a Toolkit that Integrate Technological, Organisational, and Human Factors to Design KM within Knowledge-Intensive Networks. 495-525
  
• Valentina Janev, Sanja Vranes:
  The Role of Knowledge Management Solutions in Enterprise Business Processes. 526-545
  
• Greg Timbrell, Stefan Koller, Nev Schefe, Stefanie N. Lindstaedt:
  A Knowledge Infrastructure Hierarchy Model for Call-Centre Processes. 546-564
  
• Robert Woitsch, Dimitris Karagiannis:
  Process Oriented Knowledge Management: A Service Based Approach. 565-588
  
• Schahram Dustdar:
  Reconciling Knowledge Management and Workflow Management Systems: The Activity-Based Knowledge Management Approach. 589-604
  
• Karsten Böhm, Wolf Engelbach, Jörg Härtwig, Martin Wilcken, Martin Delp:
  Modelling and Implementing Pre-built Information Spaces. Architecture and Methods for Process Oriented Knowledge Management. 605-633
  

Volume 11, Number 5, 2005

• Jon Burton, Cliff B. Jones:
  Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. 634-635
  
• Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
  The Atomic Manifesto. 636-651
  
• J. Eliot B. Moss, Ravi Rajwar:
  Atomicity as a First-Class System Provision. 651-660
  
• Jon Burton, Cliff B. Jones:
  Investigating Atomicity and Observability. 661-686
  
• Jörg Kienzle:
  On Atomicity and Software Development. 687-702
  
• Richard Ekwall, André Schiper:
  Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems. 703-711
  
• Michael J. Butler, Carla Ferreira, Muan Yong Ng:
  Precise Modelling of Compensating Business Transactions and its Application to BPEL. 712-743
  
• Jean-Raymond Abrial, Dominique Cansell:
  Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). 744-770
  
• Jon Burton:
  Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism. 771-802
  

Volume 11, Number 6, 2005

• Hermann A. Maurer:
  Managing Editor's Column. 803-803
  
• Alireza Bagheri, Mohammadreza Razzazi:
  How to Draw Free Trees Inside Bounded Simple Polygons. 804-829
  
• Vasilis Delis, Christos Makris, Spyros Sioutas:
  A Provably Efficient Computational Model For Approximate Spatiotemporal Retrieval. 830-849
  
• Michele Di Santo, Franco Frattolillo:
  Time Costs in Actor Computations. 850-873
  
• Nabaway El-Ramly, A. S. Habib, Omar S. Essa, Hani M. Harb:
  Analysis, Design, and Performance Evaluation of MS-RTCP: More Scalable Scheme for the Real-Time Control Protocol. 874-897
  
• Moheb R. Girgis:
  Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm. 898-915
  
• Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
  On Theoretical Upper Bounds for Routing Estimation. 916-925
  
• Josef Kolbitsch:
  Fine-Grained Transclusions of Multimedia Documents in HTML. 926-943
  
• Vladimír Kutálek, Václav Dvorák:
  On Complexity of Collective Communications on a Fat Cube Topology. 944-961
  
• Aamer Nadeem, Muhammad Jaffar-Ur Rehman:
  TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications. 962-985
  
• Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa:
  A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem. 986-1010
  
• Domenico Rosaci:
  Exploiting Agent Ontologies in B2C Virtual Marketplaces. 1011-1039
  
• Palash Sarkar:
  Domain Extenders for UOWHF: A Finite Binary Tree Algorithm. 1040-1053
  
• Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
  Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. 1054-1082
  
• Jia Yang, Ulrich Speidel:
  A Fast T-decomposition Algorithm. 1083-1101
  
• Ennumeri A. Zanaty, Moheb R. Girgis:
  Collect the Fitted Surfaces Into Complex Based On C₀ Continuity. 1102-1114
  
• Belhassen Zouari:
  A Structure Causality Relation for Liveness Characterisation in Petri Nets. 1115-1133
  

Volume 11, Number 7, 2005

• Martin A. Musicante, Ricardo Massa Ferreira Lima:
  The 9_th Brazilian Symposium on Programming Languages J.UCS Special Issue. 1115-1116
  
• Peter D. Mosses:
  A Constructive Approach to Language Definition. 1117-1134
  
• Mary Sheeran:
  Hardware Design and Functional Programming: a Perfect Match. 1135-1158
  
• Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho:
  The Implementation of Lua 5.0. 1159-1176
  
• Nélio Cacho, Thaís Vasconcelos Batista, Fabrício Fernandes:
  AspectLua - A Dynamic AOP Approach. 1177-1197
  
• Marcus Amorim Leal, Roberto Ierusalimschy:
  A Formal Semantics for Finalizers. 1198-1214
  
• Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
  PEWS: A New Language for Building Web Service Interfaces. 1215-1233
  
• André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
  mHaskell: Mobile Computation in a Purely Functional Language. 1234-1254
  
• Monique Monteiro, Mauro Araújo, Rafael Borges, André Santos:
  Compiling Non-strict Functional Languages for the .NET Platform. 1255-1274
  
• Fabio Mascarenhas, Roberto Ierusalimschy:
  Running Lua Scripts on the CLR through Bytecode Translation. 1275-1290
  
• Anderson Faustino da Silva, Vítor Santos Costa:
  An Experimental Evaluation of JAVA JIT Technology. 1291-1309
  
• Tarmo Uustalu, Varmo Vene:
  Signals and Comonads. 1310-1326
  
• Marcelo d'Amorim, Grigore Rosu:
  An Equational Specification for the Scheme Language. 1327-1348
  

Volume 11, Number 8, 2005

• Jesús S. Aguilar-Ruiz, João Gama:
  Data Streams J.UCS Special Issue. 1349-1352
  
• João Gama, Pedro Medas:
  Learning Decision Trees from Dynamic Data Streams. 1353-1366
  
• Wei Yan:
  Network Attack Scenarios Extraction and Categorization by Mining IDS Alert Streams. 1367-1382
  
• Jason J. Jung:
  Semantic Preprocessing of Web Request Streams for Web Usage Mining. 1383-1396
  
• Like Gao, Min Wang, Xiaoyang Sean Wang:
  Evaluating Trigger Conditions on Streaming Time Series with User-given Quality Requirements. 1397-1410
  
• Hua-Fu Li, Suh-Yin Lee, Man-Kwan Shan:
  Online Mining Changes of Items over Continuous Append-only and Dynamic Data Streams. 1411-1425
  
• Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos:
  Incremental Rule Learning and Border Examples Selection from Numerical Data Streams. 1426-1439
  
• Mohamed Medhat Gaber, Shonali Krishnaswamy, Arkady B. Zaslavsky:
  Resource-aware Mining of Data Streams. 1440-1453
  

Volume 11, Number 9, 2005

• José Bravo, Baltasar Fernández-Manjón, Juan Manuel Sónchez Pérez:
  Computers and Education: Research and Experiences in eLearning Technology J.UCS Special Issue. 1454-1457
  
• Manuel Caeiro Rodríguez, Martín Llamas Nistal, Luis E. Anido-Rifón:
  From Contents to Activities: Modelling Units of Learning. 1458-1469
  
• Pilar Sancho, Iván Martínez-Ortiz, Baltasar Fernández-Manjón:
  Semantic Web Technologies Applied to e-learning Personalization in <e-aula>. 1470-1481
  
• Roberto Moriyón, Francisco Saiz:
  A Tool for the Reinforcement of Conceptual Learning: Description and Use Experiences. 1482-1493
  
• José Bravo, Ramón Hervás, Gabriel Chavira:
  Ubiquitous Computing in the Classroom: An Approach through Identification Process. 1494-1504
  
• Crescencio Bravo, Maria José Marcelino, Anabela Jesus Gomes, Micaela Esteves, António José Mendes:
  Integrating Educational Tools for Collaborative Computer Programming Learning. 1505-1517
  
• Antonio Navarro, José Luis Sierra, Alfredo Fernández-Valmayor, Héctor Hernanz:
  From Chasqui to Chasqui II: an Evolution in the Conceptualization of Virtual Objects. 1518-1529
  
• Begoña Ferrero, Maite Martín, Ainhoa Alvarez, Maite Urretavizcaya, Isabel Fernández-Castro:
  Authoring and Diagnosis of Learning Activities with the KADD ET Environment. 1530-1542
  
• Ana I. Molina, Miguel A. Redondo, Manuel Ortega:
  A System to Support Asynchronous Collaborative Learning Tasks Using PDAs. 1543-1554
  
• Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez:
  Case Studies in Tele-Education: Research and Projects. 1555-1567
  
• Juan Manuel Dodero, Paloma Díaz, Ignacio Aedo, Antonio Sarasa Cabezuelo:
  Integrating Ontologies into the Collaborative Authoring of Learning Objects. 1568-1578
  

Volume 11, Number 10, November 2005

• Farhad Arbab, Joost N. Kok:
  Compositional Construction and Reasoning Techniques for Software. 1577-1579
  
• A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira:
  From Algebras to Objects: Generation and Composition. 1580-1612
  
• Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz:
  Analyzing Module Diversity. 1613-1644
  
• Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston, Wei Zhao, Carol C. Burt:
  A Non-Invasive Approach to Assertive and Autonomous Dynamic Component Composition in the Service-Oriented Paradigm. 1645-1675
  
• Silvia Amaro, Ernesto Pimentel, Ana M. Roldán:
  Coordinating Behavioral Descriptions of Components. 1676-1694
  
• Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi:
  Modular Verification of a Component-Based Actor Language. 1695-1717
  
• Christel Baier:
  Probabilistic Models for Reo Connector Circuits. 1718-1748
  

Volume 11, Number 11, November 2005

• Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano:
  Visual Data Mining. 1749-1751
  
• Martin Atzmüller, Frank Puppe:
  Semi-Automatic Visual Subgroup Mining using VIKAMINE. 1752-1765
  
• Daniel A. Keim, Jörn Schneidewind:
  Scalable Visual Data Exploration of Large Data Sets via MultiResolution. 1766-1779
  
• Jason J. Jung:
  Visualizing Recommendation Flow on Social Network. 1780-1791
  
• Klaus Hinum, Silvia Miksch, Wolfgang Aigner, Susanne Ohmann, Christian Popow, Margit Pohl, Markus Rester:
  Gravi++: Interactive Information Visualization to Explore Highly Structured Temporal Data. 1792-1805
  
• Cesar García-Osorio, Colin Fyfe:
  Visualization of High-dimensional Data via Orthogonal Curves. 1806-1819
  
• Li Wei, Eamonn J. Keogh, Xiaopeng Xi, Stefano Lonardi:
  Integrating Lite-Weight but Ubiquitous Data Mining into GUI Operating Systems. 1820-1834
  
• Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos:
  Connecting Segments for Visual Data Exploration and Interactive Mining of Decision Rules. 1835-1848
  
• Denis V. Popel:
  Visualization and Manipulation of Incomplete and Uncertain Dependencies by Decision Diagrams. 1848-1862
  

Volume 11, Number 12, November 2005

• Cristian S. Calude, Hajime Ishihara:
  Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. 1863-1865
  
• Marian Alexandru Baroni:
  Constructive Suprema. 1865-1877
  
• Josef Berger:
  Constructive Equivalents of the Uniform Continuity Theorem. 1878-1883
  
• Vasco Brattka, Ruth Dillhage:
  Computability of the Spectrum of Self-Adjoint Operators. 1884-1900
  
• Gregory J. Chaitin:
  Algorithmic Irreducibility in a Cellular Automata Universe. 1901-1903
  
• Jeremy Clark:
  Constructive Analysis of Iterated Rational Functions. 1904-1931
  
• Thierry Coquand, Bas Spitters:
  Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems. 1932-1944
  
• Robert Goldblatt:
  Axiomatic Classes of Intuitionistic Models. 1945-1962
  
• Robin Havea:
  On Firmness of the State Space and Positive Elements of a Banach Algebra. 1963-1969
  
• Peter Hertling:
  Nonrandom Sequences between Random Sequences. 1970-1985
  
• Sara Negri:
  Permutability of Rules for Linear Lattices. 1986-1995
  
• Erik Palmgren:
  Quotient Spaces and Coequalisers in Formal Topology. 1996-2007
  
• Michael Rathjen:
  Constructive Set Theory and Brouwerian Principles. 2008-2033
  
• Steve Reeves, David Streader:
  Constructing Programs or Processes. 2034-2045
  
• Fred Richman:
  Constructive Aspects of Markov Chains. 2046-2055
  
• Giovanni Sambin, Giorgio Trentinaglia:
  On the Meaning of Positivity Relations for Regular Formal Spaces. 2056-2062
  
• Klaus-Dieter Schewe:
  Functional Dependencies with Counting on Trees. 2063-2075
  
• Peter Schuster:
  What is Continuity, Constructively? 2076-2085
  
• Helmut Schwichtenberg:
  A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis. 2086-2095
  
• Bas Spitters:
  Constructive Results on Operator Algebras. 2096-2113
  
• Ludwig Staiger:
  Hausdorff Measure and Lukasiewicz Languages. 2114-2124
  
• Doru Stefanescu:
  New Bounds for Positive Roots of Polynomials. 2125-2131
  
• Dirk van Dalen:
  How the Mathematical Objects Determine the Mathematical Principles. 2132-2141
  
• Wim Veldman:
  Perhaps the Intermediate Value Theorem. 2142-2158
  
• Luminita Simona Vîta:
  On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces. 2159-2164
  
• Jan von Plato:
  A Constructive Approach to Sylvester's Conjecture. 2165-2178
  
• Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori:
  Sequential Computability of a Function. Effective Fine Space and Limiting Recursion. 2179-
  

Last update Mon May 20 18:09:00 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page