Titlebook: Object, Models, Components, Patterns; 50th International C Carlo A. Furia,Sebastian Nanz Conference proceedings 2012 Springer-Verlag Berlin

reptile

Non-interference on UML State-Charts,ded this theorem to cope with the particularities of state-charts: the use of variables, guards, actions and hierarchical states and derived results about its compositionality. In order to validate our approach, we report on an implementation of our enhanced unwinding techniques and applications to scenarios from the Smart Metering domain.

Jacket

,: A Community Project on Software Technologies and Software Languages,ages as well as software developers, software technologists, and ontologists. The present paper introduces the . Project. In fact, the present paper is effectively a call for contributions to the project and a call for applications of the project in research and education.

conscribe

創(chuàng)新

Fake Run-Time Selection of Template Arguments in C++,emplates with multiple type parameters such a solution may easily result in a branching code bloat. We present a template metaprogramming algorithm called . that allows the user to select the proper template instance at run time with theoretical minimum sustained complexity of the branching code.

Malleable

馬賽克

伴隨而來

Discerning Humanity,rstood. The previous chapter insisted that the philosophy of the . did not contain the resources to carry out that ethical intention nor to make its ethical results intelligible. Among other things it failed to make sense of our understanding and concern for other people. It is therefore interesting

都相信我的話

殘廢的火焰

機密

e-learning Portal@Austriar IT initiatives and IT projects dealing with new possibilities for teaching, learning and the conveyance of knowledge in the areas of education, science and culture. It unites all educational institutions in Austria and has started to offer quality learning contents and multimedia education services.