Acceso a copia digital - BiDiCap

Tabla de Contenidos: “…Creole typology II: Typological features of creoles: From early proposals to phylogenetic approaches and comparisons with non-creolesTypological features of creoles: From early proposals to phylogenetic approaches and comparisons with non-creol -- 6.1 Introduction -- 6.2 Claims about typological properties of creoles, 1950s-2000s -- 6.2.1 Taylor (1971) -- 6.2.2 Markey (1982) -- 6.2.3 Bickerton (1981, 1984) -- 6.2.4 Baker (2001) -- 6.2.5 Muysken &amp -- Law (2001) -- 6.2.6 Holm &amp -- Patrick (2007) -- 6.2.7 Szmrecsanyi &amp -- Kortmann (2009) -- 6.2.8 Cysouw (2009) -- 6.2.9 Mauritian Creole and proposed creole features (Grant &amp -- Guillemin 2012) -- 6.2.9 Mauritian Creole and proposed creole features (Grant &amp -- Guillemin 2012) -- 6.2.10 Summary of structural overviews and conclusions -- 6.3 Mass comparisons of creoles and non-creoles -- 6.3.1 Holm &amp -- Patrick's creole sample among the languages of the world -- 6.3.2 WALS features: Non-creoles and creoles -- 6.3.3 WALS features and APiCS features compared -- 6.3.4 The four WALS features that set creoles apart from non-creoles -- 6.3.5 Surinamese creoles, the lexifiers and the Gbe and Kikongo substrates -- 6.3.6 Summary mass comparisons…”

Tabla de Contenidos: “…Product overview -- 2.1 WebSphere Business Integration Server -- 2.1.1 IBM Business Integration Reference Architecture overview -- 2.1.2 Components of WebSphere Business Integration Server 4.3.0 -- 2.2 WebSphere InterChange Server -- 2.2.1 Collaborations -- 2.2.2 Business objects -- 2.2.3 Maps -- 2.2.4 WebSphere Business Integration Toolset -- 2.3 New features in WebSphere InterChange Server 4.3 -- 2.3.1 Move to Java 1.4.2 and Eclipse 2.1 -- 2.3.2 End-to-end security -- 2.3.3 Role-based access control -- 2.3.4 Hot deployment -- 2.3.5 Large-object support -- 2.3.6 JMS transport optimization -- 2.3.7 Database connection resilience -- 2.3.8 Fail Events Management API -- 2.3.9 Failed Event Manager -- 2.3.10 Dynamic Service Calls -- 2.3.11 Bidirectional language support -- 2.3.12 One Persistent Name Server hosts multiple ICSs and adapters -- 2.3.13 Web services -- 2.3.14 Remote service support for Integrated Test Environment -- 2.3.15 Improved tooling facilities for Activity Editor, Map Designer, and Connector Configurator -- 2.3.16 IBM Tivoli License Manager -- 2.3.17 Linux support -- Chapter 3. …”

Tabla de Contenidos: “…6.1 Methodology -- 6.2 Prevalence of SDBMs -- 6.3 Applications to Translation Validation -- 7 Related Work -- 8 Conclusion -- References -- The Top-Down Solver Verified: Building Confidence in Static Analyzers -- 1 Introduction -- 2 Preliminaries -- 3 The Plain Top-Down Solver -- 4 The Top-Down Solver -- 5 Related Work -- 6 Conclusion -- References -- End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT -- 1 Introduction -- 1.1 Challenges -- 1.2 Contributions -- 2 Preliminaries -- 3 A Workflow for End-to-End Refinement -- 3.1 Methodology -- 3.2 Application to a rBPF Virtual Machine -- 4 Symbolic CompCert ARM Interpreter -- 5 A Verified Just-In-Time Compiler for rBPF -- 5.1 JIT Design -- 5.2 JIT Correctness -- 5.3 JIT Vertical Refinement -- 6 HAVM: A Hybrid Interpreter for rBPF -- 7 Evaluation: Case Study of RIOT's Femto-Containers -- 8 Lessons Learned -- 9 Related Works -- 10 Conclusion -- References -- A Framework for Debugging Automated Program Verification Proofs via Proof Actions -- 1 Introduction -- 2 Proof Debugging Considered Painful -- 2.1 Background on Automated Program Verification in Verus -- 2.2 Examples of Proof Debugging -- 2.3 Automated Proof Debugging with Proof Actions -- 2.4 Challenges with Automatic Code Transformation -- 3 ProofPlumber: An Extensible Proof Action Framework -- 3.1 ProofPlumber's API Design -- 3.2 ProofPlumber's Implementation -- 4 Evaluation -- 4.1 RQ1: Are proof actions expressive enough? …”

