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
Volume 11, Number 3, 2005
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 C0 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 9th 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