Informatik (15 757 Artikel)

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference, UCMedia 2009, which was held on 9-11 December 2009 at Hotel Novotel Venezia Mestre C...

Full Papers.- Harnessing Models of Users' Goals to Mediate Clarification Dialog in Spoken Language Systems.- Modeling the Acquisition of English: An Intelligent CALL Approach ?.- Recognizing Time P...

The International User Modeling Conferences are the events at which research foundations are being laid for the personalization of computer systems. In the last 15 years, the field of user modeling...

The 8th ERCIM Workshop "User Interfaces for All" was held in Vienna, Austria, on 28-29 June 2004, building upon the results of the seven previous workshops held in Heraklion, Crete, Greece, 30-31 O...

System design has conventionally been the province of engineers, and the approaches taken to the design of systems have conventionally led to formal specification of the system. The past decade or ...

Future Perspectives

1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

A Local Search Approach

VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of Ada formal descriptions.- Experience with VDM in NORSK DATA.- Using VDM in an Object-Oriented devel...

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering....

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose ...

The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 42...

The art of transforming a circuit idea into a chip has changed permanently. Formerly, the electrical, physical and geometrical tasks were predominant. Later, mainly net lists of gates had to be con...

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

This book contains extended and revised versions of the best papers that were p- sented during the 16th edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a g...