This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 Internatio...

This book presents a series of revised papers selected from the Doctoral Consortium (DC) and the ...

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, ...

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its ...

Formal methods have already been shown to improve the development process and quality assurance i...

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researche...

This book provides a comprehensive collection of methods and approaches for using formal methods ...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...

INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFI...

HCI is a fundamental and multidisciplinary research area. It is fundamental to the development an...

The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 Int...