![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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, Robert A. 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 P. 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 - 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 de Alexandria 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é L. M. 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 - 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 - César Ignacio 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-
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.