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
Electronic Edition (link) BibTeX
- Frank Adelstein, Prasanth Alla, Rob Joyce, Golden G. Richard III:
Physically Locating Wireless Intruders.
4-19
Electronic Edition (link) BibTeX
- Sriranjani Sitaraman, S. Venkatesan:
Low-Intrusive Consistent Disk Checkpointing: A Tool for Digital Forensics.
20-36
Electronic Edition (link) BibTeX
- In Joe Khor, Johnson P. Thomas, Istvan Jonyer:
Sliding Window Protocol for Secure Group Communication in Ad-Hoc Networks.
37-55
Electronic Edition (link) BibTeX
- Nedeljko Cvejic, Tapio Seppänen:
Increasing Robustness of LSB Audio Steganography by Reduced Distortion LSB Coding.
56-65
Electronic Edition (link) BibTeX
- Nadia Nedjah, Luiza de Macedo Mourelle:
Software/Hardware Co-Design of Efficient and Secure Cryptographic Hardware.
66-82
Electronic Edition (link) BibTeX
- Sachin P. Joglekar, Stephen R. Tate:
ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention.
83-103
Electronic Edition (link) BibTeX
- Rangarajan Vasudevan, Ajith Abraham, Sugata Sanyal:
A Novel Scheme for Secured Data Transfer Over Computer Networks.
104-121
Electronic Edition (link) BibTeX
- Ravi Sankar Veerubhotla, Ashutosh Saxena, Ved Prakash Gulati, Arun K. Pujari:
Gossip Codes for Fingerprinting: Construction, Erasure Analysis and Pirate Tracing.
122-149
Electronic Edition (link) BibTeX
- Valentina Casola, Rosa Preziosi, Massimiliano Rak, Luigi Troiano:
A Reference Model for Security Level Evaluation: Policy and Fuzzy Techniques.
150-174
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jisun Park, K. Suzanne Barber:
Information Quality Assurance by Lazy Exploration of Information Source Combinations Space in Open Multi-Agent Systems.
193-209
Electronic Edition (link) BibTeX
Volume 11,
Number 2,
2005
Volume 11,
Number 3,
2005
Volume 11,
Number 4,
2005
- Markus Strohmaier, Stefanie N. Lindstaedt:
Integrating Business Processes and Knowledge Infrastructures.
426-428
Electronic Edition (link) BibTeX
- Ronald Maier:
Modeling Knowledge Work for the Design of Knowledge Infrastructures.
429-451
Electronic Edition (link) BibTeX
- Norbert Gronau, Claudia Müller, Roman Korf:
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes.
452-472
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Valentina Janev, Sanja Vranes:
The Role of Knowledge Management Solutions in Enterprise Business Processes.
526-545
Electronic Edition (link) BibTeX
- Greg Timbrell, Stefan Koller, Nev Schefe, Stefanie N. Lindstaedt:
A Knowledge Infrastructure Hierarchy Model for Call-Centre Processes.
546-564
Electronic Edition (link) BibTeX
- Robert Woitsch, Dimitris Karagiannis:
Process Oriented Knowledge Management: A Service Based Approach.
565-588
Electronic Edition (link) BibTeX
- Schahram Dustdar:
Reconciling Knowledge Management and Workflow Management Systems: The Activity-Based Knowledge Management Approach.
589-604
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
The Atomic Manifesto.
636-651
Electronic Edition (link) BibTeX
- J. Eliot B. Moss, Ravi Rajwar:
Atomicity as a First-Class System Provision.
651-660
Electronic Edition (link) BibTeX
- Jon Burton, Cliff B. Jones:
Investigating Atomicity and Observability.
661-686
Electronic Edition (link) BibTeX
- Jörg Kienzle:
On Atomicity and Software Development.
687-702
Electronic Edition (link) BibTeX
- Richard Ekwall, André Schiper:
Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems.
703-711
Electronic Edition (link) BibTeX
- Michael J. Butler, Carla Ferreira, Muan Yong Ng:
Precise Modelling of Compensating Business Transactions and its Application to BPEL.
712-743
Electronic Edition (link) BibTeX
- Jean-Raymond Abrial, Dominique Cansell:
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity).
744-770
Electronic Edition (link) BibTeX
- Jon Burton:
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism.
771-802
Electronic Edition (link) BibTeX
Volume 11,
Number 6,
2005
- Hermann A. Maurer:
Managing Editor's Column.
803-803
Electronic Edition (link) BibTeX
- Alireza Bagheri, Mohammadreza Razzazi:
How to Draw Free Trees Inside Bounded Simple Polygons.
804-829
Electronic Edition (link) BibTeX
- Vasilis Delis, Christos Makris, Spyros Sioutas:
A Provably Efficient Computational Model For Approximate Spatiotemporal Retrieval.
830-849
Electronic Edition (link) BibTeX
- Michele Di Santo, Franco Frattolillo:
Time Costs in Actor Computations.
850-873
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Moheb R. Girgis:
Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm.
898-915
Electronic Edition (link) BibTeX
- Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun:
On Theoretical Upper Bounds for Routing Estimation.
916-925
Electronic Edition (link) BibTeX
- Josef Kolbitsch:
Fine-Grained Transclusions of Multimedia Documents in HTML.
926-943
Electronic Edition (link) BibTeX
- Vladimír Kutálek, Václav Dvorák:
On Complexity of Collective Communications on a Fat Cube Topology.
944-961
Electronic Edition (link) BibTeX
- Aamer Nadeem, Muhammad Jaffar-Ur Rehman:
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications.
962-985
Electronic Edition (link) BibTeX
- Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa:
A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem.
986-1010
Electronic Edition (link) BibTeX
- Domenico Rosaci:
Exploiting Agent Ontologies in B2C Virtual Marketplaces.
1011-1039
Electronic Edition (link) BibTeX
- Palash Sarkar:
Domain Extenders for UOWHF: A Finite Binary Tree Algorithm.
1040-1053
Electronic Edition (link) BibTeX
- Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
1054-1082
Electronic Edition (link) BibTeX
- Jia Yang, Ulrich Speidel:
A Fast T-decomposition Algorithm.
1083-1101
Electronic Edition (link) BibTeX
- Ennumeri A. Zanaty, Moheb R. Girgis:
Collect the Fitted Surfaces Into Complex Based On C0 Continuity.
1102-1114
Electronic Edition (link) BibTeX
- Belhassen Zouari:
A Structure Causality Relation for Liveness Characterisation in Petri Nets.
1115-1133
Electronic Edition (link) BibTeX
Volume 11,
Number 7,
2005
- Martin A. Musicante, Ricardo Massa Ferreira Lima:
The 9th Brazilian Symposium on Programming Languages J.UCS Special Issue.
1115-1116
Electronic Edition (link) BibTeX
- Peter D. Mosses:
A Constructive Approach to Language Definition.
1117-1134
Electronic Edition (link) BibTeX
- Mary Sheeran:
Hardware Design and Functional Programming: a Perfect Match.
1135-1158
Electronic Edition (link) BibTeX
- Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes Filho:
The Implementation of Lua 5.0.
1159-1176
Electronic Edition (link) BibTeX
- Nélio Cacho, Thaís Vasconcelos Batista, Fabrício Fernandes:
AspectLua - A Dynamic AOP Approach.
1177-1197
Electronic Edition (link) BibTeX
- Marcus Amorim Leal, Roberto Ierusalimschy:
A Formal Semantics for Finalizers.
1198-1214
Electronic Edition (link) BibTeX
- Cheikh Ba, Marcos Aurélio Carrero, Mirian Halfeld Ferrari Alves, Martin A. Musicante:
PEWS: A New Language for Building Web Service Interfaces.
1215-1233
Electronic Edition (link) BibTeX
- André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
mHaskell: Mobile Computation in a Purely Functional Language.
1234-1254
Electronic Edition (link) BibTeX
- Monique Monteiro, Mauro Araújo, Rafael Borges, André Santos:
Compiling Non-strict Functional Languages for the .NET Platform.
1255-1274
Electronic Edition (link) BibTeX
- Fabio Mascarenhas, Roberto Ierusalimschy:
Running Lua Scripts on the CLR through Bytecode Translation.
1275-1290
Electronic Edition (link) BibTeX
- Anderson Faustino da Silva, Vítor Santos Costa:
An Experimental Evaluation of JAVA JIT Technology.
1291-1309
Electronic Edition (link) BibTeX
- Tarmo Uustalu, Varmo Vene:
Signals and Comonads.
1310-1326
Electronic Edition (link) BibTeX
- Marcelo d'Amorim, Grigore Rosu:
An Equational Specification for the Scheme Language.
1327-1348
Electronic Edition (link) BibTeX
Volume 11,
Number 8,
2005
- Jesús S. Aguilar-Ruiz, João Gama:
Data Streams J.UCS Special Issue.
1349-1352
Electronic Edition (link) BibTeX
- João Gama, Pedro Medas:
Learning Decision Trees from Dynamic Data Streams.
1353-1366
Electronic Edition (link) BibTeX
- Wei Yan:
Network Attack Scenarios Extraction and Categorization by Mining IDS Alert Streams.
1367-1382
Electronic Edition (link) BibTeX
- Jason J. Jung:
Semantic Preprocessing of Web Request Streams for Web Usage Mining.
1383-1396
Electronic Edition (link) BibTeX
- Like Gao, Min Wang, Xiaoyang Sean Wang:
Evaluating Trigger Conditions on Streaming Time Series with User-given Quality Requirements.
1397-1410
Electronic Edition (link) BibTeX
- Hua-Fu Li, Suh-Yin Lee, Man-Kwan Shan:
Online Mining Changes of Items over Continuous Append-only and Dynamic Data Streams.
1411-1425
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Mohamed Medhat Gaber, Shonali Krishnaswamy, Arkady B. Zaslavsky:
Resource-aware Mining of Data Streams.
1440-1453
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Manuel Caeiro Rodríguez, Martín Llamas Nistal, Luis E. Anido-Rifón:
From Contents to Activities: Modelling Units of Learning.
1458-1469
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Roberto Moriyón, Francisco Saiz:
A Tool for the Reinforcement of Conceptual Learning: Description and Use Experiences.
1482-1493
Electronic Edition (link) BibTeX
- José Bravo, Ramón Hervás, Gabriel Chavira:
Ubiquitous Computing in the Classroom: An Approach through Identification Process.
1494-1504
Electronic Edition (link) BibTeX
- Crescencio Bravo, Maria José Marcelino, Anabela Gomes, Micaela Esteves, António José Mendes:
Integrating Educational Tools for Collaborative Computer Programming Learning.
1505-1517
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ana I. Molina, Miguel A. Redondo, Manuel Ortega:
A System to Support Asynchronous Collaborative Learning Tasks Using PDAs.
1543-1554
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Juan Manuel Dodero, Paloma Díaz, Ignacio Aedo, Antonio Sarasa:
Integrating Ontologies into the Collaborative Authoring of Learning Objects.
1568-1578
Electronic Edition (link) BibTeX
Volume 11,
Number 10,
November 2005
- Farhad Arbab, Joost N. Kok:
Compositional Construction and Reasoning Techniques for Software.
1577-1579
Electronic Edition (link) BibTeX
- A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira:
From Algebras to Objects: Generation and Composition.
1580-1612
Electronic Edition (link) BibTeX
- Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz:
Analyzing Module Diversity.
1613-1644
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Silvia Amaro, Ernesto Pimentel, Ana M. Roldán:
Coordinating Behavioral Descriptions of Components.
1676-1694
Electronic Edition (link) BibTeX
- Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi:
Modular Verification of a Component-Based Actor Language.
1695-1717
Electronic Edition (link) BibTeX
- Christel Baier:
Probabilistic Models for Reo Connector Circuits.
1718-1748
Electronic Edition (link) BibTeX
Volume 11,
Number 11,
November 2005
- Jesús S. Aguilar-Ruiz, Francisco J. Ferrer-Troyano:
Visual Data Mining.
1749-1751
Electronic Edition (link) BibTeX
- Martin Atzmüller, Frank Puppe:
Semi-Automatic Visual Subgroup Mining using VIKAMINE.
1752-1765
Electronic Edition (link) BibTeX
- Daniel A. Keim, Jörn Schneidewind:
Scalable Visual Data Exploration of Large Data Sets via MultiResolution.
1766-1779
Electronic Edition (link) BibTeX
- Jason J. Jung:
Visualizing Recommendation Flow on Social Network.
1780-1791
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Cesar García-Osorio, Colin Fyfe:
Visualization of High-dimensional Data via Orthogonal Curves.
1806-1819
Electronic Edition (link) BibTeX
- Li Wei, Eamonn J. Keogh, Xiaopeng Xi, Stefano Lonardi:
Integrating Lite-Weight but Ubiquitous Data Mining into GUI Operating Systems.
1820-1834
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Denis V. Popel:
Visualization and Manipulation of Incomplete and Uncertain Dependencies by Decision Diagrams.
1848-1862
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Marian Alexandru Baroni:
Constructive Suprema.
1865-1877
Electronic Edition (link) BibTeX
- Josef Berger:
Constructive Equivalents of the Uniform Continuity Theorem.
1878-1883
Electronic Edition (link) BibTeX
- Vasco Brattka, Ruth Dillhage:
Computability of the Spectrum of Self-Adjoint Operators.
1884-1900
Electronic Edition (link) BibTeX
- Gregory J. Chaitin:
Algorithmic Irreducibility in a Cellular Automata Universe.
1901-1903
Electronic Edition (link) BibTeX
- Jeremy Clark:
Constructive Analysis of Iterated Rational Functions.
1904-1931
Electronic Edition (link) BibTeX
- Thierry Coquand, Bas Spitters:
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems.
1932-1944
Electronic Edition (link) BibTeX
- Robert Goldblatt:
Axiomatic Classes of Intuitionistic Models.
1945-1962
Electronic Edition (link) BibTeX
- Robin Havea:
On Firmness of the State Space and Positive Elements of a Banach Algebra.
1963-1969
Electronic Edition (link) BibTeX
- Peter Hertling:
Nonrandom Sequences between Random Sequences.
1970-1985
Electronic Edition (link) BibTeX
- Sara Negri:
Permutability of Rules for Linear Lattices.
1986-1995
Electronic Edition (link) BibTeX
- Erik Palmgren:
Quotient Spaces and Coequalisers in Formal Topology.
1996-2007
Electronic Edition (link) BibTeX
- Michael Rathjen:
Constructive Set Theory and Brouwerian Principles.
2008-2033
Electronic Edition (link) BibTeX
- Steve Reeves, David Streader:
Constructing Programs or Processes.
2034-2045
Electronic Edition (link) BibTeX
- Fred Richman:
Constructive Aspects of Markov Chains.
2046-2055
Electronic Edition (link) BibTeX
- Giovanni Sambin, Giorgio Trentinaglia:
On the Meaning of Positivity Relations for Regular Formal Spaces.
2056-2062
Electronic Edition (link) BibTeX
- Klaus-Dieter Schewe:
Functional Dependencies with Counting on Trees.
2063-2075
Electronic Edition (link) BibTeX
- Peter Schuster:
What is Continuity, Constructively?
2076-2085
Electronic Edition (link) BibTeX
- Helmut Schwichtenberg:
A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis.
2086-2095
Electronic Edition (link) BibTeX
- Bas Spitters:
Constructive Results on Operator Algebras.
2096-2113
Electronic Edition (link) BibTeX
- Ludwig Staiger:
Hausdorff Measure and Lukasiewicz Languages.
2114-2124
Electronic Edition (link) BibTeX
- Doru Stefanescu:
New Bounds for Positive Roots of Polynomials.
2125-2131
Electronic Edition (link) BibTeX
- Dirk van Dalen:
How the Mathematical Objects Determine the Mathematical Principles.
2132-2141
Electronic Edition (link) BibTeX
- Wim Veldman:
Perhaps the Intermediate Value Theorem.
2142-2158
Electronic Edition (link) BibTeX
- Luminita Simona Vîta:
On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces.
2159-2164
Electronic Edition (link) BibTeX
- Jan von Plato:
A Constructive Approach to Sylvester's Conjecture.
2165-2178
Electronic Edition (link) BibTeX
- Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori:
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion.
2179-
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:12:23 2009
by Michael Ley (ley@uni-trier.de)
