development  (42.650 Angebote unter 30.845.835 Artikeln)

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, It...

Invited Talk.- Assertions.- Linking and Extending Notations.- State-Based Extension of CASL.- Linking DC Together with TRSL.- Formalizing Timing Diagrams as Causal Dependencies for Verification Pur...

On Model Checking Techniques for Randomized Distributed Systems.- Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.- Programming with Miracles.- An Event-...

This book provides a rough entry into the interdisciplinary field of Infranomics. It enables better decision making in an increasing ambiguous, complex, emergent, interdependent, and uncertain worl...

In the past half century, we have experienced two major waves of methodological development in the study of human behavior in space and time. The fIrst wave was the well known "quantitative revolut...

Invited Papers.- A Family of Mathematical Methods for Professional Software Documentation.- Generating Path Conditions for Timed Systems.- Software Model Checking: Searching for Computations in the...

Extinction and standardization corrections to infrared measurements are of the utmost importance in astronomy. Various views on these concepts and problems of implementation in infrared photometry ...

A fundamental objective of Artificial Intelligence (AI) is the creation of in telligent computer programs. In more modest terms AI is simply con cerned with expanding the repertoire of computer app...

Crop production in greenhouses is a growing industry, especially in mild climates, and is very important for the population as a source of income and clean, fresh food. Greenhouses create optimal c...

This book constitutes the 25th International Conference on Infrastructure and Environment (infraeco 2018) that focuses on rural problems connected with infrastructural equipment. In general, infras...

The decision to invest in oil field development is an extremely complex problem, even in the absence of uncertainty, due to the great number of technological alternatives that may be used, to the d...

Chemical mechanical planarization, or chemical mechanical polishing as it is simultaneously referred to, has emerged as one of the critical processes in semiconductor manufacturing and in the produ...

Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, an...