Buscador de Revistas

The International Journal on Software Tools for Technology Transfer (STTT) provides a forum for the discussion of all aspects of tools supporting the development of computer systems. It offers, above all, a tool-oriented link between academic research and industrial practice.

Tool support for the development of reliable and correct computer systems is of growing importance, and a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science. However, each area has its own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields. Tool builders are often unaware of the work done by others, and thus unable to apply it. The situation is even more critical when considering the transfer of new technology into industrial practice.

STTT addresses this situation by (1) publishing accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques and (2) channeling comments, queries, and feedback about tools and papers in the Online Forum with highlights published electronically.

STTT focuses on three major technical themes:

1. Construction and analysis issues: These involve hierarchical and compositional approaches: syntax-oriented vs. semantic methods: synthesis vs. verification: formal support of the entire system life cycle, including requirements capture, design, implementation, verification, testing maintenance, evolution: and analysis of non-functional aspects of system behavior, such as real-time, probability, and efficiency.2. Practicality issues: These address performance, genericity, and usability of tools: case studies and experience reports: and industrial use and feedback.3. Generic tool issues: These include paradigms (fully automated vs. interactive approaches): design issues (modularity, efficiency, portability, integrability, reusab, ility): automatic support (tool generators, integrators, and interface builders): and user interfaces (graphics, Web forms, retrieval).

STTT comprises Regular Papers, Special Sections in the form of Special Issues or Thematic Sections, the Formal Methods Letters (FML) with its own Editorial Sub-board, an Opinion Corner with Position Papers and Reviews, as well as an Online Forum for more instantaneous discussion. All these kinds of contributions are handled via the STTT online service http://sttt.cs.tu-dortmund.de/sttt-regular/servlet/Conference.

Due to STTT's emphasis on technology transfer, we encourage an illustrative, example-driven presentation style that focuses on the underlying themes. Technical material and detailed proofs that are not necessary for the comprehension of the essence and the impact of the contributions should be replaced by adequate referencing of other publications or be provided separately in an online appendix. This way the journal provides a fast and intuitive entry into new material and new themes, and, at the same time, the online appendix gives experts easy access to the related technical or theoretical details. These include proofs, definitions of complicated underlying calculi, and discussions of related theories, as well as other information concerning implementation issues, user documentation, benchmarking information, and raw experimental data, which go beyond the general interest.

The Journal of Ambient Intelligence and Smart Environments (JAISE) serves as a forum to discuss the latest developments on Ambient Intelligence (AmI) and Smart Environments (SmE). Given the multi-disciplinary nature of the areas involved, the journal aims to promote participation from several different communities covering topics ranging from enabling technologies such as multi-modal sensing and vision processing, to algorithmic aspects in interpretive and reasoning domains, to application-oriented efforts in human-centered services, as well as contributions from the fields of robotics, networking, HCI, mobile, collaborative and pervasive computing. This diversity stems from the fact that smart environments can be defined with a variety of different characteristics based on the applications they serve, their interaction models with humans, the practical system design aspects, as well as the multi-faceted conceptual and algorithmic considerations that would enable them to operate seamlessly and unobtrusively. The Journal of Ambient Intelligence and Smart Environments will focus on both the technical and application aspects of these.

The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning. The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. Proof Pearls In addition

Journal of Cloud Computing: Advances, Systems and Applications (JoCCASA) is a peer-reviewed open access journal published under the brand SpringerOpen. It publishes research spanning all aspects of Cloud Computing. Principally focused on core elements, including Cloud applications, Cloud systems and the advances that will lead to the Clouds of the future, the journal will also present review and survey papers that offer up new insights, and lay the foundations for further exploratory and experimental work.

The journal disseminates research that imparts advanced theoretical grounding and practical application of Clouds and related systems, as enabled by combinations of internet-based software, development stacks and database availability, and virtualized hardware for storing, processing, analysis and visualizing data. Coverage will examine Clouds alongside such other paradigms as Peer to Peer (P2P) computing, Cluster computing and Grid computing. Coverage extends to issues of management, governance, trust and privacy, and interoperability of Clouds.

The Journal of Computer Science and Technology (JCST), the only English language journal in the computer field published in China, is an international forum for scientists and engineers involved in all aspects of computer science and technology to publish high quality, refereed papers. The journal offers survey and review articles from experts in the field, promoting insight and understanding of the state of the art, and trends in technology. The contents include original research and innovative applications from all parts of the world. While the journal presents mostly previously unpublished materials, selected conference papers with exceptional merit are also published, at the discretion of the editors. Coverage includes algorithm and computational complexity; computer architecture and high performance computing; distributed and grid computing; human-computer interaction; information security; pattern recognition and image processing; VLSI design and testing; artificial intelligence; dependable computing, a

The Journal of Computer and System Sciences International is the leading scientific journal of the Russian Academy of Sciences in all areas of control theory and systems. The journal features papers on the theory and methods of control as well as papers devoted to the study, design, modeling, development, and application of new control systems. Papers reflect contemporary research and development in the field, with particular attention given to computer methods and technologies. In addition to research articles, the journal publishes proceedings of international scientific conferences and provides reviews by top experts from Russia and abroad on current and emerging problems in the field of control.

