Search Results - (( Defined (contributors OR contributions) ((pensions plans) OR (pension plan)) ) OR ((( Defined distribution ((operations plans) OR (operational plan)) ) OR ( Defined distribution decision alan ))))
-
1
Optimization theory, decision making, and operations research applications : Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Research
Published: Springer, 2013SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
2
Mobile wireless middleware, operating systems and applications : 11th EAI International Conference, MOBILWARE 2022, virtual event, December 28-29, 2022, Proceedings
Published: Springer, 2023Contents: “…Middleware, Wireless, and Future Networks -- A Middleware-Based Approach for Latency-Sensitive Service Provisioning in IoT with End-Edge Cooperation -- Deep Reinforcement Learning based Congestion Control Mechanism for SDN and NDN in Satellite Networks -- intelligent automated penetration testing using reinforcement learning to improve the efficiency and effecctiveness of penetration testing -- Time Slot Correlation-Based Caching Strategy for Information-Centric Satellite Networks -- Design and implementation of a pipeline-based data scheduling method for spacecraft with multiple data buses -- Research on the Development of Intelligent Space System (ISS) -- Integrated Satellite-Terrestrial Information Network -- Features extraction of Reconstruction Model using in Augmented Reality System of Teleoperation Mobile Robots -- Research on Rapid 3D Reconstruction for Teleoperation in Manned Lunar Exploration Mission -- Onboard Software Maintenance Design and Implementation for networking satellites -- Model Based Development of Spacecraft OBDH Software -- Design of Aerospace Cloud Computing Server Based on Docker Cluster -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (1) -- Analysis and Simulation of High Orbit Weak Signal Tracking Algorithm -- Avionics System Architectures for Software-Defined Spacecraft -- Research and application of energy efficiency optimization algorithm for spacecraft simulation platform -- SADA: SDN Architecture Based Secure Dynamic Access Scheme for Satellite Network -- Research on the Concept and Connotation of Space Proving Grounds (SPG) -- A Multi-Agent based Satellite Health Management System Architecture and Implementation Scheme -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (2) -- Avionic system Architecture Design of the Manned Deep Space Exploration Spacecraft -- Research on Tianwen-1 Mars Probe Relay Communication Technology -- Design and practice of Communication System During EDL for Mars Probe -- Study on EMC Influence of Zhu Rong Rover UHF band communication system -- Design and implementation of power supply and distribution system for Mars landing mission -- Research on Integrated operation design of low orbit remote sensing satellite for intelligent application.…”Description: 1 online resource (xiii, 286 pages) : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
3
National defense into the 21st century defining the issues
Published: Strategic Studies Institute, U.S. Army War College, 1997Get full text
Full text
Government Document Electronic eBook -
4
Urban science and engineering : proceedings of ICUSE 2020
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
5
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 -
6
Modeling, dynamics, optimization and bioeconomics IV : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May-June 2017 -- Selected Contributions
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (448 pages).
Conference Proceeding eBook -
7
Enabling manufacturing competitiveness and economic sustainability : proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CA...
Published: Springer, 2013Contents: “…A Three Level Model for the Design, Planning and Operation of Changeable Production Systems in Distributed Manufacturing /…”Description: 1 online resource (xii, 480 pages) : illustrations (some color)
SpringerLink - Click here for access
Conference Proceeding eBook -
8
Advances in autonomous robotics : joint proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012
Published: Springer, 2012Contents: “…Adaptive Self-triggered Control of a Remotely Operated Robot /…”Description: 1 online resource (xvi, 469 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
9
Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I
Published: Springer, 2019Contents: “…Reinsertion Algorithm Based on Destroy and Repair Operators for Dynamic Dial a Ride Problems /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
10
Proceedings of 2012 3rd International Asia Conference on Industrial Engineering and Management Innovation (IEMI2012)
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
11
Landslide science and practice. Volume 2, Early warning, instrumentation and monitoring
Published: Springer, 2013Contents: “…Slope Disaster Monitoring System Using Battery-Operated Wireless Sensor Network /…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
12
Human-computer interaction-- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings. Part II
Published: Springer, 2013Contents: “…Evaluating Direct Manipulation Operations for Constraint-Based Layout /…”Description: 1 online resource (xxx, 791 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
13
Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings
Published: Springer, 2006Contents: “…Power-efficient microkernel of embedded operating system on chip /…”Description: 1 online resource (xiv, 605 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
14
Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 :...
Published: Springer, 2011Contents: SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 729 pages) : illustrations.
Conference Proceeding eBook -
15
Framing the social security debate : values, politics, and economics
Published: Distributed worldwide by Brookings Institution Press, 1998Contents: “…/ Dallas L. Salisbury -- Defined contribution plans : risky business for plan participant / Regina T. …”Description: 1 online resource (xi, 450 pages) : illustrations.
EBSCOhost - Click here for access
eBook -
16
Advances in information systems and technologies
Published: Springer, 2013Contents: “…Analyzing Website Content for Improved R & T Collaboration Planning /…”Description: 1 online resource (xxii, 1160 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
17
Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Published: Springer-Verlag, 2009Contents: “…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.…”Description: 1 online resource.
SpringerLink - Click here for access
Conference Proceeding eBook -
18
Survival and sustainability : environmental concerns in the 21st century
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
19
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 -
20
Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers
Published: Springer, 2008Contents: “…Invited Papers -- Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks -- SOA Pragmatism -- Software and Data Technologies -- A Simple Language for Novel Visualizations of Information -- Generic Components for Static Operations at Object Level -- A Visual Dataflow Language for Image Segmentation and Registration -- A Debugger for the Interpreter Design Pattern -- Concepts for High-Performance Scientific Computing -- A Model Driven Architecture Approach to Web Development -- Reverse-Architecting Legacy Software Based on Roles: An Industrial Experiment -- A Supporting Tool for Requirements Elicitation Using a Domain Ontology -- Pattern Detection in Object-Oriented Source Code -- Testing the Effectiveness of MBIUI Life-Cycle Framework for the Development of Affective Interfaces -- Developer Stories: Improving Architecture in Agile Practice -- An Ontological SW Architecture Supporting Agile Development of Semantic Portals -- The Vcodex Platform for Data Compression -- Classification of Benchmarks for the Evaluation of Grid Resource Planning Algorithms -- A Disconnection-Aware Mechanism to Provide Anonymity in Two-Level P2P Systems -- Approximation and Scoring for XML Data Management -- Quantitative Analysis of the Top Ten Wikipedias -- A Semantic Web Approach for Ontological Instances Analysis -- Aspects Based Modeling of Web Applications to Support Co-evolution -- Recommending Trustworthy Knowledge in KMS by Using Agents -- Recent Developments in Automated Inferencing of Emotional State from Face Images -- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation -- Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm -- Knowledge Purpose and Visualization -- Empirical Experimentation for Validating the Usability of Knowledge Packages in Transferring Innovations -- An Ontological Investigation in the Field of Computer Programs -- Evaluation of Novel Approaches to Software Engineering -- Formal Problem Domain Modeling within MDA -- Model Based Testing for Agent Systems -- A Metamodel for Defining Development Methodologies.…”Description: 1 online resource (xv, 428 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook