000 04837nam a22005535i 4500
001 978-3-642-32332-4
003 DE-He213
005 20140220083324.0
007 cr nn 008mamaa
008 121026s2012 gw | s |||| 0|eng d
020 _a9783642323324
_9978-3-642-32332-4
024 7 _a10.1007/978-3-642-32332-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUY
_2bicssc
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aCOM031000
_2bisacsh
082 0 4 _a004.0151
_223
100 1 _aFuria, Carlo A.
_eauthor.
245 1 0 _aModeling Time in Computing
_h[electronic resource] /
_cby Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aXVI, 423 p. 168 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aMonographs in Theoretical Computer Science. An EATCS Series,
_x1431-2654
505 0 _aChap. 1 It's About Time -- Chap. 2 Languages and Interpretations -- Chap. 3 Dimensions of the Time Modeling Problem -- Chap. 4 Dynamical Systems -- Chap. 5 Time in Hardware Modeling and Design -- Chap. 6 Time in the Analysis of Algorithms -- Chap. 7 Synchronous Abstract Machines -- Chap. 8 Asynchronous Abstract Machines: Petri Nets -- Chap. 9 Logic-Based Formalisms -- Chap. 10 Algebraic Formalisms -- Chap. 11 Dual-Language Approaches -- Chap. 12 Time Is up -- References -- Index.
520 _aModels that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.  After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.
650 0 _aComputer science.
650 0 _aComputer hardware.
650 0 _aInformation theory.
650 0 _aElectronic data processing.
650 1 4 _aComputer Science.
650 2 4 _aTheory of Computation.
650 2 4 _aComputer Hardware.
650 2 4 _aMathematics of Computing.
650 2 4 _aComputing Methodologies.
700 1 _aMandrioli, Dino.
_eauthor.
700 1 _aMorzenti, Angelo.
_eauthor.
700 1 _aRossi, Matteo.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642323317
830 0 _aMonographs in Theoretical Computer Science. An EATCS Series,
_x1431-2654
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-32332-4
912 _aZDB-2-SCS
999 _c103480
_d103480