Search Results - (( Defined (contribution OR contributorss) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((operational plan) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution erosion plans ))))
-
241
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 -
242
Management of uncertainty : theory and application in the design of systems and organizations
Published: Springer-Verlag, 2009SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
243
Survival and sustainability : environmental concerns in the 21st century
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
244
Lighter than air robots : guidance and control of autonomous airships
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource (xvii, 251 pages).
eBook -
245
Beginning backup and restore for SQL Server : data loss management and prevention techniques
Published: Apress, 2018SpringerLink - Click here for accessDescription: 1 online resource : illustrations.
eBook -
246
Small satellites for earth observation : selected contributions
Published: Springer, 2008Contents: “…Programmatics -- NASA Earth Observation Programs and Small Satellites -- Incubating Domestic Space-Qualified Manufacturers Through ROCSAT Programs -- Trends and Visions for Small Satellite Missions -- Development of the MicroSat Programme at INTA -- Missions (1) -- Moving Towards Commercial Earth Observation Services with Small Satellite Constellations -- PROBA Spacecraft Family -- Small Satellites and Earth Observation Systems for Small Countries and Regions -- Instruments -- Development of a High-Performance Optical System for Small Satellites -- Comparison of Atmospheric Ozone Measurements Between NASA's Total Ozone Mapping Spectrometer (TOMS) and the FASAT-BRAVO Ozone Mapping Detector (OMAD) -- Serious Microsats Need Serious Instruments, MIBS and the First Results -- Constellations -- Feasibility of a Constellation of Miniature Satellites for Perform ing Measurements of the Magnetic Field of the Earth -- Preliminary Concepts and Analysis of Future Earth Observation Missions Based on Distributed Radars -- The Swarm Magnetometry Package -- EO Formation Flying Applications for Small Satellite Missions -- Subsystems (1) -- GPS for Microsatellites -- Status and Perspectives -- On-the-Fly Merging of Attitude Solutions -- Design and On-Orbit Evaluation of Magnetic Attitude Control System for the "REIMEI" Microsatellite -- GPS and Low Cost Sensors in Navigation -- Students Session -- GPS Based Attitude Determination for the Flying Laptop Satellite -- Electromagnetic Formation Flight System Design -- Preliminary System Simulation Environment of the University Micro-Satellite Flying Laptop -- A Miniaturised UV Imaging Spectrometer for Remote Sensing of Atmosphere: Volcanic Sulphur Dioxide, Ozone, and Aerosols -- BeeSat Attitude Determination and Control System -- Special Aspects -- Initial SPHERES Operations Aboard the International Space Station -- BIRD Microsatellite Thermal Control System -- 5 Years of Operation in Space -- The "Mailbox Gound Station" -- A Procedure to Improve the Operational Key Requirements of Earth Observation Systems -- A Software-Defined Radio Approach for the Implementation of Ground Station Receivers -- Missions (2) -- Mission Requirements and Analysis of Indonesia's Second Generation Satellite to Support Food Security Program -- A Low-Cost Microsatellite Platform for Multispectral Earth Observation -- Nano-Satellites for Micro-Technology Pre-Qualification: The Delfi Program of Delft University of Technology -- Spacecraft Bus -- Development of the Method of the Creation of Micro Satellite (̃50 kg) Platforms for the Fundamental and Applied Research of the Earth and Near-Earth Outer Space -- Indigenous Mission of Satellite System Development Program in Taiwan -- Lessons Learned -- First Year in Orbit -- Results from the Beijing-1 Operational High Resolution Small Satellite -- An Introduction to FORMOSAT-2's Global Effectiveness -- TopSat: Lessons Learned from a Small Satellite Mission -- Subsystems (2) -- High Data Rate X-Band Transmitter for Low Earth Orbit Satellites -- Flowing Taks: Scalable Software Dependability and Performance.…”Description: 1 online resource (xxi, 406 pages) : illustrations, maps.
SpringerLink - Click here for access
eBook -
247
Microsoft SharePoint : building Office 2007 solutions in VB 2005
Published: Apress ; Distributed to the Book trade worldwide by Springer-Verlag, 2006SpringerLink - Click here for accessDescription: 1 online resource (xxv, 519 pages) : illustrations.
eBook -
248
CRM fundamentals
Published: Apress, 2011SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
249
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 -
250
Microservices : science and engineering
Published: Springer, 2020Contents: SpringerLink - Click here for accessDescription: 1 online resource (363 pages)
eBook -
251
Software engineering for embedded systems : methods, practical techniques, and applications First edition.
Published: Newnes, 2013Contents: “…-- 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? …”Description: 1 online resource (xlix, 1150 pages).
Elsevier - Click here for access
eBook -
252
Geographic information and cartography for risk and crises management : towards better solutions
Published: Springer Verlag, 2010Contents: “…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.…”Description: 1 online resource (xxii, 446 pages) : illustrations, maps.
SpringerLink - Click here for access
eBook -
253
Agile marketing
Published: Apress ; Distributed by Springer Science + Business Media, 2011SpringerLink - Click here for accessDescription: 1 online resource (xv, 232 pages) : illustrations.
eBook -
254
Configuration management for senior managers : essential product configuration and lifecycle management for manufacturing
Published: Elsevier : BH, 2015Contents: “…FUNCTION NAMERESPONSIBILITIES; REENGINEER OR CONTINUOUS IMPROVEMENT; PLAN TO IMPROVE; SUMMARY; Chapter Four -- CM and Software; SOFTWARE'S CURRENT CONDITION; MODERN TREND; PROCESS REDESIGN BEFORE SOFTWARE; CM'S ROLL IN SOFTWARE; WHAT CM SHOULD CONTROL-AND NOT; SOFTWARE (SW) AND FIRMWARE (FW) CONTROL; SUMMARY; Chapter Five -- Standard Foundation Blocks; STANDARDS WRITING; GENERAL STANDARDS; ACRONYMS AND DEFINITIONS; PART NUMBERS-SIGNIFICANT OR NOT; CLASS CODING; INTERCHANGEABILITY AND THE PART NUMBER; INTERCHANGEABILITY/PART NUMBER/REV CHANGE; ITEM/DOCUMENT NUMBERING.…”Description: 1 online resource.
Elsevier - Click here for access
eBook -
255
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 -
256
Beginning SQL Server for developers Fourth edition.
Published: Apress, 2015Contents: “…-- 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.…”Description: 1 online resource (xxi, 684 pages) : illustrations.
SpringerLink - Click here for access
eBook -
257
Power query for Power BI and Excel
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xv, 150 pages) : illustrations.
eBook -
258
Microsoft SharePoint : building Office 2007 solutions in C♯ 2005
Published: Apress ; Distributed to the Book trade worldwide by Springer-Verlag, 2007SpringerLink - Click here for accessDescription: 1 online resource (xxv, 513 pages) : illustrations.
eBook -
259
Road vehicle automation 10
Published: Springer, 2023Contents: “…6.3 Public-Private Sector Interactions -- Part I: Public Sector and Policy Activities -- Towards Social Deployment of Automated Driving Systems - SIP-adus Activities in Japan -- 1 Introduction of SIP-adus -- 1.1 SIP -- 1.2 SIP-adus -- 2 Establishment and Utilization of Traffic Environment Information and Field Operational Tests -- 2.1 The Field Operational Tests in the Tokyo Waterfront Area -- 2.2 Distribution of Traffic Signal Information -- 2.3 Distribution of Traffic Environment Information -- 3 Conclusions -- 4 Next Steps -- 4.1 The 3rd Phase of SIP -- 4.2 RoAD to the L4 -- References.…”Description: 1 online resource (vii, 183 pages) : illustrations (chiefly color).
SpringerLink - Click here for access
Conference Proceeding eBook -
260
Compositional data analysis : CoDaWork, L'Escala, Spain, June 2015
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (x, 209 pages) : illustrations (some color).
Conference Proceeding eBook