Journal Guide

Now in its 37th year, EDPACS is the world's longest running IT Audit newsletter. Published monthly, the newsletter supports the audit and control community with highly-regarded guidance in the fields of audit, control, and security. In addition, EDPACS regularly explores current and emerging issues around IT governance.The newsletter provides essential information for managing the integrity of a modern, evolving enterprise. Feature articles by leading practitioners provide advice and guidance on the issues IT auditors, information security practitioners, and other IT managers and staff face today, or will struggle with tomorrow.EDPACS strives to provide pragmatic solutions to current issues through the publication of comprehensive articles which allow various topics to be explored 8220;in depth8221;. EDPACS also covers the CISA Examination content areas: The IS audit process Management, planning, and organization of information systems Technical infrastructure and operational planning Protection of information assets Disaster recovery and business continuity Business application system development, acquisition, implementation, and maintenance Business process evaluation and risk management.

Empirical Software Engineering provides a forum for applied software engineering research with a strong empirical component, and a venue for publishing empirical results relevant to both researchers and practitioners. Empirical studies presented here usually involve the collection and analysis of data and experience that can be used to characterize, evaluate and reveal relationships between software development deliverables, practices, and technologies. Over time, it is expected that such empirical results will form a body of knowledge leading to widely accepted and well-formed theories. The journal also offers industrial experience reports detailing the application of software technologies - processes, methods, or tools - and their effectiveness in industrial settings. Empirical Software Engineering promotes the publication of industry-relevant research, to address the significant gap between research and practice.

Engineering Computations provides a platform for research and discussion across the range of disciplines involved in computer-aided engineering and software.

Engineering with Computers is an international journal for simulation-based engineering. It publishes original papers and authoritative state-of-the-art reviews on the technologies supporting simulation-based engineering, and examples of operational simulation-based engineering systems. A partial list of the technical areas covered includes: adaptive simulation techniques, engineering databases, integration with CAD geometry, mesh generation, parallel simulation methods, simulation frameworks, user interface technologies and visualization techniques. Application areas covered include any to which engineering technologies are applied and will range from applications in the automotive industry, to the design of medical devices.

Entertainment Computing publishes original, peer-reviewed research articles and serves as a forum for stimulating and disseminating innovative research ideas, emerging technologies, empirical investigations, state-of-the-art methods and tools in all aspects of digital entertainment, new media, entertainment computing, gaming, robotics, toys and applications among researchers, engineers, social scientists, artists and practitioners. Theoretical, technical, empirical, survey articles and case studies are all appropriate to the journal.Specific areas of interest include:• Computer, video, console and internet games• Cultural computing and cultural issues in entertainment• Digital new media for entertainment• Entertainment robots and robot like applications• Entertainment technology, applications, application program interfaces, and entertainment system architectures• Human factors of entertainment technology• Impact of entertainment technology on users and society• Integration of interaction and multimedia capabilities in entertainment systems• Interactive television and broadcasting• Interactive art and entertainment• Methodologies, paradigms, tools, and software/hardware architectures for supporting entertainment applications• Mixed, augmented and virtual reality systems for entertainment• New genres of entertainment technology• Serious Games used in education, training, and research• Simulation/gaming methodologies used in education, training, and research• Social media for entertainmentIn the area of empirical and experimental studies we are looking for contributions which are very well documented, innovative, and tested or evaluated in a particular entertainment domain.Benefits to authorsWe also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our support pages: http://support.elsevier.com

Environmental Modelling & Software publishes contributions, in the form of research articles, reviews and short communications, on recent advances in environmental modelling and/or software. The aim is to improve our capacity to represent, understand, predict or manage the behaviour of environmental systems at all practical scales, and to communicate those improvements to a wide scientific and professional audience.

This journal aims to publish contributions at the junction of theory and practice.  The objective is to disseminate applicable research.  Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

The term 'formal methods' has been applied to a range of notations, theories and tools.  There is no doubt that some of these have already had a significant impact on practical applications of computing.  Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method.  Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions.  However, the most profound and lasting influence of the formal app

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

The Grid is a rapidly developing computing structure that allows components of our information technology infrastructure, computational capabilities, databases, sensors, and people to be shared flexibly as true collaborative tools. Over the last 3 years there has been a real explosion of new theory and technological progress supporting a better understanding of these wide-area, fully distributed computing systems. After the advances made in distributed system design, collaborative environments, high performance computing and high throughput computing, the Grid is the logical next step.The new Aims and Scope of FGCS will cover new developments in:[1] Grid Applications and application support:Novel applicationseScience and eBusiness applicationsProblem solving environments and virtual laboratoriesGrid economySemantic and knowledge based gridsCollaborative Grids and virtual organizationsHigh Performance and high throughput computing on gridsComplex application workflowsScientific, industrial and social implicationsGrids in education[2] Grid methods and middleware:Tools for grid development: monitoring and schedulingDistributed dynamic resource managementGrid- and web-servicesInformation managementProtocols and emerging standardsPeer to peer and internet computingPervasive computingGrid Security[3] Grid Theory:Process specification; program and algorithm designTheoretical aspects of wide area communication and computationScaling and performance theoryProtocol verification

