Search Results - (( Defined contributors pension plan ) OR ((( Defined ((distribution properties) OR (distribution process)) plan ) OR ( Defined distribution ((torsion plans) OR (torsion points)) ))))
-
1
While America aged : how pension debts ruined General Motors, stopped the NYC subways, bankrupted San Diego, and loom as the next financial crisis
Published: Penguin Press, 2008Contributor biographical information -Description: 274 pages ; 25 cm.
Book -
2
Running mainframe z on distributed platforms : how to create robust cost-efficient multiplatform z environments
Published: Apress : Distributed by Springer Science+Business Media, 2014SpringerLink - Click here for accessDescription: 1 online resource (1 volume) : illustrations.
eBook -
3
Decentralized frameworks for future power systems operation, planning and control perspectives
Published: Academic Press, 2022Elsevier - Click here for accessDescription: 1 online resource.
Electronic eBook -
4
Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings
Published: Springer, 2008Contents: “…-- Investigating Factors Affecting the Usability of Software Process Descriptions -- Degree of Agility in Pre-Implementation Process Phases -- Support IT Service Management with Process Modeling and Analysis -- The Secret Life of a Process Description: A Look into the Evolution of a Large Process Model -- Simulation Modeling -- Simulating Worst Case Scenarios and Analyzing Their Combined Effect in Operational Release Planning -- Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach -- GENSIM 2.0: A Customizable Process Simulation Model for Software Process Evaluation -- RVSim: A Simulation Approach to Predict the Impact of Requirements Volatility on Software Project Plans -- Identifying Key Success Factors for Globally Distributed Software Development Project Using Simulation: A Case Study -- Hybrid Modeling of Test-and-Fix Processes in Incremental Development -- Reflections on 10 Years of Software Process Simulation Modeling: A Systematic Review -- Experience Report -- Integrating Joint Reviews with Automotive SPICE Assessments Results -- Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China -- An Investigation of Software Development Productivity in China -- Optimized Software Process for Fault Handling in Global Software Development -- Measuring and Comparing the Adoption of Software Process Practices in the Software Product Industry.…”Description: 1 online resource (xiv, 422 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
5
Future intent-based networking : on the QoS robust and energy efficient heterogenous software defined networks
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource : illustrations (some color).
eBook -
6
Monitoring, security, and rescue techniques in multiagent systems 1st ed.
Published: Springer, 2005Contents: “…Foundations and Methods -- Flow Graphs, their Fusion and Data Analysis -- Approximation Spaces for Hierarchical Intelligent Behavioral System Models -- Distributed Adaptive Control: Beyond Single-Instant, Discrete Control Variables -- Multi-agent Planning for Autonomous Agents' Coordination -- Creating Common Beliefs in Rescue Situations -- Coevolutionary Processes for Strategic Decisions -- Automatic Proofs of Protocols via Program Transformation -- Mereological Foundations to Approximate Reasoning -- Data Security and Null Value Imputation in Distributed Information Systems -- Basic Principles and Foundations of Information Monitoring Systems -- Modelling Unreliable and Untrustworthy Agent Behaviour -- Nearest Neighbours without k -- Classifiers Based on Approximate Reasoning Schemes -- Towards Rough Applicability of Rules -- On the Computer-Assisted Reasoning about Rough Sets -- Similarity-Based Data Reduction and Classification -- Decision Trees and Reducts for Distributed Decision Tables -- Learning Concept Approximation from Uncertain Decision Tables -- In Search for Action Rules of the Lowest Cost -- Circularity in Rule Knowledge Bases Detection using Decision Unit Approach -- Feedforward Concept Networks -- Extensions of Partial Structures and Their Application to Modelling of Multiagent Systems -- Tolerance Information Granules -- Attribute Reduction Based on Equivalence Relation Defined on Attribute Set and Its Power Set -- Query Cost Model Constructed and Analyzed in a Dynamic Environment -- The Efficiency of the Rules' Classification Based on the Cluster Analysis Method and Salton's Method -- Extracting Minimal Templates in a Decision Table -- Application Domains and Case Studies -- Programming Bounded Rationality -- Generalized Game Theory's Contribution to Multi-agent Modelling -- Multi-Agent Decision Support System for Disaster Response and Evacuation -- Intelligent System for Environmental Noise Monitoring -- Multi-agent and Data Mining Technologies for Situation Assessment in Security-related Applications -- Virtual City Simulator for Education, Training, and Guidance -- Neurocomputing for Certain Bioinformatics Tasks -- Rough Set Based Solutions for Network Security -- Task Assignment with Dynamic Token Generation -- DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems -- Classifier Monitoring using Statistical Tests -- What Do We Learn When We Learn by Doing? …”Description: 1 online resource (xii, 596 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
7
Enabling technologies for effective planning and management in sustainable smart cities
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (xiv, 402 pages) : illustrations (some color)
eBook -
8
An Intelligent Inspection Planning System for Prismatic Parts on CMMs
Published: Springer, 2019SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
9
Flatland deposits of the San Francisco Bay region, California : their geology and engineering properties, and their importance to comprehensive planning
Published: United States Department of the Interior, Geological Survey, 1979Get full textDescription: 1 online resource (viii, 88 pages) : illustrations, maps (some color).
Government Document eBook -
10
Collaborative computing : networking, applications and worksharing : 13th International Conference, CollaborateCom 2017, Edinburgh, UK, December 11-13, 2017, Proceedings
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xviii, 731 pages) : illustrations.
Conference Proceeding eBook -
11
Ultra-processed people Why we can't stop eating food that isn't food Unabridged.
Published: Knopf Canada, 2023Overdrive - Click here for access.Description: 1 online resource (10 audio files) : digital.
Electronic Audio -
12
Defining and measuring economic resilience from a societal, environmental and security perspective
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
13
How to validate a pharmaceutical process
Published: Academic Press is an imprint of Elsevier, 2016Contents: “…Front Cover; How to Validate a Pharmaceutical Process; Copyright Page; Dedication; Contents; Author Biography; Preface; Acknowledgment; About the Expertise in the Pharmaceutical Process Technology Series; Format; Subject Matter; Target Audience; I: Introduction to Process Validation; 1 Introduction to Process Validation (PV); Defining Process Validation (PV); Legacy Products; Stages of PV; Notes; 2 A Brief Review of the Regulations; Notes; 3 The Validation Life Cycle and Change Control; Life Cycle Approach; The Role of Change Control; Types of Changes; The Change Control Process; Notes.…”Description: 1 online resource.
Elsevier - Click here for access
eBook -
14
Trustworthy software development processes : International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 16-17, 2009 : proceedings
Published: Springer, 2009Contents: “…When? and What? for the Process of Re-planning for Product Releases -- Overcoming the First Hurdle: Why Organizations Do Not Adopt CMMI -- Value-Based Multiple Software Projects Scheduling with Genetic Algorithm -- Process Tools -- Meta Model Based Architecture for Software Process Instantiation -- Distributed Orchestration Versus Choreography: The FOCAS Approach -- An Architecture for Modeling and Applying Quality Processes on Evolving Software -- Process Analysis -- Evaluating the Perceived Effect of Software Engineering Practices in the Italian Industry -- Evidence-Based Insights about Issue Management Processes: An Exploratory Study -- Process Aspect: Handling Crosscutting Concerns during Software Process Improvement -- Stochastic Process Algebra Based Software Process Simulation Modeling -- Process Simulation Modeling -- Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution -- Dynamic COQUALMO: Defect Profiling over Development Cycles -- A Hybrid Model for Dynamic Simulation of Custom Software Projects in a Multiproject Environment -- On the Relative Merits of Software Reuse -- Investigating the Gap between Quantitative and Qualitative/Semi-quantitative Software Process Simulation Models: An Explorative Study -- Experience Report -- Bridge the Gap between Software Test Process and Business Value: A Case Study -- Subcontracting Processes in Software Service Organisations -- An Experience Report -- On Reducing the Pre-release Failures of Web Plug-In on Social Networking Site -- Technical Software Development Process in the XML Domain -- Process Metrics -- Software Product Quality: Ensuring a Common Goal -- Predicting Upgrade Project Defects Based on Enhancement Requirements: An Empirical Study -- Process Modeling and Representation -- Incremental Process Modeling through Stakeholder-Based Hybrid Process Simulation -- A Process-Oriented Approach for the Optimal Satisficing of Non-Functional Requirements -- A Pattern for Modeling Rework in Software Development Processes -- Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects -- Incrementally Introducing Process Model Rationale Support in an Organization -- A Process for Driving Process Improvement in VSEs -- Modeling Software Evolution with Game Theory -- Structural Considerations in Defining Executable Process Models -- Analyzing a Software Process Model Repository for Understanding Model Evolution -- Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness -- A System Dynamics Model That Simulates a Significant Late Life Cycle Manpower Increase Phenomenon.…”Description: 1 online resource (xiv, 412 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
15
Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part I
Published: Springer, 2022Contents: “…Deep Learning Models and Applications -- CRFST-GCN :A Deeplearning Spital-Temporal Frame to Predict Traffic Flow -- BFR-RetinaNet: An Improved RetinaNet Model for Vehicle Detection in Aerial Images -- Learning Knowledge Graph Embeddings by Multi-Attention Mechanism for Link Prediction -- GlowImp: Combining GLOW and GAN for Multivariate Time Series Imputation -- Accurate Indoor Localization Using Magnetic Sequence Fingerprints with Deep Learning -- Wasserstein Graph Auto-Encoder -- Fine-grained Activity Recognition Based on Features of Action Subsegments and Incremental Broad Learning -- ADFA-LSTM: An Abnormal Trajectory Prediction Method Based On Bionic Neural Network -- Online Multiple Object Tracking Algorithm based on Heat Map Propagation -- Software Systems and Efficient Algorithms -- Spatio-temporal Topology Routing Algorithm for Opportunistic Network Based on Self-Attention Mechanism -- TSAEns: Ensemble Learning for KPI Anomaly Detection -- Towards Transferable Adversarial Examples using Meta Learning -- Temporal Convolution Network Based on Attention for Intelligent Anomaly Detection of Wind Turbine Blades -- Error Serial Episodes Discovery from Mobile Payment Log in Distributed ETC -- Parallel Cache Prefetching for LSM-Tree based Store: From Algorithm to Evaluation -- A Hybrid TLBO-TS Algorithm based Mobile Service Selection for Composite Services -- UPM-DMA: An Efficient Userspace DMA-Pinned Memory Management Strategy for NVMe SSD -- AHOA: Adaptively Hybrid Optimization Algorithm for Flexible Job-shop Scheduling Problem -- Trace-Navi: A High-Accuracy Indoor Navigation System based on Real-Time Activity Recognition and Discrete Trajectory Calibration -- Iterative Filling Incomplete Fingerprint Map Based on Multi-directional Signal Propagation in Large-scale Scene -- Dynamic Adjustment Policy of Search Driver Matching Distance via Markov Decision Process -- A Multi-Precision Quantized Super-Resolution Model Framework -- An Optimized GPU Implementation of Weakly-compressible SPH using CUDA-based strategies -- A Heterogeneous Multi-Core Network-on-Chip Mapping Optimization Algorithm -- A Novel 3D Intelligent Cluster Method for Malicious Traffic Fine-grained Classification -- Predicting Students Academic Performance Based on Improved PSO-Xgboost: A Campus Behavior Perspective -- Motion-sequence Authentication System: guard for smart phones -- Edge Computing and Edge Intelligence -- Joint Optimization Scheme of Multi-service Replication and Request Offloading in Mobile Edge Computing -- Flying MEC: Online Task Offloading, Trajectory Planning and Charging Scheduling for UAV-assisted MEC -- Multiple Workflows Offloading Based on Deep Reinforcement Learning in Mobile Edge Computing -- An Optimized Greedy-based Task Offloading Method for Mobile Edge Computing -- Location Aware Workflow Migration Based on Deep Reinforcement Learning in Mobile Edge Computing -- Recode-Decode-and-Compare: An Efficient Verification Scheme for Coded Edge Computing against Collusion Attack -- MGFL: Multi-granularity Federated Learning in Edge Computing Systems -- Energy Efficient Priority-Based Task Scheduling for Computation Offloading in Fog Computing -- Space-Heuristic Navigation and Occupancy Map Prediction for Robot Autonomous Exploration -- Service Dependability and Security Algorithms -- Edge DDoS attack detection method based on software defined networks -- GradMFL: Gradient Memory-based Federated Learning for Hierarchical Knowledge Transferring over Non-IID Data -- Linear Coded Federated Learning -- Verifiable Dynamic Searchable Symmetric Encryption with Forward Privacy in Cloud-assisted E-Healthcare Systems -- Security Analysis of Poisoning Attacks Against Multi-agent Reinforcement Learning -- A blockchain-based proxy oriented cloud storage public audit scheme for low-performance terminal devices -- Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains -- A Novel Protection method of continuous location sharing based on local differential privacy and conditional random field -- An Intelligent Allocation Mechanism Based on Ethereum Blockchain in Microgrid -- Data Science -- Multi-Layer Adaptive Sampling for Per-Flow Spread Measurement -- Transformer-based Rating-Aware Sequential Recommendation -- An effective single-pass approach for estimating the Z-quantile in data streams -- Fed-Tra: Improving Accuracy of Deep Learning Model on Non-IID Data in Federated Learning.…”Description: 1 online resource (835 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
16
Handbook on business process management. 1, Introduction, methods and information systems Second edition.
Published: Springer, 2014SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
17
Optimal mobile sensing and actuation policies in cyber-physical systems
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (xvii, 170 pages)
eBook -
18
Product-focused software process improvement : 8th International conference, PROFES 2007, Riga, Latvia, July 2-4, 2007 : proceedings
Published: Springer, 2007Contents: “…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.…”Description: 1 online resource (xii, 414 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
19
Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, the Netherlands, June 12-14, 2006 : proceedings
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xvii, 474 pages) : illustrations.
Conference Proceeding eBook -
20
Agents and multi-agent systems : technologies and applications 2021 : proceedings of 15th KES International Conference, KES-AMSTA 2021, June 2021
Published: Springer, 2021Contents: “…Learned Dynamics Models and Online Planning for Model-Based Animation Agents --…”Description: 1 online resource (xviii, 523 pages : illustrations (some color)).
SpringerLink - Click here for access
Conference Proceeding eBook