Search Results - (( Defined (contribution OR contributions) ((pensions plans) OR (pension plans)) ) OR ((( Defined distribution ((operation plan) OR (((operational planning) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))

  1. 481

    Wireless Algorithms, Systems, and Applications : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings by WASA (Conference) Tianjin, China), SpringerLink (Online service)

    Published: Springer, 2018
    Description: 1 online resource (XVIII, 910 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
  2. 482

    Advanced information systems engineering : 20th international conference, CAiSE 2008, Montpellier, France, June 16-20, 2008 ; proceedings by CAiSE (Conference) Montpellier, France), SpringerLink (Online service)

    Published: Springer, 2008
    Description: 1 online resource (xvii, 588 pages) : illustrations.
    Contents: “…Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric and Activity-Centric Models of Business Processes -- A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures -- Interoperability of IS and Enterprises -- An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business -- Modeling Service Choreographies Using BPMN and BPEL4Chor -- Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities -- Refactoring -- Documenting Application-Specific Adaptations in Software Product Line Engineering -- Refactoring Process Models in Large Process Repositories -- Service-Oriented Information Systems Engineering: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business Evolutions -- Information Systems in e-Government and Life-Science -- GATiB-CSCW, Medical Research Supported by a Service-Oriented Collaborative System -- Strategic Alignment in the Context of e-Services -- An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study -- Knowledge Patterns for IS Engineering -- Understanding and Improving Collective Attention Economy for Expertise Sharing -- Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability -- Towards a Catalogue of Patterns for Defining Metrics over i* Models -- Requirements Engineering for IS -- Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems -- Supporting the Elicitation of Requirements Compliant with Regulations -- On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting -- Conceptual Schema Modeling -- Drawing Preconditions of Operation Contracts from Conceptual Schemas -- Decidable Reasoning in UML Schemas with Constraints -- Round-Trip Engineering for Maintaining Conceptual-Relational Mappings -- Service Infrastructure -- Capturing and Using QoS Relationships to Improve Service Selection -- KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services -- SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services -- Service Evolution -- Managing the Evolution of Service Specifications -- On the Definition of Service Granularity and Its Architectural Impact -- Reasoning about Substitute Choices and Preference Ordering in e-Services -- Flexible Information Technologies -- Message Correlation and Business Protocol Discovery in Service Interaction Logs -- Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns -- A Flexible and Semantic-Aware Publication Infrastructure for Web Services -- Metrics and Process Modelling -- Measuring Similarity between Business Process Models -- How Much Language Is Enough? …”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  3. 483

    Starting an Internet Marketing Company by Films for the Humanities & Sciences (Firm), Infobase, National Archives and Records Service

    Published: National Archives and Records Service, 2011
    Description: 1 streaming video file (68 min.) : sound, color.
    Films on Demand - Click here for access
    Video
  4. 484

    Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-1... by GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems Essen, Germany, SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (xi, 322 pages) : illustrations.
    Contents: “…Gunter Bolch / Martin Paterok, Hermann de Meer, and Patrick Wüchner -- Full papers. Verification of a control system built using remote redundancy by means of timed automata and state space exploration / Klaus Echtle and Thorsten Kimmeskamp -- Software reliability assessment based on the evaluation of operational experience / Sven Söhnlein, Francesca Saglietti, Frank Bitzer, Matthias Meitner, and Siegfried Baryschew -- Clock synchronization issues in multi-cluster time-triggered networks / Klaus Echtle and Soubhi Mohamed -- User-perceived performance of the NICE application layer multicast protocol in large and highly dynamic groups / Christian Hübsch, Christoph P. …”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  5. 485

    Risk analysis for the digital age by Gerunov, Anton

    Published: Springer, 2023
    Description: 1 online resource (252 pages).
    SpringerLink - Click here for access
    Electronic eBook
  6. 486

    Introduction to fluid power by Films for the Humanities & Sciences (Firm), Infobase

    Published: Infobase, 2005
    Description: 1 streaming video file (19 min.) : sound, color, digital file + instructional materials (online)
    Films on Demand - Click here for access
    Video
  7. 487

    Computer graphics : principles and practice Third edition. by Hughes, John F., 1955-

    Published: Addison-Wesley, 2014
    Description: xlvii, 1209 pages : illustrations (colour) ; 26 cm.
    Contents: “…Introduction : A brief history ; An illuminating example ; Goals, resources, and appropriate abstractions ; Some numbers and orders of magnitude in graphics ; The graphics pipeline ; Relationship of graphics to art, design, and perception ; Basic graphics systems ; Polygon drawing as a black box ; Interaction in graphics systems ; Different kinds of graphics applications ; Different kinds of graphics packages ; Building blocks for realistic rendering: a brief overview ; Learning computer graphics -- Introduction to 2D graphics using WPF : Overview of the 2D graphics pipeline ; The evolution of 2D graphics platforms ; Specifying a 2D scene using WPF ; Dynamics in 2D graphics using WPF ; Supporting a variety of form factors -- An ancient renderer made modern : A Dürer woodcut ; Visibility ; Implementation ; The program ; Limitations -- A 2D graphics test bed : Details of the test bed ; The C♯ code ; Animation ; Interaction ; An application of the test bed -- An introduction to human visual perception : The visual system ; The eye ; Constancy and its influences ; Continuation ; Shadows -- Introduction to fixed-function 3D graphics and hierarchical modeling : Introducing mesh and lighting specification ; Curved-surface representation and rendering ; Surface texture in WPF ; The WPF reflectance model ; Hierarchical modeling using a scene graph -- Essential mathematics and the geometry of 2-space and 3-space : Notation ; Sets ; Functions ; Coordinates ; Operations on coordinates ; Intersections of lines ; Intersections, more generally ; Triangles ; Polygons -- A simple way to describe shape in 2D and 3D : "Meshes" in 2D: polylines ; Meshes in 3D -- Functions on meshes : code for barycentric interpolation ; Limitations of piecewise linear extension ; Smoother extensions ; Functions multiply defined at vertices ; Application: texture mapping -- Transformations in two dimensions : Five examples ; Important facts about transformations ; Translation ; Points and vectors again ; Why use 3 x 3 matrices instead of a matrix and a vector? …”
    Book
  8. 488

    Unrequited Love, On Stalking and Being Stalked by Illuminations (Firm)

    Published: Illuminations, 2006
    Description: 1 online resource (1 video file (1 hr., 16 min., 21 sec)) : sound.
    Films on Demand - Click here for access
    Video
  9. 489

    Proceedings of second International Conference on Intelligent System : ICIS 2023 by International Conference on Intelligent System Ho Chi Minh City, Vietnam, SpringerLink (Online Service)

    Published: Springer, 2024
    Description: 1 online resource (xii, 518 pages) : illustrations (some color).
    SpringerLink - Click here for access
    Conference Proceeding eBook
  10. 490

    Beginning STM32 : developing with FreeRTOS, libopencm3 and GCC by Gay, Warren

    Published: Apress, 2018
    Description: 1 online resource (xxi, 409 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
  11. 491

    Software architecture for big data and the cloud First edition. by ScienceDirect (Online service)

    Published: Morgan Kaufmann, 2017
    Description: 1 online resource (xxxviii, 432 pages)
    Contents: “…Note continued: 3.5.Architecture Example -- Context Management in the IoT -- 3.6.Big Data Origins and Characteristics -- 3.7.The Systems That Capture and Process Big Data -- 3.8.Operating Across Organizational Silos -- 3.9.Architecture Example -- Local Processing of Big Data -- 3.10.Architecture Example -- Creating a Multichannel View -- 3.11.Application Independent Data -- 3.12.Metadata and Governance -- 3.13.Conclusions -- 3.14.Outlook and Future Directions -- References -- ch. 4 Domain-Driven Design of Big Data Systems Based on a Reference Architecture / Ioannis N. …”
    Elsevier - Click here for access
    eBook
  12. 492

    The cloud-to-thing continuum : opportunities and challenges in cloud, fog and edge computing by SpringerLink (Online service)

    Published: Palgrave Macmillan, 2020
    Description: 1 online resource (xxv, 161 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
  13. 493

    Parkinson's by Films for the Humanities & Sciences (Firm), Infobase, White Fox (Firm)

    Published: Infobase, 2013
    Description: 1 streaming video file (25 min.) : sd., col.
    Films on Demand - Click here for access
    Electronic Video
  14. 494

    Web information systems--WISE 2006 : 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006 : proceedings by International Conference on Web Information Systems Engineering Wuhan, China, SpringerLink (Online service)

    Published: Springer, 2006
    Description: 1 online resource (xiv, 563 pages) : illustrations.
    Contents: “…Keynote Papers -- Internet-Scale Data Distribution: Some Research Problems -- Towards Next-Generation Search Engines and Browsers -- Search Beyond Media Types and Places -- Building a Domain Independent Platform for Collecting Domain Specific Data from the Web -- Session 1: Web Search -- A Web Search Method Based on the Temporal Relation of Query Keywords -- Meta-search Based Web Resource Discovery for Object-Level Vertical Search -- PreCN: Preprocessing Candidate Networks for Efficient Keyword Search over Databases -- Searching Coordinate Terms with Their Context from the Web -- Session 2: Web Retrieval -- A Semantic Matching of Information Segments for Tolerating Error Chinese Words -- Block-Based Similarity Search on the Web Using Manifold-Ranking -- Design and Implementation of Preference-Based Search -- Topic-Based Website Feature Analysis for Enterprise Search from the Web -- Session 3: Web Workflows -- Fault-Tolerant Orchestration of Transactional Web Services -- Supporting Effective Operation of E-Governmental Services Through Workflow and Knowledge Management -- DOPA: A Data-Driven and Ontology-Based Method for Ad Hoc Process Awareness in Web Information Systems -- A Transaction-Aware Coordination Protocol for Web Services Composition -- Session 4: Web Services -- Unstoppable Stateful PHP Web Services -- Quantified Matchmaking of Heterogeneous Services -- Pattern Based Property Specification and Verification for Service Composition -- Detecting the Web Services Feature Interactions -- Session 5: Web Mining -- Exploiting Rating Behaviors for Effective Collaborative Filtering -- Exploiting Link Analysis with a Three-Layer Web Structure Model -- Concept Hierarchy Construction by Combining Spectral Clustering and Subsumption Estimation -- Automatic Hierarchical Classification of Structured Deep Web Databases -- Session 6: Performant Web Systems -- A Robust Web-Based Approach for Broadcasting Downward Messages in a Large-Scaled Company -- Buffer-Preposed QoS Adaptation Framework and Load Shedding Techniques over Streams -- Cardinality Computing: A New Step Towards Fully Representing Multi-sets by Bloom Filters -- An Efficient Scheme to Completely Avoid Re-labeling in XML Updates -- Session 7: Web Information Systems -- Modeling Portlet Aggregation Through Statecharts -- Calculation of Target Locations for Web Resources -- Efficient Bid Pricing Based on Costing Methods for Internet Bid Systems -- An Enhanced Super-Peer Model for Digital Library Construction -- Offline Web Client: Approach, Design and Implementation Based on Web System -- Session 8: Web Document Analysis -- A Latent Image Semantic Indexing Scheme for Image Retrieval on the Web -- Hybrid Method for Automated News Content Extraction from the Web -- A Hybrid Sentence Ordering Strategy in Multi-document Summarization -- Document Fragmentation for XML Streams Based on Query Statistics -- A Heuristic Approach for Topical Information Extraction from News Pages -- Session 9: Quality, Security and Trust -- Defining a Data Quality Model for Web Portals -- Finding Reliable Recommendations for Trust Model -- Self-Updating Hash Chains and Their Implementations -- Modeling Web-Based Applications Quality: A Probabilistic Approach -- Monitoring Interactivity in a Web-Based Community -- Session 10: Semantic Web and Integration -- A Metamodel-Based Approach for Extracting Ontological Semantics from UML Models -- Deeper Semantics Goes a Long Way: Fuzzified Representation and Matching of Color Descriptions for Online Clothing Search -- Semantically Integrating Portlets in Portals Through Annotation -- A Self-organized Semantic Clustering Approach for Super-Peer Networks -- Using Categorial Context-SHOIQ(D+) DL to Migrate Between the Context-Aware Scenes -- Session 11: XML Query Processing -- SCEND: An Efficient Semantic Cache to Adequately Explore Answerability of Views -- Clustered Chain Path Index for XML Document: Efficiently Processing Branch Queries -- Region-Based Coding for Queries over Streamed XML Fragments -- PrefixTreeESpan: A Pattern Growth Algorithm for Mining Embedded Subtrees -- Evaluating Interconnection Relationship for Path-Based XML Retrieval -- Session 12: Multimedia and User Interface -- User Models: A Contribution to Pragmatics of Web Information Systems Design -- XUPClient -- A Thin Client for Rich Internet Applications -- 2D/3D Web Visualization on Mobile Devices -- Web Driving: An Image-Based Opportunistic Web Browser That Visualizes a Peripheral Information Space -- Blogouse: Turning the Mouse into a Copy & Blog Device.…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
  15. 495

    Experimental methods and instrumentation for chemical engineers 1st ed. by Patience, Gregory S.

    Published: Elsevier, 2013
    Description: 1 online resource (xii, 371 pages) : illustrations (some color)
    Elsevier - Click here for access
    eBook
  16. 496

    Business journalism : how to report on business and economics by Hayes, Keith

    Published: Apress ; Distributed to the Book trade worldwide by Springer Science+Business Media New York, 2014
    Description: 1 online resource (1 volume) : illustrations.
    SpringerLink - Click here for access
    eBook
  17. 497

    IoT solutions in Microsoft's Azure IoT suite : data acquisition and analysis in the real world by Klein, Scott, 1966-

    Published: Apress, 2017
    Description: 1 online resource (xix, 296 pages) : illustrations (some color)
    SpringerLink - Click here for access
    eBook
  18. 498

    Vocational vehicles and applications 2nd ed. by Hilgers, Michael

    Published: Springer Vieweg, 2023
    Description: 1 online resource (62 pages).
    SpringerLink - Click here for access
    eBook
  19. 499

    Semi-markov models : control of restorable systems with latent failures by Obzherin, Yuriy E., Boyko, Elena G.

    Published: Academic Press, 2015
    Description: 1 online resource.
    Elsevier - Click here for access
    eBook
  20. 500

    International business transactions and taxation practical guidance and framework for executives by Solbach, Manuel C.

    Published: Springer, 2023
    Description: 1 online resource (144 pages).
    SpringerLink - Click here for access
    Electronic eBook