Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution regression plans ))))

Oka : a convergence of cultures and the Canadian Forces by Winegard, Timothy C. (Timothy Charles), 1977-

Semi-markov models : control of restorable systems with latent failures by Obzherin, Yuriy E., Boyko, Elena G.

Elsevier - Click here for access

Oracle database transactions and locking revealed by Kyte, Thomas, Kuhn, Darl

SpringerLink - Click here for access

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-1... by GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems Essen, Germany, SpringerLink (Online service)

Contents: “…Schmitt -- An EM algorithm for Markovian arrival processes observed at discrete times / Lothar Breuer and Alfred Kume -- An empirical comparison of MAP fitting algorithms / Jan Kriege and Peter Buchholz -- Reducing the cost of generating APH-distributed random numbers / Philipp Reinecke, Miklós Telek, and Katinka Wolter -- Correctness issues of symbolic bisimulation computation for Markov chains / Ralf Wimmer and Bernd Becker -- Tool papers. …”
SpringerLink - Click here for access

Advanced information systems engineering : 20th international conference, CAiSE 2008, Montpellier, France, June 16-20, 2008 ; proceedings by CAiSE (Conference) Montpellier, France), SpringerLink (Online service)

Contents: “…Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services -- An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? …”
SpringerLink - Click here for access

Flexible and generalized uncertainty optimization : theory and approaches Second edition. by Lodwick, Weldon A., Salles-Neto, Luiz L.

SpringerLink - Click here for access

Beginning STM32 : developing with FreeRTOS, libopencm3 and GCC by Gay, Warren

SpringerLink - Click here for access

Wireless Algorithms, Systems, and Applications : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings by WASA (Conference) Tianjin, China), SpringerLink (Online service)

SpringerLink - Click here for access

Starting an Internet Marketing Company by Films for the Humanities & Sciences (Firm), Infobase, National Archives and Records Service

Films on Demand - Click here for access

Memory by BBC Worldwide Ltd, Films for the Humanities & Sciences (Firm), Infobase

Films on Demand - Click here for access

Smart grid resilience : extreme weather, cyber -physical security, and system interdependency by Qi, Junjian, 1985-

SpringerLink - Click here for access

Stochastic flows and jump-diffusions by Kunita, H.

SpringerLink - Click here for access

Computer graphics : principles and practice Third edition. by Hughes, John F., 1955-

Contents: “…Introduction : A brief history ; An illuminating example ; Goals, resources, and appropriate abstractions ; Some numbers and orders of magnitude in graphics ; The graphics pipeline ; Relationship of graphics to art, design, and perception ; Basic graphics systems ; Polygon drawing as a black box ; Interaction in graphics systems ; Different kinds of graphics applications ; Different kinds of graphics packages ; Building blocks for realistic rendering: a brief overview ; Learning computer graphics -- Introduction to 2D graphics using WPF : Overview of the 2D graphics pipeline ; The evolution of 2D graphics platforms ; Specifying a 2D scene using WPF ; Dynamics in 2D graphics using WPF ; Supporting a variety of form factors -- An ancient renderer made modern : A Dürer woodcut ; Visibility ; Implementation ; The program ; Limitations -- A 2D graphics test bed : Details of the test bed ; The C♯ code ; Animation ; Interaction ; An application of the test bed -- An introduction to human visual perception : The visual system ; The eye ; Constancy and its influences ; Continuation ; Shadows -- Introduction to fixed-function 3D graphics and hierarchical modeling : Introducing mesh and lighting specification ; Curved-surface representation and rendering ; Surface texture in WPF ; The WPF reflectance model ; Hierarchical modeling using a scene graph -- Essential mathematics and the geometry of 2-space and 3-space : Notation ; Sets ; Functions ; Coordinates ; Operations on coordinates ; Intersections of lines ; Intersections, more generally ; Triangles ; Polygons -- A simple way to describe shape in 2D and 3D : "Meshes" in 2D: polylines ; Meshes in 3D -- Functions on meshes : code for barycentric interpolation ; Limitations of piecewise linear extension ; Smoother extensions ; Functions multiply defined at vertices ; Application: texture mapping -- Transformations in two dimensions : Five examples ; Important facts about transformations ; Translation ; Points and vectors again ; Why use 3 x 3 matrices instead of a matrix and a vector? …”

Software architecture for big data and the cloud First edition. by ScienceDirect (Online service)

Contents: “…Note continued: 15.3.1.Necessity for Fault-Tolerance in Distributed Systems -- 15.4.Taxonomy of Faults -- 15.5.Taxonomy of Fault-Tolerant Scheduling Algorithms -- 15.5.1.Replication -- 15.5.2.Resubmission -- 15.5.3.Checkpointing -- 15.5.4.Provenance -- 15.5.5.Rescue Workflow -- 15.5.6.User-Defined Exception Handling -- 15.5.7.Alternate Task -- 15.5.8.Failure Masking -- 15.5.9.Slack Time -- 15.5.10.Trust-Based Scheduling Algorithms -- 15.6.Modeling of Failures in Workflow Management Systems -- 15.7.Metrics Used to Quantify Fault-Tolerance -- 15.8.Survey of Workflow Management Systems and Frameworks -- 15.8.1.Askalon -- 15.8.2.Pegasus -- 15.8.3.Triana -- 15.8.4.UNICORE 6 -- 15.8.5.Kepler -- 15.8.6.Cloudbus Workflow Management System -- 15.8.7.Traverna -- 15.8.8.The e-Science Central (e-SC) -- 15.8.9.SwinDeW-C -- 15.8.10.Big Data Workflow Frameworks: MapReduce, Hadoop, and Spark -- 15.8.11.Other Workflow Management Systems -- 15.9.Tools and Support Systems.…”
Elsevier - Click here for access

International business transactions and taxation practical guidance and framework for executives by Solbach, Manuel C.

SpringerLink - Click here for access

Vocational vehicles and applications 2nd ed. by Hilgers, Michael

SpringerLink - Click here for access

Multiphysics in Porous Materials by Liu, Zhen, Ph. D.

SpringerLink - Click here for access

Lattice theory. Volume 2 : special topics and applications by SpringerLink (Online service)

SpringerLink - Click here for access

Fiber-wireless convergence in next-generation communication networks : systems, architectures, and management by SpringerLink (Online service)

Contents: “…Foreword; Preface; Contents; Introduction; The overall picture; Book Organization; References; The Path Towards Convergence; 1 Future Radio Access, Wi-Fi-LTE, LTE-Advanced: The Path to 5G; Abstract; 1.1 Introduction; 1.1.1 LTE Principles of Operation and Deployment; 1.2 Carrier Aggregation; 1.2.1 Definitions and Terminologies; 1.2.2 Types of Carrier Aggregation; 1.2.3 Radio Resource Management Framework for CA; 1.3 Transmission Diversity and Spatial Multiplexing; 1.3.1 Transmit Diversity-Definition and Terminologies; 1.3.2 MIMO and Spatial Multiplexing-Definition and Terminologies.…”
SpringerLink - Click here for access

Building embedded systems : programmable hardware by Gu, Changyi

SpringerLink - Click here for access