Compiler Design: Analysis and Transformation
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions...
Business Process Model and Notation: Third International Workshop, BPMN 2011
The Business Process Model and Notation (BPMN) has seen a huge uptake in
both academia and industry over the past years. It is seen by many as the de
facto standard for business process modeling and has become very popular with
business analysts, tool vendors and end users. As of version 2.0, the BPMN
contains a comprehensive set of...
A Tour of C++ (C++ In-Depth Series)
The C++11 standard allows programmers to express ideas more clearly, simply, and directly, and to write faster, more efficient code. Bjarne Stroustrup, the designer and original implementer of C++, thoroughly covers the details of this language and its use in his definitive reference, The C++ Programming Language,...
Modelling and Reasoning with Vague Concepts Vagueness is central to the flexibility and robustness of natural language descriptions. Vague concepts are robust to the imprecision of our perceptions, while still allowing us to convey useful, and sometimes vital, information. The study of vagueness in Artificial Intelligence (AI) is therefore motivated by the desire to incorporate this... Foundations of Dependable Computing: Paradigms for Dependable Applications Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book...
|Result Page: 25 24 23 22 21 20 19 18 17 16 |