Principles of Model Checking Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... Parallel Algorithm Derivation and Program Transformation Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little...
Foundations of Computing
It may sound surprising that in computing, a field which develops so fast that the future often becomes the past without having been the present, there is nothing more stable and worthwhile learning than its foundations.
It may sound less surprising that in a field with such a revolutionary methodological impact on all sciences and...
GeoSpatial Semantics: 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011
The fourth edition of the International Conference on Geospatial Semantics
(GeoS 2011) was held in Brest, France, during May 12–13, 2011.
Geospatial semantics (GEOS) is an emerging research area in the domain of
geographic information science. It aims at exploring strategies, computational
methods, and tools to support...
Multiple Wiener-Itô Integrals: With Applications to Limit Theorems
The goal of this Lecture Note is to prove a new type of limit theorems for normalized sums of strongly dependent random variables that play an important role in probability theory or in statistical physics. Here non-linear functionals of stationary Gaussian fields are considered, and it is shown that the theory of Wiener–Itô...
|Result Page: 58 57 56 55 54 53 52 51 50 49 48 |