The Journal of Computing and Information Science in Engineering publishes archival research results and advanced technical applications. Topics Include: Solid and Geometric Modeling; Computational geometry; Reverse Engineering; Virtual Environments and Haptics; Tolerance Modeling and Computational Metrology; Rapid Prototyping; Internet-Aided Design, Manufacturing and Commerce; Information Models and Ontologies for Engineering Applications; PDM/Enterprise Information Management; AI/Knowledge Intensive CAD/CAM; Engineering Simulation and Visualization , including FEA and Meshing; CreativeIT; and Computational Algorithms/Software Development for mechanical product development.

The Journal of Cryptographic Engineering is an archival journal publishing high-quality scientific articles presenting methods, techniques, tools, implementations, and applications of research in cryptographic engineering, including cryptographic hardware, cryptographic embedded systems, and embedded security. JCEN aims to serve the academic and corporate R&D community interested in cryptographic hardware and embedded security by offering a focused journal drawing together archival papers that are presently scattered across various journals. The Journal of Cryptographic Engineering will cover the research areas summarized below. Cryptographic Hardware: Hardware architectures for public-key cryptography and secret-key cryptography: special-purpose hardware for cryptanalysis: cryptographic processors and co-processors: hardware accelerators for security protocols (security processors, network processors, etc.): true and pseudorandom number generators: Physically Unclonable Functions (PUFs). Cryptographic Software for Embedded Systems: Efficient software implementations of cryptography for embedded processors: efficient and secure implementations of cryptography using multiprocessor cores: cryptographic libraries: cryptographic algorithms targeting embedded devices. Attacks Against Implementations and Countermeasures Against These Attacks: Side channel attacks and countermeasures: faults and fault models for cryptographic devices: fault attacks and countermeasures: hardware tamper resistance: Trojan hardware. Tools and Methodologies: Computer aided cryptographic engineering: methodologies and environments for fair comparison of hardware and software efficiency of cryptographic algorithms, architectures, and implementations: partial and run-time reconfiguration of cryptographic systems: reliability and fault, tolerance in cryptography and cryptanalysis: architectures for trusted computing. Applications and Implementation Environments: Cryptography in wireless applications (mobile phone, WLANs, etc.): cryptography for pervasive computing (RFID, sensor networks, etc.): FPGA design security: hardware IP protection and anti-counterfeiting techniques: reconfigurable hardware for cryptography: smart card processors, systems, and applications: security in commercial consumer applications (pay-TV, automotive, etc.): secure storage devices (memories, disks, etc.): technologies and hardware for content protection: security for embedded software and systems.

The Journal of Cryptology is a forum for original results in all areas of modern information security. Both cryptography and cryptanalysis are covered, including information theoretic and complexity theoretic perspectives as well as implementation, application, and standards issues. Coverage includes such topics as public key and conventional algorithms and their implementations, cryptanalytic attacks, pseudo-random sequences, computational number theory, cryptographic protocols, untraceability, privacy, authentication, key management and quantum cryptography. In addition to full-length technical, survey, and historical articles, the journal publishes short notes. The Journal of Cryptology is the official journal of the International Association for Cryptologic Research.

IGI Global publishes more than 100 double blind peer-reviewed journals in information/computer science and technology applied to business and public administration, engineering, education, medicine and healthcare, and social science.IGI Global journals are overseen by highly credentialed editors-in-chief and associate editors appointed from leading research institutions around the world.Interested in accessing all of IGI Global's journals in one electronic source?View the InfoSci-Journals aggregated database!.

Journal of Experimental & Theoretical Artificial Intelligence (JETAI) is advancing scientific research in artificial intelligence (AI) by providing a public forum for the presentation, evaluation and criticism of research results, the discussion of methodological issues, and the communication of positions, preliminary findings and research directions. JETAI features work in all subfields of AI research that adopts a scientific rather than engineering methodology, focusing on work in cognitive science, problem-solving, perception, learning, knowledge representation, memory and neural system modelling. All papers are peer-reviewed.

The Journal of Grid Computing explores an emerging technology that enables large-scale resource sharing problem solving within distributed, loosely coordinated groups sometimes termed 'virtual organizations'. Coverage includes protocols, security, scaling and more. Although the advantages of this technology for classes of applications have been acknowledged, research in a variety of disciplines is needed to broaden the applicability and scope of the current body of knowledge. This journal fills the need, covering such topics as protocols, middleware, and services, security, discovery, sharing, scaling, and more. Discussion extends to advanced technologies for collaborative work, information sharing and problem solving.

The Journal of Heuristics provides a forum for advancing the state-of-the-art in the theory and practical application of techniques for solving problems approximately that cannot be solved exactly. It fosters the development, understanding, and practical use of heuristic solution techniques for solving business, engineering, and societal problems. It considers the importance of theoretical, empirical, and experimental work related to the development of heuristics. The journal presents practical applications, theoretical developments, decision analysis models that consider issues of rational decision making with limited information, artificial intelligence-based heuristics applied to a wide variety of problems, learning paradigms, and computational experimentation. Officially cited as: J Heuristics