Informatik (15 757 Artikel)

The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Manageme...

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult an...

Architecture-Based Design of Multi-Agent Systems

Natural Language is not only the most important means of communication between human beings, it is also used over historical periods for the pres- vation of cultural achievements and their transmis...

Foundations of Algebraic Specification and Formal Software Development

This book constitutes the refereed proceedings of the Workshops held at the 8th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2012, in Halkidik...

Universal Semantic Communication

This book targets graduate students seeking tools and methodologies for natural observation, field workers engaged in social participation, and researchers and engineers pursuing innovation. The te...

Learning to Rank for Information Retrieval

This book contains extended and revised versions of the best papers presented at the 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, held in Madrid, ...

Research and Practice

Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step mus...

Concepts, Tools and Experiences

Structure Discovery in Natural Language

Requirements engineering has since long acknowledged the importance of the notion that system requirements are stakeholder goals--rather than system functions--and ought to be elicited, modeled and...