Vol. 17, No. 12, 2011: Virtual Environments for Collaborative Innovation and Learning. Networked technologies, especially social software applications, provide new affordances that facilitate collaborative creativity among staff members of organizations. The articles in the issue focus on the design of virtual environments for collaborative innovation and learning. Guest editors: Symeon Retalis from the (Department of Digital Systems, University of Piraeus, Greece and Peter B. Sloepfrom the Open Universiteit in the Netherlands, The Netherlands.
Vol. 17, No. 10, 2011: Knowledge Work: Knowledge Worker Productivity, Collaboration and User Support. The articles in the issue focus on various aspects of knowledge work, namely knowledge worker productivity, collaboration and user support. Guest editors: Michael Granitzer and Stefanie N. Lindstaedt from the Know-Center Graz and Graz University of Technology, Graz, Austria.
Vol. 17, No. 9, 2011: Software Technologies in Knowledge Society. The special issue emphasizes Knowledge and Learning Management Technologies, in Social Networks Research, and Technology Enhanced Learning and E-learning Innovations. Guest editors: Miltiadis Lytras from the The American College of Greece, Greece and Patricia Ordoñez de Pablos from the University of Oviedo, Spain.
Vol. 17, No. 8, 2011: Cloud Computing. The articles of this issue present different aspects of cloud computing. Guest editors: David Taniar from the Monash University, Melbourne, Australia, Ismail Khalil from the Johannes Kepler University Linz, Austria and Eric Pardede from the La Trobe University, Melbourne, Australia.
Vol. 17, No. 7, 2011: Semantic Web: Theory and Applications. The articles presented in this issue address theoretical and application-oriented aspects of the Semantic Web. Guest editors: Michael Granitzer and Stefanie N. Lindstaedt from the Know-Center Graz and Graz University of Technology, Graz, Austria.
Vol. 17, No. 5, 2011: Software Components, Architectures and Reuse. The articles in the special issue report the state of research and practice on the theme of software components, architectures, and reuse. Guest editors: Paulo F. Pires from the Federal University of Rio Grande do Norte - UFRN, Brazil, Flavio Oquendo from the European University of Brittany - UBS/VALORIA, France and Ana Paula Terra Bacelo from the Pontifical Catholic University of Rio Grande do Sul - PUCRS, Brazil.
Vol. 17, No. 4, 2011: Web 2.0: Applications and Mechanisms. The article presented in the issue discuss different aspects of Web 2.0 applications. Guest editors: Michael Granitzer and Stefanie N. Lindstaedt from the Know-Center Graz and Graz University of Technology, Graz, Austria.
Vol. 17, No. 2, 2011: CSCWD: Applications and Challenges. Design of complex artifacts and systems requires the cooperation of multidisciplinary design teams. In recent years, the universal and nearly free access to the Internet has made it much easier for people to coordinate and do collaborative design jobs without any geographical boundaries. This context and the wide scope requirement meet its realization in the CSCWD (Computer Supported Cooperative Work in Design) field. The papers in this issue illustrate new technologies and applications from CSCWD. Guest editors: Marcos R. S. Borges from the Universidade Federal do Rio de Janeiro, Brazil, Weiming Shen from the Tongji University, China, José A. Pino and Sergio F. Ochoa from the Universidad de Chile, Chile.
Vol. 17, No. 1, 2011: Meeting New Challenges in Document Engineering. Document engineering is the area of knowledge concerned with principles, tools and processes that improve our ability to create, manage, store, compact, access, and maintain documents. The articles of the special issue offer solutions to different problems arising in this area. Guest editor: Rafael Dueire Lins, Universidade Federal de Pernambuco, Recife, Brazil.
Vol. 16, No. 20, 2010: Evolving Theories of Conceptual Modelling. The articles of this issue illustrate research stretching from logical foundations of conceptual modelling to theoretical foundations for specific applications. Guest editors: Markus Kirchberg from Institute for Infocomm Research, A*STAR, Singapore and Klaus-Dieter Schewe from the Software Competence Center Hagenberg, Austria.
Vol. 16, No. 19, 2010: Advances in Authoring of Adaptive Web-based Systems. The papers presented in this special issue discuss various aspects of modular approach to authoring. Guest editors: Alexandra I. Cristea from the University of Warwick, United Kingdom, Rosa Carro from the Universidad Autonoma de Madrid, Spain and Craig D. Stewart from the University of Nottingham, United Kingdom.
Vol. 16, No. 18, 2010: Computability and Complexity in Analysis. The issue presents articles from the area of Computable Analysis, the theory of computability and complexity over real-valued data. Computability theory studies the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. In particular, Computable Analysis supplies an algorithmic foundation for numerical computation. Guest editors: Andrej Bauer from the University of Ljubljana, Slovenia, Peter Hertling, Universität der Bundeswehr, Munich, Germany and Ker-I Ko from the State University of New York at Stony Brook, USA.
Vol. 16, No. 17, 2010: Foundations and Practices of Unified Modeling Language. Since the emergence of the Unified Modeling Language (UML) in 1996, the UML has become the de-facto standard language for modeling software systems and been widely used in various areas including enterprise information systems, web applications, and business modeling. The articles in this issue deal with theories and foundations of the UML and their applications and experiences. Guest editors: Dae-Kyoo Kim from Oakland University, USA and Juan Trujillo from University of Alicante, Spain.
Vol. 16, No. 16, 2010: Context-aware Recommender Systems. Recommender systems have been researched and deployed extensively over the last decade in various application areas, including e-commerce, technology enhanced learning, e-health, adaptive multimedia and knowledge management. The articles contained in this special issue on context-aware recommender systems present innovative methods, techniques and systems that allow the measurement, analysis and exploration of context data and the exploitation of such data to drive personalized and contextual recommendations. Guest editors: Katrien Verbert and Erik Duval from the Katholieke Universiteit Leuven, Belgium, Stefanie N. Lindstaedt from the Know-Center GmbH, Austria and Denis Gillet from the École Polytechnique Fédérale de Lausanne, Switzerland.
Vol. 16, No. 15, 2010: Mobile Context-Aware Applications for Ubiquitous Computing. The special issue offers an innovative and original vision of the now and future context-aware applications for ubiquitous computing. Guest editors: María D. Lozano and Jose A. Gallud from the University of Castilla-La Mancha, Spain, and Philippe Palanque from the Université Paul Sabatier, France.
Vol. 16, No. 13, 2010: Recent Trends in Service Science. Since Service Science, Management, and Engineering (SSME) was firstly coined by IBM, the "Service" has been one of the most important and common concepts in many research areas. Service Science is an interdisciplinary approach to the study, design, and implementation of services systems in which specific arrangements of people and technologies take actions that provide value for others. For example, in semantic web communities, a number of intelligent approaches have been investigated for better service. The special issue focuses on how to generate and discover the services and discusses the challenges from business and management. Guest editors: Jason J. Jung, Yeungnam University, Korea and Chulmo Koo, Chosun University, Korea.
Vol. 16, No. 12, 2010: Ambient Intelligence Vision: A Perspective. The articles in this issue show advances in aspects like Ambient Assisted Living or academic conference environments and deal with more general AmI concepts, such as middleware, augmented objects or ubiquitous end-user interfaces. Also, the concept of "Motion Intelligence" is examined. The introductory paper of the issue puts in context the aspects addressed by the other works and foresees the evolution of the still promising AmI paradigm. Guest editors: José Bravo, MAml Research Lab, Castilla La-Mancha University, Spain and Diego López-de-Ipiña, (MoreLab, University of Deusto, Bilbao, Spain.
Vol. 16, No. 11, 2010: Advances in Spatial and Temporal Reasoning. Qualitative spatial representation and reasoning has evolved as a sub-division in its own right within the broader field of Artificial Intelligence - recent years have witnessed remarkable advances in some of the long-standing problems of the field.. For instance, new results about tractability for spatial calculi, explicit construction of models, and characterization of important subclasses of relations, as well as in the development of new areas such as the emergence of integrated spatio-temporal calculi and the use of non-monotonic techniques for dealing with various aspects intrinsic to modeling dynamic spatial systems. Two of the papers in this issue deal with spatial issues, another two with temporal ones, and one paper addresses both space and time.
Guest editors: Hans W. Guesgen from the Massey University, New Zealand and Mehul Bhatt from the University of Bremen, Germany.
Vol. 16, No. 10, 2010: Multimedia Services and Applications. Due to the latest developments in communication, computing, and storage technologies, multimedia services and applications are being deployed for various applications such as entertainment, health care, smart homes, security and surveillance, and intelligent environments. The special issue focuses on research challenges and issues related to multimedia applications.
Guest editors: Sajid Hussain from the Fisk University, Nashville, USA, Geyong Min from the University of Bradford, United Kingdom, Jianhua Ma from the Hosei University, Tokyo, Japan and Jong Hyuk Park from the Seoul National University of Technology, Korea.
Vol. 16, No. 8, 2010: Methodologies, Technologies and Tools Enabling e-Government . The issue presents 5 papers dealing with differenct aspects of e-government. Guest editors: Luis Anido Rifón from the Universidade de Vigo, Spain and Flavio Corradini from the Universita di Camerino, Italy.
Vol. 16, No. 7, 2010: Collective Intelligence with Visualization and Multimedia. The aim of collective intelligence is to integrate single intelligence of individuals for dealing with highly complex problems. In practice, Web 2.0 applications like blogs and wikis have been developed to implement the collective intelligence. Such influences by collective intelligence have been an important issue in various knowledge-enhanced applications, e.g., information retrieval, semantic web, e-business, and e-learning as illustrated by the three papers published in this issue. Guest editor: Jason J. Jung, Yeungnam University, Korea.
Vol. 16, No. 6, 2010: Computational Science and Its Application. Computational Science is a main pillar of most of the present research, industrial and commercial activities and plays a unique role in exploiting ICT innovative technologies. Guest editors: Osvaldo Gervasi from the University of Perugia, Italy, Kenneth Tan from Qontix, Birmingham, UK, Marina Gavrilova from The University of Calgary, Canada and David Taniar from the Monash University, Australia.
Vol. 16, No. 5, 2010: Seventy Years Derick Wood. The special issue was compiled in honor of Derick Wood by his friends and collegues. Guest editors: Helmut Jürgensen, The University of Western Ontario, Canada, Hermann Maurer, Graz University of Technology, Austria, Arto Salomaa, Turku Centre for Computer Science, Finland and Sheng Yu, The University of Western Ontario, Canada.
Vol. 16, No. 1, 2010: Information Fusion and Logic-based Reasoning - Approaches for Decision Making under Uncertainty . Decision Making is a core area in different research fields related to human beings' intelligent activities; such activities involve different types of uncertainties depending on its nature. Therefore, different methods, models and formalisms have been investigated and applied to a wide range of decision making problems under uncertainty. This special issue is devoted to information fusion models and logic based formalisms and their application to decision making under uncertainty, it encompasses eleven papers. Guest editors: Luis Martínez, University of Jaén, Spain, Jun Liu, University of Ulster Northern Ireland, UK, and Yang Xu, Southwest Jiaotong University, P.R. China
Vol. 15, No. 18, 2009: Processing Camera-Based Documents Advances in Document Engineering. The special issue focuses on a new research area within document engineering which deals with new algorithms, tools and processing environments that are able to provide users in general with simple ways of visualizing, printing, transcribing, compressing, storing and transmitting through networks digital camera images. Guest editor: Rafael Dueire Lins, Universidade Federal de Pernambuco, Recife, Brazil.
Vol. 15, No. 16, 2009: Collaborative Technology and Environments. Collaborative technology and environments have always raised the attention of researchers with various backgrounds and a wide range of interests. System developers, technology designers, cognitive engineers and social scientists find themselves challenged by the complexity and tremendous possibilities raised by the technological support to groups and communities of users making joint efforts toward a common goal. And new problems continue to emerge as we find new application areas for collaborative technology. This special issue presents research in quite different application areas: healthcare virtual communities, agile software development, collaborative modeling and online chat communities. Guest editors: Pedro Antunes from the University of Lisboa, Portugal and Robert O. Briggs from the University of Nebraska at Omaha, USA.
Vol. 15, No. 15, 2009: Security in Information Systems: New Advances and Tendencies. Information Systems Security is one of the most pressing challenges currently facing all kinds of organizations. However, ensuring security and quality in both information and the systems which manage information is a complex goal necessitating the combination of two wide research disciplines which are usually separate: security engineering and security software engineering. The first discipline has a long history, and has usually focused on providing advances in security models, protocols, and techniques, but it remains in a constant state of development. Security software engineering, however, has emerged relatively recently, but is swiftly maturing and is focused on the integration of security into software engineering techniques, models and processes, in order to develop more secure information systems.
This special issue therefore includes the extended and improved versions of those papers that were selected from the best of the International Workshop on Security in Information Systems (WOSIS 2009), and aims to serve as a forum in which to unite academics, researchers, practitioners and students in the field of security engineering and security software engineering, by presenting new developments and lesson learned from real world cases, and to promote the exchange of ideas, discussion and development in these areas. The issue was edited by Eduardo Fernández-Medina from University of Castilla-La Mancha, Spain and Alfonso Rodríguez from the University of Bio Bio, Chile.
Vol. 15, No. 4, 2009: Knowledge Management for Autonomous Systems and Computational Intelligence. Guest editors: Ngoc Thanh Nguyen from Wroclaw University of Technology, Poland and De-Shuang Huang from the Chinese Academy of Sciences, China.
Vol. 15, No. 12, 2009: Intelligent Environments and Services. Due to the latest developments in communication, computing, and storage technologies, smart services and applications are being deployed for various applications such as entertainment, health care, smart homes, security and surveillance, and intelligent environments. This special issue aims to address the smart spaces and their services for IE. Guest editors: Tai-hoon Kim from Hannam University, Korea, Andrew Kusiak from The University of Iowa, USA, David Taniar from Monash University, Australia and Daqing Zhang from TELECOM & Management Sud Paris, France.
Vol. 15, No. 11, 2009: Software Components, Architectures and Reuse. The papers of the issue report the state of research and practice on the theme of software components, architectures, and reuse. Guest editors: Cláudia Werner from the Federal University of Rio de Janeiro, Brazil and Flavio Oquendo from the European University of Brittany - UBS/VALORIA, France.
Vol. 15, No. 10, 2009: Information Integration on Web-based Applications and Services . The special issue presents papers focusing on XML database management on one hand and hypermedia and web applications on the other hand. Guest editors: Gabriele Kotsis from the Johannes Kepler University, Austria, David Taniar from the Monash University, Australia, Ismail Khalil from the Johannes Kepler University, Austria and Eric Pardede from La Trobe University, Australia.
Vol. 15, No. 9, 2009: CSCWD Technologies, Applications and Challenges. The issue addresses the new challenges that CSCWD (Computer Supported Cooperative Work in Design) communities are facing at the present moment. Guest editors: Jianming Yong, University of Southern Queensland, Australia, Weiming Shen, University of Western Ontario, London, Ontario and José A. Pino, Universidad de Chile, Chile.
Vol. 15, No. 7, 2009: Computers in Education: Advances in Software Technology. The special issue presents 9 articles dealing with e-learning and web-based educational software, user-centered educational software, and visualization tools. Guest editors: J. Ángel Velázquez-Iturbide from the Universidad Rey Juan Carlos, Madrid, Spain and Francisco José García-Peñalvo from the Universidad de Salamanca, Spain.
Vol. 15, No. 6, 2009: Computability and Complexity in Analysis - in honor of Klaus Weihrauch's 65th birthday -. The articles in the issue present topics from Computable Analysis, the theory of computability and complexity over real-valued data. Computability theory studies the limitations and abilities of computers in principle. Computational complexity theory provides a framework for understanding the cost of solving computational problems, as measured by the requirement for resources such as time and space. In particular, computable analysis supplies an algorithmic foundation of numerical computation. Guest editors: Vasco Brattka from the University of Cape Town, South Africa, Pieter Collins from the Centrum voor Wiskunde en Informatica, The Netherlands and Robert Rettinger from the University Hagen, Germany.
Vol. 15, No. 5, 2009: Data Security and Privacy Protection in Pervasive Computing Environments. The issue solicits state-of-the-art approaches and solutions in the area of data security and privacy protection in modern Pervasive Computing environments. Guest editors: Byoung-Soo Koh, DigiCAPS Co., Ltd, Korea, Mieso Denko from the University of Guelph, Canada, Stefanos Gritzalis from the University of the Aegean, Greece and Ching-Hsien Hsu from the Chung Hua University, Taiwan.
Vol. 15, No. 4, 2009: Knowledge Management for Autonomous Systems and Computational Intelligence. Guest editors: Ngoc Thanh Nguyen from Wroclaw University of Technology, Poland and De-Shuang Huang from the Chinese Academy of Sciences, China.
Vol. 15, No. 2, 2009: Multimedia Security in Communication (MUSIC). The issue presents five papers that report the latest research advances more on secure multimedia transmission and distribution than on multimedia content protection. Guest editors: Shiguo Lian from France Telecom R&D (Orange Labs), Beijing, China, Yan Zhang from Simula Research Laboratory, Oslo, Norway, Stefanos Gritzalis from the University of the Aegean, Mytilene, Greece and Yu Chen from the State University of New York - Binghamton, USA.
Vol. 15, No. 1, 2009: Logic, Abstract State Machines and Databases. The issue is a collection of papers presenting research stretching from pure logic over database theory and formal methods to rather applied topics such as business processes and data warehouses. Guest editor: Klaus-Dieter Schewe from the Information Science Research Centre, New Zealand.
Vol. 14, No. 21, 2008: Programming Languages. A selection of papers from the "9th Brazilian Symposium on Programming Languages", edited by Marco Tulio Valente from PUC Minas, Brazil, Peter D. Mosses from the Swansea University, United Kingdom and Francisco Heron de Carvalho Jr. from the UFC, Brazil.
Vol. 14, No. 20, 2008: Lisp: Research and Experience. The special issue was edited by Pascal Costanza from the Vrije Universiteit Brussel, Belgium.
Vol. 14, No. 19, 2008: New Trends in Human Computer Interaction. The issue pays an special attention to the topic of modelling and design collaborative systems. The papers included in this issue present some technological advances and research results in the area of Human-Computer Interaction from different points of view: user-interface modelling and design, virtual and augmented reality, collaborative environments, usability and accessibility, ambient intelligence to name but a few. Guest editors: María Dolores Lozano and Jose A. Gallud from the University of Castilla-La Mancha, Albacete, Spain.
Vol. 14, No. 18, 2008: Further Advances in Document Engineering. A Document is any sort of object that conveys relevant information. This wide definition of document goes far beyond paper documents, the most usual form of document, and encompasses all sorts of materials from bones of pre-historical animals to videos, etc. Document Engineering is the area of knowledge focused in principles, algorithms, tools and processes that allow creating, managing, store, compact, access, and maintaining digital documents. The World Wide Web (WWW) made the fields of document recognition and retrieval grow rapidly in recent years. New application areas such as the, digital libraries, and video- and camera-based OCR have appeared lately. The papers of this issue present different aspects of document analysis and recognition. Guest editor: Rafael Dueire Lins from the Universidade Federal de Pernambuco, Refice, Brazil.
Vol. 14, No. 17, 2008: Authoring of Adaptive and Adaptable Hypermedia. The issue presents design (via ontologies), analysis (via logs), automation, IMS-LD and other standards connections, social and cultural aspects, and game technology approaches, showing the many facets of authoring for personalization and adaptation. Guest editors: Alexandra Cristea from the University of Warwick, United Kingdom and Rosa Carro, Universidad Autonoma de Madrid, Spain.
Vol. 14, No. 16, 2008: Human-Computer Interaction Research and Development Challenges. The special issue was edited by Francisco J. García-Peñalvo from the University of Salamanca, Spain and Julio Abascal from the University of Basque Country, Spain.
Vol. 14, No. 15, 2008: Evolutionary Optimization for Intelligent Systems Design. The issue is devoted to reporting innovative and significant progress in intelligent systems design through an evolutionary computational process. Guest editors: Nadia Nedjah and Luiza de Macedo Mourelle from the State University of Rio de Janeiro, Brazil.
Vol. 14, No. 14, 2008: Knowledge Processing in Intelligent Systems. Guest editors: Longbing Cao from the University of Technology, Sydney, Australia and Ngoc Thanh Nguyen from Wroclaw University of Technology, Poland.
Vol. 14, No. 13, 2008: Software Adaptation. Guest editors: Carlos Canal from the University of Málaga, Spain, Juan Manuel Murillo from the University of Extremadura, Spain and Pascal Poizat from the University of Evry Val d'Essonne, France and ARLES Project-Team, INRIA, France.
Vol. 14, No. 12, 2008: Quo Vadis Abstract State Machines?. In their introduction to the special issue, the guest editors point out the particular role J.UCS has played in the short history of the ASM method and describe the current state of ASM. Guest editors: Egon Börger from the Università di Pisa, Italy and Andreas Prinz from the University of Grimstadt, Norway.
Vol. 14, No. 11, 2008: Wrapping Web Data Islands. Guest editors: Rafael Corchuelo from the Universidad de Sevilla, Sevilla, Spain, José L. Arjona from the Universidad de Huelva, Huelva, Spain and David Ruiz from the Universidad de Sevilla, Sevilla, Spain.
Vol. 14, No. 9, 2008: Designing the Human Computer Interaction: Trends and Challenges. Interaction between humans and machines is being increasingly recognized as a crucially interesting "dialogue" that requires modeling, design and evaluation in order to build software systems usable in any form (Web applications, groupware, mobile and ubiquitous systems, etc.). A great number of resources and efforts is being devoted to this task, being the focus of the research community in Human-Computer Interaction (HCI). The special issue was edited by Crescencio Bravo, Miguel A. Redondo and Manuel Ortega from University of Castilla - La Mancha, Spain.
Vol. 14, No. 8, 2008: Software Components, Architectures and Reuse - a special issue reproting the state of research and practice on the theme of software components, architectures and reuse. Guest editors: Cecília M. F. Rubira from the State University of Campinas (UNICAMP), Brazil and Rogério de Lemos from the University of Kent, United Kingdom.
Vol. 14, No. 7, 2008: Collective Intelligence for Semantic and Knowledge Grid , edited by Jason J. Jung from the Yeungnam University, Korea and Ngoc Thanh Nguyen from the Wroclaw University of Technology, Poland.
Vol. 14, No. 6, 2008: Computability and Complexity in Analysis reflects the study and advancement of the theory of computability and complexity over real-valued data and its application. Guest editors: Vasco Brattka from the University of Cape Town, South Africa, Hajime Ishihara from the Japan Advanced Institute of Science and Technology, Japan, Matthias Schröder from the Universität der Bundeswehr, Munich, Germany and Ning Zhong from the University of Cincinnati, USA.
Vol. 14, No. 5, 2008: Socio-Economic Issues in Future Generation Internet (FGI). Quality of Service (QoS) has been a hot topic within Internet-related research for many years. However, corresponding efforts have been contrasted with Internet merely providing connectivity and best-effort service. With the advent of new services such as Triple-Play (voice, video, Internet access) and the fact that some of these services will be charged per use, performance and economic issues regarding Internet and the trade-off between them are perhaps more important than ever before. This is amongst others witnessed by large efforts of major manufacturers and service providers for improving Quality of Experience (QoE) perceived from the users. Investments in networks, on the other hand, require detailed cost analyses. In addition, users need to be equipped with well-adapted security solutions in order to retain trust in networked services. Indeed, QoS and thus QoE relate to both performance and security and come at a cost. Thus, for any (future) Internet-based service, an optimal balance between performance, economy and security has to be found in order to make it well-accepted, which is pivotal to minimize the "Digital Divide". Thus, coordination and cross-fertilization of the domains user-perceived quality, economy/costing and security is required. The issue was edited by Markus Fiedler from theBlekinge Institute of Technology, Sweden, Klaus D. Hackbarth from the University of Cantabria, Spain and Helmut Hlavacs from the University of Vienna, Austria.
Vol. 14, No. 3, 2008: Cryptography in Computer System Security: Cryptography plays an important role on ensuring the security and reliability of modern computer systems. Since high speed and broad bandwidth have been becoming the keywords for modern computer systems, new cryptographic methods and tools must follow up in order to adapt to these new and emerging technologies. This Special Issue aims to provide a platform for security researchers to present their newly developed cryptographic technologies in computer systems. Areas of interest for this special journal issue include, but are not limited to, the following topics: Authentication, Cryptographic algorithms and their applications, Cryptanalysis, Email security, Electronic commerce, Data integrity, Fast cryptographic algorithms and their applications, Identity-based cryptography, IP security, Key management, Multicast security, Computer network security, Privacy protection, Security in Peer-to-Peer networks, Security in sensor networks, and Smartcards. The issue was edited by Liqun Chen from the Hewlett-Packard Labs, UK, Ed Dawson from the Queensland University of Technology, Australia, Xuejie Lai from the Shanghai Jiao Tong University, China, Masahiro Mambo from the Tsukuba University, Japan, Atsuko Miyaji from JAIST, Japan, Yi Mu (Lead Guest Editor) from the (University of Wollongong, Australia, David Pointcheval from the École Normale Supérieure, France, Bart Preneel from the Katholieke Universiteit Leuven, Belgium, Nigel Smart from the Bristol University, United Kingdom, Willy Susilo from the University of Wollongong, Australia, Huaxiong Wang from the Nanyang Technological University, Singapore and Duncan S. Wong from the City University of Hong Kong, China.
Vol. 14, No. 2, 2008: Advances in Document Engineering: Document Engineering is a discipline within computer science that investigates systems for documents in any form and in all media. Document engineering is concerned with principles, tools and processes that improve our ability to create, manage, store, compact, access, and maintain documents. The fields of document recognition and retrieval have grown rapidly in recent years. This development has been fueled by the emergence of new application areas such as the World Wide Web (WWW), digital libraries, and video- and camera-based OCR. The use of OCR is spreading from high-volume, niche domains to more general tasks, including the processing of noisy "real-world" documents, photocopies, and faxes. The issue was edited by Rafael Dueire Lins from the Universidade Federal de Pernambuco, Recife, Brazil.
Vol. 14, No. 1, 2008: Groupware: Issues and Applications: The articles of this special issue are significantly extended versions of selected papers presented at the 12th International Workshop on Groupware (CRIWG 2006) held in Medina del Campo, Spain in September 2006. The CRIWG workshops are annual events which have a single track of relatively few papers, providing ample time for lively and constructive discussions during and between sessions. The 2006 version had 34 accepted papers out of 101 submissions, from which six were selected to be invited to this special issue. The invited papers were reviewed by three anonymous referees each and had two rounds of improvement. Guest editors: Yannis A. Dimitriadis, University of Valladolid, Spain, José A. Pino; University of Chile, Chile; and Ilze Zigurs, University of Nebraska at Omaha, USA.
Vol. 13, No. 13, 2007: The issue Applications of Formal Methods to System Design and Verification contains the extended versions of a selected set of papers presented at the first IPM International Workshop on Foundations of Software Engineering (Theory and Practice), Tehran, Iran, October 1-3, 2005. The issue was edited by Farhad Arbab from CWI, Netherlands and Leiden University, Netherlands, and Marjan Sirjani from the University of Tehran, Iran and IPM, Iran.
Vol. 13, No. 12, 2007: Ontologies and their Applications, edited by Fred Freitas from Federal University of Pernambuco, Brazil, Heiner Stuckenschmidt Universität Mannheim, Germany, Andréia Malucelli from the Pontifical Catholic University of Paraná, Brazil and H. Sofia Pinto from the INESC-ID, Lisbon, Portugal.
Vol. 13, No. 11, 2007: Combinatorics and Related Areas: A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu. The special issue was edited by Cristian S. Calude from The University of Auckland, New Zealand, Gheorghe Stefanescu from the University of Bucharest, Romania and Marius Zimand from Towson University, USA.
Vol. 13, No. 7, 2007: A special issue on Computers in Education: New Developments in e-Learning Technology, edited by Baltasar Fernández-Manjón from the Complutense University of Madrid, Spain and Martín Llamas and Ramón-Ángel Fernández, both from the University of León, Spain.
Vol. 13, No. 6, 2007: Selected papers from the 11th Brazilian Symposium on Programming Languages (SBLP 2007), edited by Roberto Bigonha from the Federal University of Minas Gerais, Brazil, and Martin Musicante from Federal University of Rio Grande do Norte, Brazil.
Vol. 13, No. 5, 2007: A survey of The State of the Art in Formal Methods, edited by Richard Banach from the University of Manchester, United Kingdom.
Vol. 13, No. 3, March 28, 2007: New Advances in Reconfigurable Computing and its Applications, edited by Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez from the University of Extremadura, Spain.
Vol. 13, No. 2, February 28, 2007: Communicative Intellligence, edited by Ngoc Thanh Nguyen from Wroclaw University of Technology, Poland, and Toyoaki Nishida, The University of Tokyo, Japan.
Vol. 13, No. 1, January 28, 2007: A selection of papers from the 1st ACIS International Workshop on Self-Assembling Wireless Networks. Guest editors: Gruia Călinescu from the Illinois Institute of Technology, USA, Ion I. Măndoiu from the University of Connecticut, USA, Alexander Zelikovsky from the Georgia State University, USA and Marius Zimand from the Towson University, USA.
Vol. 12, No. 9, September 28, 2006: A selection of papers presented at Informatics in Higher Education conference held in 2005 in Debrecen, Hungary. Guest editors: Attila Pethő from the Debrecen University, Hungary, and Dezső Sima from the Budapest Polytechnic, Hungary..
Vol. 12, No. 7, July 28, 2006: Selected papers from the 10th Brazilian Symposium on Programming Languages, edited by Mariza A. S. Bigonha from the Federal University of Minas Gerais, Belo Horizonte, Brazil and Alex de Vasconcellos Garcia from the Militar Institute of Engineering, Rio de Janeiro, Brazil.
Vol. 6, No. 6, June 28, 2006: The special issue contains the contributions of some participants of the First and Second Japanese-German Frontiers of Science Symposia (JaGFoS). The First JaGFoS Symposium took place in Mainz, Germany, in January 2005, and its mathematics and computer science session was devoted to "Computational Challenges of Massive Data Sets". The Second JaGFoS Symposium took place in Shonan, Japan, in November 2005, and the topic of its mathematics and computer science session was "Randomness in Computation". Guest editors: Jörg Rothe from the Heinrich-Heine-University Düsseldorf, Germany and Hiroki Arimura from the Hokkaido University, Japan.
Vol. 12, No. 4, April 28, 2006: Special issue on Evolvable Hardware devoted to reporting innovative and significant progress in automatic hardware design. The issue includes five extended papers, originally presented at the IEEE CEC 2005. Guest editors: Nadia Nedjah and Luiza de Macedo Mourelle from the State University of Rio de Janeiro, Brazil.
Vol. 12, No. 3, March 28, 2006: Ubiquitous Computing and Ambient Intelligence: New Challenges for Computing, edited by José Bravo, Castilla-La Mancha University, Javier Alamán, Autonoma University of Madrid, and Teresa Riesgo, Politecnic University of Madrid, Granada, Spain.
Vol. 12, No. 1, January 28, 2006: Pervasive Health Management: New Challenges for Health Informatics, edited by J.C. Augusto, N.D. Black, H.G. McAllister, P.J. McCullagh and C.D. Nugent from the School of Computing and Mathematics University of Ulster at Jordanstown, United Kingdom.
Vol. 11, No. 12, December 28, 2005: Constructivity, Computability, and Logic, A special collection of papers dedicated to Professor Douglas Bridges' 60th Birthday, edited by Cris Calude from University of Auckland, New Zealand and Hajime Ishihara from the Japan Advanced Institute of Science and Technology, Japan.
Vol. 11, No. 11, November 28, 2005: A special issue on Visual Data Mining, edited by Jesús S. Aguilar-Ruiz, Pablo de Olavide University, Spain, and Francisco J. Ferrer-Troyano, University of Seville, Spain.
Vol. 11, No. 10, October 28, 2005: Special issue on "Compositional Construction and Reasoning Techniques for Software", edited by Farhad Arbab from the Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, and Joost N. Kok from Leiden University, The Netherlands.
Vol. 11, No. 9, October 28, 2005: A selection of the best papers from the 6th International Symposium on Computer and Education (SIIE '04). Edited by José Bravo, Castilla-La Mancha University, Spain, Baltasar Fernández, Complutense University of Madrid, Spain, and Juan M. Sánchez, Extremadura University, Céceres, Spain.
J.UCS Vol. 11, No. 7, July 28, 2005: A selection of papers from the "9th Brazilian Symposium on Programming Languages", edited by Martin A. Musicante from the Universidade Federal do Paraná, Brazil and Ricardo Massa Ferreira Lima from the Universidade de Pernambuco, Brazil.
Vol. 3, No. 5, May 28, 1997: The second part of the special issue on Ten Years of Gurevich's Abstract State Machines is devoted to applications of ASMs to classical problems of programming and software engineering. Guest editor: Egon Börger, Università di Pisa, Italy.
Vol. 3, No. 4, April 28, 1997: The special issue Ten Years of Gurevich's Abstract State Machines documents the flourishing Abstract State Machines research. The special issue consists of two parts, published in the April and May issues, respectively. The papers in this issue deal with foundational questions, with questions from complexity theory, with the central notion of refinement and with machine support for reasoning about ASMs. Guest editor: Egon Börger, Università di Pisa, Italy.
Vol. 2, No. 10, October 28, 1996: The topic of this special issue is the Classroom of the Future. The issue contains papers presenting visions of the "classroom without walls," a learning environment that merges new pedagogies, advanced media, and collaborative learning to meet the needs of knowledgeworkers of the 21st century. Guest editor: Patricia A. Carlson from Rose-Hulman Institute of Technology, USA.
Vol. 2, No. 9, September 28, 1996: Special issue presenting five extended versions of WebNet '96 contributions dealing with different aspects of Internet. All five papers received a best paper award.
Vol. 2, No. 6, June 28, 1996: Special issue on Distance Teaching, edited by Bernd Kraemer from the University of Hagen, Germany.
Vol. 2, No. 2, February 28, 1996: The issue contains a selection of refereed papers contributed to the International Symposium and Young Scientists School on Mathematical Modelling and Information Systems in Biology, Ecology and Medicine (BIOMATH-95). The meeting was organized by the Institute of Informatics at the University of Basel and the Research Group for Mathematical Modelling in Biology of the Institute of Biophysics at the Bulgarian Academy of Sciences and held in Sofia, Bulgaria from August 23 to 27, 1995. Guest editors: Svetoslav M. Markov, Bulgarian Academy of Sciences, Bulgaria, and Christian P. Ullrich, University of Basel, Switzerland.
Vol. 1, No. 7, July 28, 1995: A selection of papers presented during the international conference "Real Numbers and Computers" in Saint-Etienne, France, April 1995, edited by Jean-Claude Bajard, Université de Provence, France, Dominique Michelucci, Ecole des Mines de Saint-Etienne, France, Jean-Michel Moreau, Ecole des Mines de Saint-Etienne, France and Jean-Michel Muller, CNRS, ENS Lyon, France.
