Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suiteProbabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lire la suiteThis volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...
Lire la suiteThis volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Lire la suiteThis monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Lire la suiteInformation systems have become the backbone of all kinds of organizations - day. In almost every sector – manufacturing, ...
Lire la suiteThe explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing ...
Lire la suiteThis textbook presents the crucial issues in software engineering using the agile approach to software development - one ...
Lire la suiteRobot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical ...
Lire la suiteTo do algebra is essentially to calculate, that is to say to perform, on elements of a set, (
Lire la suiteLogical thinking, the analysis of complex relationships, the recognition of und- lying simple structures which are common ...
Lire la suiteAs software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lire la suiteIn this book, we focus onhowtousebiomimicryof the functionaloperationofthe “hardwareandso- ware” of biological systems ...
Lire la suiteBusiness process management is usually treated from two different perspectives: business administration and computer science. ...
Lire la suiteBusiness process management is usually treated from two different perspectives: business administration and computer science. ...
Lire la suiteInformation is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle ...
Lire la suiteThis book is under a CC BY 4.0 license. This book offers a comprehensive guide, covering every important aspect of computational ...
Lire la suiteConceptual modeling is fundamental to the development of complex systems, because it provides the key communication means ...
Lire la suiteConceptual modeling is fundamental to the development of complex systems, because it provides the key communication means ...
Lire la suite