Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined ((distribution erosion) OR (distribution decision)) plans ))))

  1. 181

    Intelligent infrastructures by SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
  2. 182
  3. 183
  4. 184

    Lighter than air robots : guidance and control of autonomous airships by Bestaoui Sebbane, Yasmina

    Published: Springer, 2012
    Description: 1 online resource (xvii, 251 pages).
    SpringerLink - Click here for access
    eBook
  5. 185

    Supply chain scheduling by Chen, Zhi-Long, 1967-

    Published: Springer, 2022
    Description: 1 online resource.
    SpringerLink - Click here for access
    Electronic eBook
  6. 186

    Product-focused software process improvement : 8th International conference, PROFES 2007, Riga, Latvia, July 2-4, 2007 : proceedings by PROFES 2007 Rīga, Latvia, SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (xii, 414 pages) : illustrations.
    Contents: “…Keynote Addresses -- Software Development and Globalization -- Software Development Globalization from the Baltic Perspective -- Experiences in Applying Agile Software Development in F-Secure -- People Side of IT Globalization -- Global Software Development -- An Industrial Survey of Software Outsourcing in China -- Understanding Lacking Trust in Global Software Teams: A Multi-case Study -- Utilization of a Set of Software Engineering Roles for a Multinational Organization -- Software Process Improvement -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement with SFIM -- SPI-KM -- Lessons Learned from Applying a Software Process Improvement Strategy Supported by Knowledge Management -- Organisational Readiness and Software Process Improvement -- Software Process Improvement Through Teamwork Management -- De-motivators of Software Process Improvement: An Analysis of Vietnamese Practitioners' Views -- Software Process Modeling and Evolution -- Defining Software Processes Through Process Workshops: A Multicase Study -- Improving an Industrial Reference Process by Information Flow Analysis: A Case Study -- Connecting the Rationale for Changes to the Evolution of a Process -- Industrial Experiences -- Use of Non-IT Testers in Software Development -- Requirements Management Practices as Patterns for Distributed Product Management -- SPI Consulting in a Level 1 Company: An Experience Report -- Agile Software Development -- On the Effects of Pair Programming on Thoroughness and Fault-Finding Effectiveness of Unit Tests -- An Agile Toolkit to Support Agent-Oriented and Service-Oriented Computing Mechanisms -- Achieving Success in Supply Chain Management Software by Agility -- Software Measurement -- Software Measurement Programs in SMEs -- Defining Software Indicators: A Methodological Framework -- Smart Technologies in Software Life Cycle -- Convertibility Between IFPUG and COSMIC Functional Size Measurements -- A Framework for Measuring and Evaluating Program Source Code Quality -- Software Fault Prediction with Object-Oriented Metrics Based Artificial Immune Recognition System -- Simulation and Decision Support -- Operational Planning, Re-planning and Risk Analysis for Software Releases -- Project Cost Overrun Simulation in Software Product Line Development -- E-Service Architecture Selection Based on Multi-criteria Optimization -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic Approach to Service-Oriented Analysis and Design -- Improving the Problem Management Process from Knowledge Management Perspective -- Workshop -- Experience on Applying Quantitative and Qualitative Empiricism to Software Engineering -- Tutorials -- Using Metrics to Improve Software Testing -- Increase ICT Project Success with Concrete Scope Management -- Agile Software Development: Theoretical and Practical Outlook.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  7. 187

    Geographic information and cartography for risk and crises management : towards better solutions by SpringerLink (Online service)

    Published: Springer Verlag, 2010
    Description: 1 online resource (xxii, 446 pages) : illustrations, maps.
    Contents: “…Geoinformation Processing and Modelling -- Earth Observations and Dynamic Mapping: Key Assets for Risk Management -- Spatial Information for Disaster Management Using Examples from IstanbulIstanbul -- Rapid Population Maps for Crisis Response -- Modeling of Spatiotemporal Distribution of Urban Population at High Resolution -- Value for Risk Assessment and Emergency Management -- A Framework for Defining a 3D Model in Support of Risk Management -- DB4GeO, a 3D/4D Geodatabase and Its Application for the Analysis of Landslides -- GIS Procedure to Forecast and Manage Woodland Fires -- Cartographic Support of Fire Engine Navigation to Operation Site -- Strategies for the Automatic Extraction of Water Bodies from TerraSAR-X / TanDEM-X data -- GIS Techniques in the Evaluation of Pipeline Networks Seismic Hazard -- Towards a Quick Damage Detection System Based on Grid Computing -- GMES Services for Conflict Prevention and Mitigation: Supporting the DG RELEX in Mission Planning -- Geo-information Services -- Mobilizing Multi-source Geospatial Information for EW and EM: Maximize Sharing, Enhance Flexibility, and Minimize Costs -- Metainformation in Crisis Management Architecture -- Theoretical Approaches, INSPIRE Solution -- Collaborative Post-disaster Damage Mapping via Geo Web Services -- Decision Support for Tsunami Early Warning in Indonesia: The Role of OGC Standards -- A Service-Based Architecture for the Interoperability of Heterogeneous Sensor data: A Case Study on Early Warning -- Development of a Coupled Geoinformation and Simulation System for Early Warning -- Multi-criteria Evaluation for Emergency Management in Spatial Data Infrastructures -- Field Tracking Tool: A Collaborative Framework from the Field to the Decision Makers -- Practical Experience with a Contextual Map Service -- Advanced Cartographic Visualisation -- Cartography and Geoinformation for Early Warning and Emergency Management -- Process Support and Adaptive Geovisualisation in Emergency Management -- Perceptions of Various Cartographic Representations Under Specific Conditions -- Research of Students' Cartographical Knowledge in Early Warning and Crisis Management -- Geovisual Analytics Tools for Communicating Emergency and Early Warning -- Kernel Density Estimations for Visual Analysis of Emergency Response Data -- Monitoring and Comparing: A Cartographic Web Application for Real-time Visualization of Hydrological Data -- Designing Map Keys Map Key for Crisis ManagementCrisis Management on the Regional Operational and Informational Centre Level: Monitoring Transport of Dangerous Goods via Contextual Visualisation Contextual Visualization.…”
    SpringerLink - Click here for access
    eBook
  8. 188

    VMware cloud on AWS insights on the first VMware enterprise-proven SaaS solution by Lombard, Christophe

    Published: Apress, 2023
    Description: 1 online resource (xvii, 301 pages) : illustrations.
    SpringerLink - Click here for access
    Electronic eBook
  9. 189

    Hospital and healthcare security Sixth edition. by York, Tony W.

    Published: Butterworth-Heinemann, 2015
    Description: 1 online resource (xxvii, 721 pages)
    Contents: “…-- Staff and Line Positions -- Staffing Level Considerations -- References -- Defining Leadership -- Leadership Competencies -- The Security Leadership Role -- Selecting Management -- Succession Planning -- Leadership Development -- Continuous Development -- The Healthcare Security Supervisor -- Selecting Supervisors -- Shift Supervision -- Communication -- Training -- Monitoring of Performance -- Relationship with Officers -- Motivation -- Performance Management -- Performance Documentation -- Handling Problem Employees -- References -- The Security Officer -- Security Officer Authority -- Special Police Commission/Special Constable -- Licensing -- Selecting Security Personnel -- Recruitment -- Selection Criteria -- The Selection Process -- Full-Time Versus Part-Time Security Officers -- Wage Compensation -- Retention -- Performance Expectations -- Positive Reinforcement -- Rules and Regulations -- Disciplinary Action -- References -- Uniforms -- Determining Uniform Style -- Supplying and Maintaining the Uniform -- Use of Firearms -- Considerations in Arming Officers -- Trends in Arming Security Personnel -- Managing the Firearms Program -- Other Security and Defensive Equipment Considerations -- Notepad and Pen -- Communication Devices -- Handcuffs -- Flashlight -- Personal Protective Equipment -- Conducted Electrical Weapons (Tasers) -- Chemical Agents -- Batons -- Protective Vests -- Body Cameras -- The Duty Belt -- Use of Force -- Training -- Security Operations Manual -- References -- Training Concepts -- Types of Training -- New Security Officer Training -- On-the-Job Training -- Critical Task Focused Training -- Key Training Topics for the New Security Officer -- IAHSS Progressive Certification Program -- IAHSS Basic Security Officer Training -- IAHSS Advanced Security Officer Training -- IAHSS Supervisory Training -- Specialized or Supplemental Training -- Contemporary Issues in Healthcare Security Training -- Elective Training -- Training Resources and Records Requirements -- Instructors/Facilitators -- Training Materials -- Records -- References -- Deployment Objectives -- Flexing the Security Staffing Plan -- Scheduling the Security Staff -- Deployment Patterns and Concepts -- Post Assignments -- Basic Patrol Deployment Plans -- Double Coverage -- Operational versus Nonoperational Times -- Patient Care Units/Areas -- Entrances and Exits -- Basic Patrol Concepts -- External Patrol -- External Patrol Vehicles -- External Patrol Services/Considerations -- Canine Patrol -- Internal Patrol -- Importance of the First Patrol Round -- Reporting for Duty -- Shift Rotation -- Patrol Verification -- The Patrol Officer's Key Ring and Access Privileges -- Security Officer Response -- Patrol Problems -- References -- Purpose of Records -- Memory System -- Exchange of Information -- Operational Policy and Procedure -- Need for Administrative Records -- Report Formats -- Electronic Reports -- Report Preparation -- Basic Records -- Security Incident Report -- Security Supplemental Report -- Security Condition Report -- Daily Activity Report -- Parking Violation Notice -- Pass-on Record -- Master Name Index -- Monthly or Periodic Security Report -- Key Performance Indicators -- Annual Security Management Plan and Program Effectiveness Evaluation -- Keeping Departmental Records Current -- Records Retention -- References -- Patients.…”
    Elsevier - Click here for access
    eBook
  10. 190

    Theory and engineering of complex systems and dependability : proceedings of the tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29-July 3... by International Conference on Dependability of Computer Systems Brunów, Poland, SpringerLink (Online service)

    Published: Springer, 2015
    Description: 1 online resource (xvi, 604 pages) : illustrations.
    Contents: “…-Application of Data Encryption for Building Modern Virtual Private Networks -- Defining States in Reliability and Safety Modelling -- Macroscopic Transport Model as a Part of Traffic Management Center: Technical Feasibility Study -- Reliability Assessment of Integrated Airport Surface Surveillance System -- A Group Decision Support Technique for Critical IT-Infrastructures -- Planning of Electric Power Distribution Networks with Reliability Criteria -- Selected Aspects of Modeling the Movement of Aircraft in the Vicinity of the Airport with Regard to Emergency Situations -- Identifying and Symulation of Status of an Ict System Using Rough Sets -- Popular FPGA Device Families in Implementation of Cryptographic Algorithms -- Aspect-oriented Test Inputs Generation from Matlab/Simulink Models, Manel TEKAYA -- Ranking and Cyclic Job Scheduling in QoS-guaranteed Grids.- Web Based Engine for Processing and Clustering of Polish texts -- Effectiveness of Providing Data Confidentiality in Backbone Networks Based on Scalable and Dynamic Environment Technologies.- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems -- Analysis of Different Aspects of Infomobility for Public Transport in Latvia -- Data Actualization Using Regression Models in Decision Support System for Urban Transport Planning -- New Parallel Algorithm for the Calculation of Importance Measures -- An Unloading Work Model at an Intermodal Terminal.- Cost-aware Request Batching for Byzantine Fault-tolerant replication -- Symbolic Analysis Of Timed Petri nets.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  11. 191

    CRM fundamentals by Kostojohn, Scott, Johnson, Mathew, Paulen, Brian

    Published: Apress, 2011
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
  12. 192

    The U.S. Military waging peace by Films for the Humanities & Sciences (Firm), Infobase, University of Notre Dame

    Published: Infobase, 2009
    Description: 1 streaming video file (29 min.) : sd., col., digital file.
    Films on Demand - Click here for access
    Video
  13. 193

    Linear and nonlinear programming Fifth edition. by Luenberger, David G., 1937-, Ye, Yinyu

    Published: Springer, 2021
    Description: 1 online resource : illustrations.
    SpringerLink - Click here for access
    eBook
  14. 194

    Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering by International Conference on Communication, Electronics and Automation Engineering Xi'an Shi, China, SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource.
    Contents: “…Recovery Time Analysis of a Distributed Redundancy Protocol --…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  15. 195

    Software engineering for embedded systems : methods, practical techniques, and applications First edition. by ScienceDirect (Online service)

    Published: Newnes, 2013
    Description: 1 online resource (xlix, 1150 pages).
    Contents: “…-- Certification killers -- Project planning strategies -- Strategy 1: determine the project certification scope early -- Strategy 2: determine feasibility of certification -- Strategy 3: select an independent assessor (if used) -- Strategy 4: understand your assessor's role (if used) -- Strategy 5: assessment communication is key -- Strategy 6: establish a basis of certification -- Strategy 7: establish a "fit and purpose" for your product -- Strategy 8: establish a certification block diagram -- Strategy 9: establish communication integrity objectives -- Strategy 10: identify all interfaces along the certification boundary -- Strategy 11: identify the key safety defensive strategies -- Strategy 12: define built in test (BIT) capability -- Strategy 13: define fault annunciation coverage -- Strategy 14: define reliance and expectation of the operator/user -- Strategy 15: define plan for developing software to appropriate integrity level -- Strategy 16: define artifacts to be used as evidence of compliance -- Strategy 17: plan for labor-intensive analyses -- Strategy 18: create user-level documentation -- Strategy 19: plan on residual activity -- Strategy 20: publish a well-defined certification plan -- Faults, failures, hazards, and risk analysis -- Faults, errors, and failures -- Availability and reliability -- Fault handling -- Hazard analysis -- Risk analysis -- Safety-critical architectures -- "Do-er"/"Check-er" -- Two processors -- "Voter" -- Software implementation strategies -- Strategy 1: have a well-defined, repeatable peer-review process -- Strategy 2: consider using existing safety coding standards -- Strategy 3: handle all combinations of input data -- Strategy 4: specific variable value checking -- Strategy 5: mark safety-critical code sections -- Strategy 6: timing execution checking -- Strategy 7: stale data -- Strategy 8: comparison of outputs -- Strategy 9: initialize data to least permissive state -- Strategy 10: order of execution -- Strategy 11: volatile data checking -- Strategy 12: non-volatile data checking -- Strategy 13: make sure the entire system can run -- Strategy 14: remove "dead" code -- Strategy 15: fill unused memory -- Strategy 16: static code analysis -- Background -- Is that software yours? …”
    Elsevier - Click here for access
    eBook
  16. 196

    Beginning SQL Server for developers Fourth edition. by Dewson, Robin

    Published: Apress, 2015
    Description: 1 online resource (xxi, 684 pages) : illustrations.
    Contents: “…-- SQL Server Editions -- The Example -- Installation -- Install -- Setup Role -- Choosing the Features to Install -- Naming the Instance -- Service Accounts -- Authentication Mode -- Defining the Data Directories -- FILESTREAM Options -- Creating the Reporting Services Database -- Distributed Replay Options -- Security -- Services Accounts -- Looking at the Authentication Mode -- Windows Authentication Mode -- Administrators on a Machine -- Mixed Mode -- The sa Login -- Summary -- Chapter 2: SQL Server Management Studio -- A Quick Overview of SSMS -- Query Editor -- sqlcmd -- Summary -- Chapter 3: Database Design and Creation -- Defining a Database -- Prebuilt Databases Within SQL Server -- master -- tempdb -- model -- msdb -- AdventureWorks/AdventureWorksDW -- Choosing the Database System Type -- OLTP -- Backups -- Indexes -- In-memory data -- BI/OLAP -- Example System Choice -- Gathering the Data -- Determining the Information to Store in the Database -- Financial Products -- Customers -- Customer Addresses -- Shares -- Transactions -- External and Ignored Information -- Building Relationships -- Using Keys -- Primary Key -- Foreign/Referencing Key -- Candidate/Alternate Key -- A Unique Constraint Instead of a Primary Key -- Creating Relationships -- Relationships and Referential Integrity -- Types of Relationships -- One-to-One -- One-to-Many -- Many-to-Many -- More on Foreign Keys -- Normalization -- Assign Each Entity a Unique Identifier -- Store Only Information That Directly Relates to That Entity -- Avoid Repeating Values or Columns -- Normal Forms -- First Normal Form -- Customers -- Shares -- Second Normal Form -- Third Normal Form.…”
    SpringerLink - Click here for access
    eBook
  17. 197

    Healthcare information privacy and security : regulatory compliance and data security in the age of electronic health records by Robichau, Bernard Peter

    Published: Apress, 2014
    Description: 1 online resource (xi, 167 pages) : illustrations (some color)
    SpringerLink - Click here for access
    eBook
  18. 198

    CMMI for development : implementation guide by Chaudhary, Mukund, Chopra, Abhishek

    Published: Apress, 2017
    Description: 1 online resource.
    SpringerLink - Click here for access
    eBook
  19. 199

    Logic, rationality, and interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings by LORI (Workshop) Chongqing, China), SpringerLink (Online service)

    Published: Springer, 2019
    Description: 1 online resource (xxi, 441 pages) : illustrations (some color).
    Contents: “…3 Step 1: Arguments Based on Two Monotonic Logics4 Step 2: Preferences Among Arguments; 5 Step 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  20. 200

    Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings by LORI 2009 Chongqing, China, SpringerLink (Online service)

    Published: Springer-Verlag, 2009
    Description: 1 online resource.
    Contents: “…On the Temporal Structure of Learning -- Agreement Theorems in Dynamic-Epistemic Logic -- Learning and Teaching as a Game: A Sabotage Approach -- First-Order Logic Formalisation of Arrow's Theorem -- Twelve Angry Men: A Study on the Fine-Grain of Announcements -- Dynamic Testimonial Logic -- From the Logical Point of View: The Chain Store Paradox Revisited -- A Cooperation Logic for Declaration Structures -- Intentions and Assignments -- Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together -- Dynamic Epistemic Logic of Finite Identification -- An Epistemic Logic for Planning with Trials -- Obligations in a Responsible World -- Dynamic Epistemic Temporal Logic -- Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic -- An Update Operator for Strategic Ability -- Strategy Elimination in Games with Interaction Structures -- Posters -- The Logic of Knowledge-Based Cooperation in the Social Dilemma -- Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction -- Oppositional Logic -- Deliberate Contrary-to-Law Action -- Mono-Agent Dynamics -- Modal Expressivity and Definability over Sets -- Dynamic Logics for Explicit and Implicit Information -- Existence of Satisfied Alternative and the Occurring of Morph-Dictator.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook