Søkt på: Bøker av Dirk Draheim
totalt 15 treff
Generalized Jeffrey Conditionalization
This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of classical conditional probability …
Form-Oriented Analysis
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel …
Trends in Enterprise Application Architecture
TEAA 2005 (Trends in Enterprise Application Architecture) took place as a workshop of the conference VLDB 2005 (31st International Conference on Very Large Databases) in August …
Trends in Enterprise Application Architecture
TEAA 2005 (Trends in Enterprise Application Architecture) took place as a workshop of the conference VLDB 2005 (31st International Conference on Very Large Databases) in August …
Pathways in Software Engineering
Software is pervasive in today's technical systems in industry and everyday life. Modern enterprises strategically invest into software and often have their own software …
Business Process Technology
Currently, we see a variety of tools and techniques for specifying and implementing business processes. The problem is that there are still gaps and tensions between the different …
Trends in Enterprise Application Architecture
This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues …
Trends in Enterprise Application Architecture
This book constitutes the thoroughly refereed postproceedings of the 2nd International Conference on Trends in Enterprise Application Architecture, TEAA 2006. It identifies issues …
Semantics of the Probabilistic Typed Lambda Calculus
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, …
Generalized Jeffrey Conditionalization
This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of classical conditional probability …
Semantics of the Probabilistic Typed Lambda Calculus
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, …
Form-Oriented Analysis
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt well-established basic modeling techniques in a novel …