Search Results - (( Defined (contribution OR contributions) ((pension plant) OR (pension plan)) ) OR ((( Defined distribution ((operations plans) OR (operating plan)) ) OR ( Defined ((distribution decision) OR (distribution decisions)) alan ))))

Optimization theory, decision making, and operations research applications : Proceedings of the 1st International Symposium and 10th Balkan Conference on Operational Research by SpringerLink (Online service), International Symposium on Operational Research, Balkan Conference on Operational Research

SpringerLink - Click here for access

Mobile wireless middleware, operating systems and applications : 11th EAI International Conference, MOBILWARE 2022, virtual event, December 28-29, 2022, Proceedings by International Conference on Mobile Wireless Middleware, Operating Systems and Applications Online, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

National defense into the 21st century defining the issues by Tilford, Earl H.

Get full text
Full text

Urban science and engineering : proceedings of ICUSE 2020 by International Conference on Urban Science and Engineering Tokyo, Japan, SpringerLink (Online service)

SpringerLink - Click here for access

Modeling, dynamics, optimization and bioeconomics IV : DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May-June 2017 -- Selected Contributions by International Conference on Dynamics, Games, and Science Madrid, Spain, SpringerLink (Online service), International Consortium on Agricultural Biotechnology Research, International Consortium on Agricultural Biotechnology Research

SpringerLink - Click here for access

Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings by International Conference on the Software Process Leipzig, Germany, SpringerLink (Online service)

Contents: “…-- 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.…”
SpringerLink - Click here for access

Enabling manufacturing competitiveness and economic sustainability : proceedings of the 5th International Conference on Changeable, Agile, Reconfigurable and Virtual Production (CA... by International Conference on Changeable, Agile, Reconfigurable and Virtual Production Munich, Germany, SpringerLink (Online service)

Contents: “…A Three Level Model for the Design, Planning and Operation of Changeable Production Systems in Distributed Manufacturing /…”
SpringerLink - Click here for access

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 by TAROS 2012 Bristol, England, SpringerLink (Online service), FIRA Roboworld Congress

Contents: “…Adaptive Self-triggered Control of a Remotely Operated Robot /…”
SpringerLink - Click here for access

Computational science -- ICCS 2019 : 19th International Conference, Faro, Portugal, June 11-14, 2019, proceedings. Part I by ICCS (International Conference on Computer Science) Faro, Portugal), SpringerLink (Online service)

Contents: “…Reinsertion Algorithm Based on Destroy and Repair Operators for Dynamic Dial a Ride Problems /…”
SpringerLink - Click here for access

Proceedings of 2012 3rd International Asia Conference on Industrial Engineering and Management Innovation (IEMI2012) by International Asia Conference on Industrial Engineering and Management Innovation, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Landslide science and practice. Volume 2, Early warning, instrumentation and monitoring by World Landslide Forum Rome, Italy, SpringerLink (Online service)

Contents: “…Slope Disaster Monitoring System Using Battery-Operated Wireless Sensor Network /…”
SpringerLink - Click here for access

Human-computer interaction-- INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings. Part II by International Conference on Human-Computer Interaction (International Federation for Information Processing) Cape Town, South Africa), SpringerLink (Online service)

Contents: “…Evaluating Direct Manipulation Operations for Constraint-Based Layout /…”
SpringerLink - Click here for access

Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings by ACSAC (Asia-Pacific Computer Systems Architecture Conference) Shanghai, China), SpringerLink (Online service)

Contents: “…Power-efficient microkernel of embedded operating system on chip /…”
SpringerLink - Click here for access

Advanced intelligent computing theories and applications : with aspects of artificial intelligence : 7th international conference, ICIC 2011, Zhengzhou, China, August 11-14, 2011 :... by International Conference on Intelligent Computing Zhengzhou, China, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Advances in information systems and technologies by World Conference on Information Systems and Technologies Olhão, Portugal, SpringerLink (Online service)

Contents: “…Analyzing Website Content for Improved R & T Collaboration Planning /…”
SpringerLink - Click here for access

Framing the social security debate : values, politics, and economics by National Academy of Social Insurance (U.S.). Conference

Contents: “…/ Dallas L. Salisbury -- Defined contribution plans : risky business for plan participant / Regina T. …”
EBSCOhost - Click here for access

Cloud computing and service Science : 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised selected papers by International Conference on Cloud Computing and Services Science Porto, Portugal, SpringerLink (Online service)

SpringerLink - Click here for access

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

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

Survival and sustainability : environmental concerns in the 21st century by International Conference on Environment: Survival and Sustainability Nicosia, Cyprus, SpringerLink (Online service)

SpringerLink - Click here for access

Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers by ICSOFT 2007 Barcelona, Spain, SpringerLink (Online service), ICSOFT (Conference), ENASE (Conference)

Contents: “…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.…”
SpringerLink - Click here for access