Software is pervasive in today's technical systems in industry and everyday life. Modern enterpri...

This book takes a foundational approach to the semantics of probabilistic programming. It elabora...

This book provides a frequentist semantics for conditionalization on partially known events, whic...

Form-based applications range from simple web shops to complex enterprise resource planning syste...

Currently, we see a variety of tools and techniques for specifying and implementing business proc...

Currently, we see a variety of tools and techniques for specifying and implementing business proc...

This book takes a foundational approach to the semantics of probabilistic programming. It elabora...

This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference...

TEAA 2005 (Trends in Enterprise Application Architecture) took place as a workshop of the confere...