Within the limits of this production, we will focus on working a specific theme, namely, role Federal Court Justice (STF) in fulfilling defense fundamental constitutional principles and consolidation legal certainty. To do so, open theoretical discussion framework about evolution ideas that guide interfere performance rights operators, way results process realization guarantees indicated text. ...

Service-oriented architectures and web services have been widely adopted by companies to pervade integration among software systems. As reliable services are essential to assure that these systems work correctly, formal and systematic testing should be performed. This document reports the application of a model-based approach to test web services in the context of real-world applications of an ...

The article is written to commemorate the centenary of birth famous historian Russian philosophy and sociology Anatoly Andrianovich Galaktionov (1922-2002), whose life activity for a long time was closely connected with St Petersburg (Leningrad) State University. purpose comprehensive understanding role A. in national historical sociological tradition, as well synthesized assessment his work fr...

The conventional quark mass is not continuous at thresholds. In this paper, we derive matchinginvariant masses which are everywhere. They expanded as an obvious function of the logarithmic Lambda scaled energy. expansion coefficients related to original gamma and beta functions, with concretization four loop level. results show that new expressions for converge indeed much faster.

Interpretation. The semantics of a programming language can be more or less precise, depending on the degree of detail captured by the description of program execution. The framework of abstract interpretation [CC77, CC79] can be used to automatically define several semantics layers, corresponding to different levels of precision. Each semantics layer is represented by a partially ordered set, ...

Since China entered the medieval period, cultures from India, Central Asia, and northern nomadic peoples Plains of Han Chinese region, bringing new forms reshaping aesthetic form banquet dance. Compared to previous dance period exhibits three characteristics: first, contraction space; second, symbolization movements; third, concretization content. These characteristics jointly contributed gradu...

The word "visualization" originates from the English "visual", which means "visual and intuitive". Generally speaking, visualization is method by we can transform abstract things into directly observable graphics images. In teaching, especially in reading use of thinking tools very helpful to realize ordering disordered knowledge concretization knowledge. It not only improve students' interest ...

Salcianu and Rinard present a compositional purity analysis that computes a summary for every procedure describing its side-effects. In this paper, we formalize a generalization of this analysis as an abstract interpretation, present several optimizations and an empirical evaluation showing the value of these optimizations. The Salcianu-Rinard analysis makes use of abstract heap graphs, similar...

In this report, we present Gecko, a framework for the model-based development of embedded systems, focusing on light-weight fault-tolerance and dependability aspects. Given a high-level sketch of the system, including models of the hardware, software, expected faults, and a set of predefined mechanisms, Gecko can perform a series of refinement processes, including model annotation and concretiz...