Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution regression plans ))))
-
381
Oka : a convergence of cultures and the Canadian Forces
Published: Canadian Defence Academy Press, 2008Description: vi, 309 pages : illustrations, maps ; 23 cm.Government Document Book -
382
Semi-markov models : control of restorable systems with latent failures
Published: Academic Press, 2015Elsevier - Click here for accessDescription: 1 online resource.
eBook -
383
Oracle database transactions and locking revealed
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xviii, 160 pages) : illustrations.
eBook -
384
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...
Published: Springer, 2010Contents: “…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. …”Description: 1 online resource (xi, 322 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
385
Advanced information systems engineering : 20th international conference, CAiSE 2008, Montpellier, France, June 16-20, 2008 ; proceedings
Published: Springer, 2008Contents: “…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? …”Description: 1 online resource (xvii, 588 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
386
Flexible and generalized uncertainty optimization : theory and approaches Second edition.
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (ix, 193 pages) : illustrations (some color).
eBook -
387
Beginning STM32 : developing with FreeRTOS, libopencm3 and GCC
Published: Apress, 2018SpringerLink - Click here for accessDescription: 1 online resource (xxi, 409 pages) : illustrations.
eBook -
388
Wireless Algorithms, Systems, and Applications : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (XVIII, 910 pages) : illustrations.
Conference Proceeding eBook -
389
Starting an Internet Marketing Company
Published: National Archives and Records Service, 2011Films on Demand - Click here for accessDescription: 1 streaming video file (68 min.) : sound, color.
Video -
390
Memory
Published: Infobase, 2014Films on Demand - Click here for accessDescription: 1 streaming video file (50 min.) : sd., col.
Video -
391
Smart grid resilience : extreme weather, cyber -physical security, and system interdependency
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (287 pages) : illustrations (black and white, and color)
eBook -
392
Stochastic flows and jump-diffusions
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource (xvii, 352 pages) : illustrations.
eBook -
393
Computer graphics : principles and practice Third edition.
Published: Addison-Wesley, 2014Contents: “…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? …”Description: xlvii, 1209 pages : illustrations (colour) ; 26 cm.
Book -
394
Software architecture for big data and the cloud First edition.
Published: Morgan Kaufmann, 2017Contents: “…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.…”Description: 1 online resource (xxxviii, 432 pages)
Elsevier - Click here for access
eBook -
395
International business transactions and taxation practical guidance and framework for executives
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (144 pages).
Electronic eBook -
396
Vocational vehicles and applications 2nd ed.
Published: Springer Vieweg, 2023SpringerLink - Click here for accessDescription: 1 online resource (62 pages).
eBook -
397
Multiphysics in Porous Materials
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
398
Lattice theory. Volume 2 : special topics and applications
Published: Birkhäuser, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
399
Fiber-wireless convergence in next-generation communication networks : systems, architectures, and management
Published: Springer, 2017Contents: “…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.…”Description: 1 online resource.
SpringerLink - Click here for access
eBook -
400
Building embedded systems : programmable hardware
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxi, 322 pages) : color illustrations.
eBook