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

Cooperation : an experimental analysis by Marwell, Gerald, 1937-, Schmitt, David R.

Contents: Elsevier - Click here for access

On the move to meaningful internet systems : confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, proceedings. Part... by OTM Confederated International Conferences Crete, Greece, SpringerLink (Online service)

Contents: “…On the Move 2010 Keynotes -- OTM'10 Keynote -- OTM'10 Keynote -- COOPIS'10 Keynote -- Cooperative Information Systems (CoopIS) International Conference 2010 -- COOPIS'10 -- PC Co-chairs Message -- Coopis Keynote Paper -- Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Mining -- Process Models and Management -- A Process View Framework for Artifact-Centric Business Processes -- Monitoring Unmanaged Business Processes -- Fast Business Process Similarity Search with Feature-Based Similarity Estimation -- Quality Assessment of Business Process Models Based on Thresholds -- Merging Business Process Models -- Compliant Business Process Design Using Refinement Layers -- COMPRO: A Methodological Approach for Business Process Contextualisation -- Reducing Exception Handling Complexity in Business Process Modeling and Implementation: The WED-Flow Approach -- Modeling of Cooperation -- Continuous Monitoring in Evolving Business Networks -- Collaborative Coordination of Activities with Temporal Dependencies -- Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context -- Services Computing -- Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination -- Policy-Based Attestation of Service Behavior for Establishing Rigorous Trust -- Collecting, Annotating, and Classifying Public Web Services -- Managing Conflict of Interest in Service Composition -- Modelling and Automated Composition of User-Centric Services -- Coordinating Services for Accessing and Processing Data in Dynamic Environments -- Information Processing and Management -- The Roles of Reliability and Reputation in Competitive Multi Agent Systems -- Multilayer Superimposed Information for Collaborative Annotation in Wikis -- Supporting Complex Changes in Evolving Interrelated Web Databanks -- Workflow ART -- A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences -- Efficient and Accurate Retrieval of Business Process Models through Indexing -- The Biconnected Verification of Workflow Nets -- Business Process Scheduling with Resource Availability Constraints -- Achieving Recovery in Service Composition with Assurance Points and Integration Rules -- Business Protocol Adaptation for Flexible Chain Management -- Business Process Monitoring with BPath -- Human-Based Cooperative Systems -- CoMaP: A Cooperative Overlay-Based Mashup Platform -- Composing Near-Optimal Expert Teams: A Trade-Off between Skills and Connectivity -- Complementarity in Competence Management: Framework and Implementation -- Scalable XML Collaborative Editing with Undo -- A Cooperative Approach to View Selection and Placement in P2P Systems -- Ontology and Workflow Challenges -- Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows -- An Ontological Approach for Semantic Annotation of Supply Chain Process Models -- Defining Process Performance Indicators: An Ontological Approach -- Peer Rewiring in Semantic Overlay Networks under Churn -- International Symposium on Information Security (IS) International Conference 2010 -- IS'10 -- PC Co-chairs Message -- Access Control, Authentication and Policies -- Mutual Preimage Authentication for Fast Handover in Enterprise Networks -- Supporting Role Based Provisioning with Rules Using OWL and F-Logic -- Using Real Option Thinking to Improve Decision Making in Security Investment -- Secure Architectures -- Context Sensitive Privacy Management in a Distributed Environment -- Semantic Attestation of Node Integrity in Overlays -- Applicability of Security Patterns -- Cryptography -- Leakage Quantification of Cryptographic Operations.…”
SpringerLink - Click here for access

Advances in aeronautical informatics : technologies towards Flight 4.0 by SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Unifying theories of programming : 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceeding... by UTP (Symposium) Porto, Portugal), SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Learning Groovy by Davis, Adam L.

SpringerLink - Click here for access

Outlooks and insights on group decision and negotiation : 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings by Group Decision and Negotiation (Conference) Warsaw, Poland), SpringerLink (Online service)

SpringerLink - Click here for access

The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II by SpringerLink (Online service)

Contents: “…Marcos Antonio Alves and Itala M. Loffredo D'Ottaviano: A quantitative-informational approach to logical consequence -- 4. …”
SpringerLink - Click here for access

Quantum codes for topological quantum computation by Albuquerque, Clarice Dias de

SpringerLink - Click here for access

Smart grid and innovative frontiers in telecommunications : third International Conference, SmartGIFT 2018, Auckland, New Zealand, April 23-24, 2018, Proceedings by International Conference on Smart Grid and Innovative Frontiers in Telecommunications Auckland, N.Z., SpringerLink (Online service)

SpringerLink - Click here for access

Efficiency in sustainable supply chain by SpringerLink (Online service)

SpringerLink - Click here for access

The Linux philosophy for SysAdmins : and everyone who wants to be one by Both, David P., 1946-

SpringerLink - Click here for access

Co-utility : theory and applications by SpringerLink (Online service)

SpringerLink - Click here for access

Pro Oracle GoldenGate for the DBA by Curtis, Bobby L.

SpringerLink - Click here for access

Smart computing and communication : first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings by SmartCom (Conference : Smart computing and communication) Shenzhen Shi, China), SpringerLink (Online service)

Contents: “…Bike-Sharing System: a Big-Data Perspective. -- Process mining of event log from web information and administration system for management of student's computer networks. -- A Virtual Network Embedding Algorithm based on Hybrid Particle Swarm Optimization -- Research on Content Distribution of P2P VoD with Cloud Assisting.…”
SpringerLink - Click here for access

Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings by FroCoS (Symposium) London, England), SpringerLink (Online service)

Contents: “…4.2 Logic Programs with Preferences4.3 Answer Set Optimization; 5 Conclusion; References; Combinations of Systems; Ilinva: Using Abduction to Generate Loop Invariants; 1 Introduction; 2 Verification Conditions; 3 Abduction; 4 Generating Loop Invariants; 5 Implementation; 5.1 Overview; 5.2 Distribution; 6 Experiments; 6.1 Results; 6.2 Discussion; 7 Conclusion and Future Work; References; An Algebra of Modular Systems: Static and Dynamic Perspectives; 1 Introduction; 2 Model Expansion, Related Tasks; 3 Algebras: Static and Dynamic; 4 Definable Constructs; 5 Modal Logic; 5.1 Two-Sorted Syntax, L.…”
SpringerLink - Click here for access

Large random matrices : lectures on macroscopic asymptotics : École d'été de probabilités de Saint-Flour XXXVI--2006 by Guionnet, Alice

SpringerLink - Click here for access

Oracle database transactions and locking revealed by Kyte, Thomas, Kuhn, Darl

SpringerLink - Click here for access

Encyclopedia of algorithms Second edition. by SpringerLink (Online service)

SpringerLink - Click here for access

Risk management of chemicals by ScienceDirect (Online service), International Conference on "Risk Management of Chemicals--Can Chemicals Be Used Safely?"

Contents: Elsevier - Click here for access

Fluctuation-induced network control and learning : applying the yuragi principle of brain and biological systems by SpringerLink (Online service)

SpringerLink - Click here for access