05600nam 22007815 450 99646563260331620230406024649.03-642-04368-210.1007/978-3-642-04368-0(CKB)1000000000784724(SSID)ssj0000317725(PQKBManifestationID)11211912(PQKBTitleCode)TC0000317725(PQKBWorkID)10312393(PQKB)11162734(DE-He213)978-3-642-04368-0(MiAaPQ)EBC3064526(PPN)139955593(EXLCZ)99100000000078472420100301d2009 u| 0engurnn|008mamaatxtccrFormal Modeling and Analysis of Timed Systems[electronic resource] 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings /edited by Joel Ouaknine, Frits W. Vaandrager1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (X, 291 p.) Theoretical Computer Science and General Issues,2512-2029 ;5813Bibliographic Level Mode of Issuance: Monograph3-642-04367-4 Includes bibliographical references and index.Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements.This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 40 submissions. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling and analysis of timed systems.Typical topics include (but are not limited to): – Foundations and Semantics. Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). – Methods and Tools. Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.). – Applications. Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication).Theoretical Computer Science and General Issues,2512-2029 ;5813Computer science—MathematicsCompilers (Computer programs)Software engineeringComputer scienceMathematics of ComputingCompilers and InterpretersSoftware EngineeringComputer Science Logic and Foundations of ProgrammingTheory of ComputationModels of ComputationComputer science—Mathematics.Compilers (Computer programs).Software engineering.Computer science.Mathematics of Computing.Compilers and Interpreters.Software Engineering.Computer Science Logic and Foundations of Programming.Theory of Computation.Models of Computation.004n/aDAT 260fstubDAT 510fstubDAT 550fstubSS 4800rvkOuaknine Joeledthttp://id.loc.gov/vocabulary/relators/edtVaandrager Frits Wedthttp://id.loc.gov/vocabulary/relators/edtFORMATS 2009BOOK996465632603316Formal Modeling and Analysis of Timed Systems772562UNISA06217nam 2200721 450 991078728860332120230803205831.090-272-6974-2(CKB)3710000000270461(EBL)1825434(SSID)ssj0001367724(PQKBManifestationID)12613016(PQKBTitleCode)TC0001367724(PQKBWorkID)11444727(PQKB)11327650(MiAaPQ)EBC1825434(Au-PeEL)EBL1825434(CaPaEBR)ebr10960629(CaONFJC)MIL663018(OCoLC)894170983(EXLCZ)99371000000027046120141106h20142014 uy 0engur|n|---|||||txtccrCorpus interrogation and grammatical patterns /edited by Kristin Davidse [and three others] ; in collaboaration with Tinne van RompaeyAmsterdam, Netherlands ;Philadelphia, Pennsylvania :John Benjamins Publishing Company,2014.©20141 online resource (368 p.)Studies in Corpus Linguistics,1388-0373 ;Volume 63"This volume is a selection of strictly refereed and extensively revised papers from the ICAME 33 International Conference "Corpora at the Centre and Crossroads of English Linguistics", organised in Leuven from 30 May to 3 June 2012"--Cover.1-322-31736-4 90-272-0371-7 Includes bibliographical references at the end of each chapters and indexes.Corpus Interrogation and Grammatical Patterns; Editorial page; Title page; LCC data; Table of contents; Acknowledgements ; List of contributors ; Interrogating corpora to describe grammatical patterns ; References ; Part 1. Patterns in the verb phrase; Light verb constructions in the history of English ; 1. Introduction ; 1.1 Definition of light verb constructions ; 1.2 Use of light verb constructions and their development ; 2. Studies on the development of light verb constructions in the history English ; 3. Data and method ; 4. Data from the history of English ; 4.1 Old English data4.2 Middle English data 4.3 Early Modern English data ; 5. Discussion ; 6. Conclusion ; References ; What happened to the English prefix, and could it stage a comeback? ; 1. The prefix then and now ; 2. Particles and their variation in early English ; 3. The decline of the prefix: Theories ; 4. The decline of the prefix: Quantitative evidence ; 5. The decline of the prefix: Interpretation ; 6. Could the prefix stage a comeback? ; 7. Conclusion ; Sources ; References ; The pattern to be a-hunting from Middle to Late Modern English ; 1. Introduction ; 2. State of the art3. Nineteenth-century evidence 4. Retrieval problems involved ; 5. Provisional quantitative analysis ; 6. Concluding interpretation ; References ; The present perfect and the preterite in Late Modern and Contemporary English ; 1. Introduction ; 2. Variation in Modern English ; 3. Corpus evidence from Late Modern and Contemporary English ; 3.1 The Brown quartet of corpora ; 3.2 The Corpus of Late Modern English Texts (Extended Version) ; 3.3 The Corpus of Contemporary American English ; 3.4 The Corpus of Historical American English ; 4. Summary and attempted explanation ; Sources ; Referencescan and be able to in nineteenth-century Irish English 1. Introduction ; 2. Theoretical background ; 2.1 Contact-induced language change ; 2.2 can and be able to in present-day Standard English ; 2.3 Participant-internal possibility in Irish ; 3. Methodology ; 3.1 Irish English data ; 3.2 English English data ; 3.3 Data analysis ; 4. be able to versus can in participant-internal possibility contexts ; 4.2 Language internal factors ; 5. Conclusion ; Sources ; References ; Part 2. Patterns in the noun phrase; Syntactic constraints on the use of dual form intensifiers in Modern English1. Setting the scene 2. The contrast between attributive and non-attributive adjectives ; 3. Intensified adjectives with or without complements ; 4. Discussion ; 5. Conclusions ; Sources ; References ; Ma daddy wis dead chuffed ; 1. Introduction ; 2. Sources of data ; 3. Discussion of the data ; 3.1 Preliminary remarks ; 3.2 Dead in BYU-BNC ; 3.3 Dead in COCA ; 3.4 Dead in ICE-Ireland ; 3.5 Dead in SCOTS ; 3.6 Dead across the varieties examined ; 4. Concluding remarks ; Sources ; References ; The case of focus ; 1. Introduction2. The distribution of pronoun case forms in English: A brief surveyThis article proposes a classification of speech functions of variable tag questions in British English conversations. Based on intonational, conversational and formal criteria the analysis shows that tag questions can not only function as questions and statements, but also as responses, commands and offers. A large group of tag questions cannot be captured by any of the traditional speech functions and are classified instead as Statement-Question blends. The article investigates the impact of the LLC and COLT corpora, and features such as gender, age and social roles, on the distribution of tStudies in corpus linguistics ;Volume 63.English languageGrammarData processingCongressesEnglish languageResearchData processingCongressesEnglish languageDiscourse analysisData processingCongressesComputational linguisticsCongressesEnglish languageGrammarData processingEnglish languageResearchData processingEnglish languageDiscourse analysisData processingComputational linguistics420.1/88Davidse KristinRompaey Tinne vanInternational Conference on English Language Research on Computerized CorporaMiAaPQMiAaPQMiAaPQBOOK9910787288603321Corpus Interrogation and Grammatical Patterns1078702UNINA