Tabla de Contenidos: “…12 -- 2.3.1 Baseline Maturity 13 -- 2.3.2 Customization Maturity 13 -- 2.3.3 Least Stable Sub-system 14 -- 2.3.4 Program Timing 14 -- 2.4 Summary 14 -- Chapter 3: Release Management 17 -- 3.1 The Build Cycle 19 -- 3.2 Required Testing Activities 23 -- 3.3 Summary 23 -- Chapter 4: Binary Compatibility 25 -- 4.1 API Categorization 28 -- 4.2 Maintaining Compatibility 30 -- 4.2.1 Platform Compatibility 30 -- 4.2.2 Platform-based Phone Compatibility 31 -- 4.2.3 Application Compatibility 32 -- 4.2.4 Compatibility Dimensions 32 -- 4.3 Binary Compatibility Scenario 33 -- 4.4 Binary Compatibility Verifi cation 35 -- 4.4.1 The Binary Compatibility Verifi cation Process 35 -- 4.4.2 The Binary Compatibility Verifi cation Suite 36 -- 4.4.2.1 The SDK Analyser 36 -- 4.4.2.2 The Source Analyser 38 -- 4.4.2.3 The Binary Analyser 39 -- 4.4.2.4 The Application Launcher 39 -- 4.4.2.5 Binary Compatibility Applications 40 -- 4.4.2.6 Third-Party Applications 40 -- 4.5 Possible Future Tools 40 -- 4.5.1 DepInfo Tool 41 -- 4.5.2 Header Checker Tool 41 -- 4.5.3 Ordinal Checker 42 -- 4.6 Summary 42 -- Chapter 5: Certifi cates and Standards 43 -- 5.1 Technology Certifi cates 44 -- 5.1.1 Java/TCK 44 -- 5.1.2 Bluetooth 47 -- 5.1.2.1 BT Certifi cation Areas 47 -- 5.1.3 Other Technology Licences 48 -- 5.1.4 Security Certifi cates 49 -- 5.1.5 Universal Serial Bus 50 -- 5.1.6 Infrared Connectivity 50 -- 5.1.7 Multimedia Cards (MMC) 51 -- 5.2 The Open Mobile Alliance (OMA) 52.…”

Tabla de Contenidos: “…-- 2.5 Blockchain with artificial intelligence: challenges, opportunities, and solutions for the 6G internet of things -- 2.6 Discussion -- 2.7 Conclusion -- References -- 3 A simple online payment system using blockchain technology -- 3.1 Introduction -- 3.1.1 Objectives -- 3.2 Research and design -- 3.2.1 Blockchain technology and its application on online payment systems -- 3.2.2 Designing the architecture of the online payment system -- 3.2.3 Integration of the Metamask API into the online payment system using Python -- 3.2.4 User interface design of the proposed system -- 3.3 Conclusions -- References -- 4 Efficient spam email classification logistic regression model trained by modified social network search algorithm -- 4.1 Introduction -- 4.2 Background and literature review -- 4.2.1 Logistic regression -- 4.2.2 Metaheuristic optimization -- 4.3 Proposed hybrid metaheuristics -- 4.3.1 Introduced social network search algorithm -- 4.3.2 Novel initialization scheme…”

“…This concise guide shows you how to extend that model and implement custom functionality on top of Puppet by working with the type and provider APIs. Two experts from Puppet Labs explain the concepts behind these APIs, and provide instructions and examples to help you write your own fully functional types and providers…”

“…This book covers version 2 of the API, including Google's new Geocoding service. Authors Jeffrey Sambells, Cameron Turner, and Michael Purvis get rolling with examples that require hardly any code at all, but you'll quickly become acquainted with many facets of the Maps API. …”

“…With that knowledge we start to write our sample application and start with a REST-based API. Then, we add data storage via JPA and Spring's JdbcTemplate. …”

“…In this Node.js Web Apps with Express training course, expert author Wes Higbee will teach you how to create web applications and APIs with Express. This course is designed for users that are already familiar with HTML, CSS, and JavaScript. …”