Fuzzy Optimization and Decision Making has been accepted for Science Citation Index Expanded and Current Contents/Engineering Computing and Technology and will first appear with an Impact Factor in the 2009 Journal Citation Reports (JCR), published in June 2010. Fuzzy Optimization and Decision Making covers all aspects of the theory and practice of fuzzy optimization and decision making in the presence of uncertainty. It examines theoretical, empirical, and experimental work related to fuzzy modeling and associated mathematics, solution methods, and systems. The journal publishes papers in the following areas: modeling, theoretical developments, algorithmic developments, systems development and applications. This journal promotes research and the development of fuzzy technology and soft-computing methodologies to enhance our ability to address complicated optimization and decision making problems involving non-probabilistic uncertainty. It helps foster the understanding, development, and practice of fuzzy te

Methods for artificial evolution of active components are rapidly developing branches of adaptive computation and adaptive engineering. They entail the development, evaluation and application of methods that mirror the process of neo-Darwinian evolution. Genetic Programming and Evolvable Machines reports innovative and significant progress in automatic evolution of software and hardware. It features both theoretical and application papers and covers hardware implementations, artificial life, molecular computing and emergent computation techniques. In addition to its main topics, the journal covers related topics such as evolutionary algorithms with variable-size genomes, alternate methods of program induction, approaches to engineering systems development based on embryology, morphogenesis or other techniques inspired by adaptive natural systems.

Graphical Models is recognized internationally as a highly rated, top tier journal and is focused on the creation, geometric processing, animation, and visualization of graphical models and on their applications in engineering, science, culture, and entertainment. GMOD provides its readers with thoroughly reviewed and carefully selected papers that disseminate exciting innovations, that teach rigorous theoretical foundations, that propose robust and efficient solutions, or that describe ambitious systems or applications in a variety of topics.

Higher-Order and Symbolic Computation is an international journal that presents a broad-spectrum forum for results and ideas concerning programming with higher-order and symbolic facilities: first-class functions and continuations, effects and higher-order types, objects, actors, and programs as data. Papers ranging from theory and design to practice and experience and especially about theory used in practice are welcomed, as well as occasional expository papers. The aim is to promote the exchange of ideas and synergy amongst researchers with a wide range of interests and expertise.

Key subject areas and topics covered in the journal include: Functional programming with effects:
Object-oriented programming:
Parallel, concurrent, distributed, and mobile symbolic and functional computation:
Programming concepts and abstractions - data abstraction, lazy evaluation, infinite data objects, self reference, reflection, continuations, components, generic functions, inheritance, encapsulation, protection, persistence, meta-objects, communication protocols, etc.:
Programming language theory - semantics, specifying and reasoning about programs, programming logics, types and type inference:
Semantics based program manipulation - compilation, analysis, partial evaluation, instrumentation, and other program transformations:
Implementations and techniques - specialized architectures, compiler design, combinatory models, garbage collection, storage management, and performance analysis:
Programming environments and tools - knowledge-based programming tools, artificial intelligence tools, monitoring, and debugging tools:
Applications and experience with symbolic computing in the context of real time programming, window systems, user interfaces, operating systems, object-oriented programming, and parallel/distributed computing.

The growth in the information and communication technology (ICT) sector has exploded over the past 20 years. This technology advancement enables portable devices to be always connected while supporting high data rate, resulting in the recent popularity of smartphones that have a considerable impact in economic and social development. The high processing capability and the ubiquitous connectivity of recent communication devices allow telecommunication technology to be converged with other industry sectors, such as healthcare, automobile, transportation, entertainment, building architecture, and energy. This convergence in ICT opens up great opportunities for new services and applications, which can lead to economic growth with a wide spectrum of industrial areas. ICT Express, published by the Korean Institute of Communications and Information Sciences (KICS), is a quarterly archived open access journal providing researchers in the ICT field an opportunity to share their newest research results in a timely manner. Each submission will be reviewed by experts in the field. Once accepted, the provisional version will be published online within six weeks after the submission, and the final version will be published online within eight weeks. ICT Express covers the field of ICT convergence, platform technologies, communication networks, and device technologies. We invite short-length (up to 4 pages in double columns) high-quality, original letter articles that explicitly address the unique technical challenges encountered in the convergence of information and communication technology.

IEEE CG&A bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a unique combination of peer-reviewed feature articles and informal departments, including product announcements. Special applications sidebars relate research stories to commercial development. A cover story focuses on creative applications of the technology by an artist or designer. Published six times a year, CG&A is indispensable reading for people working at the leading edge of computer graphics technology and its applications in everything from business to the arts.