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 ))))
-
461
Cooperation : an experimental analysis
Published: Academic Press, 1975Contents: Elsevier - Click here for accessDescription: 1 online resource (xviii, 209 pages) : illustrations.
eBook -
462
On the move to meaningful internet systems : confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 1010, proceedings. Part...
Published: Springer, 2010Contents: “…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.…”Description: 1 online resource (xxiv, 703 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
463
Advances in aeronautical informatics : technologies towards Flight 4.0
Published: Springer, 2018Contents: SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
464
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...
Published: Springer, 2019Contents: SpringerLink - Click here for accessDescription: 1 online resource (xiv, 217 pages) : illustrations (some color).
Conference Proceeding eBook -
465
Learning Groovy
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxi, 102 pages) : color illustrations.
eBook -
466
Outlooks and insights on group decision and negotiation : 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
Published: Springer, 2015SpringerLink - Click here for accessDescription: 1 online resource (l, 417 pages) : illustrations.
Conference Proceeding eBook -
467
The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II
Published: Birkhäuser, 2015Contents: “…Marcos Antonio Alves and Itala M. Loffredo D'Ottaviano: A quantitative-informational approach to logical consequence -- 4. …”Description: 1 online resource (580 pages) : illustrations.
SpringerLink - Click here for access
eBook -
468
Quantum codes for topological quantum computation
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource (123 pages).
eBook -
469
Smart grid and innovative frontiers in telecommunications : third International Conference, SmartGIFT 2018, Auckland, New Zealand, April 23-24, 2018, Proceedings
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xiii, 290 pages) : illustrations.
Conference Proceeding eBook -
470
Efficiency in sustainable supply chain
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
471
The Linux philosophy for SysAdmins : and everyone who wants to be one
Published: Apress, 2018SpringerLink - Click here for accessDescription: 1 online resource (511 pages) : illustrations.
eBook -
472
Co-utility : theory and applications
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
473
Pro Oracle GoldenGate for the DBA
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxi, 306 pages) : illustrations (some color)
eBook -
474
Smart computing and communication : first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings
Published: Springer, 2017Contents: “…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.…”Description: 1 online resource (xiii, 589 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
475
Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
Published: Springer, 2019Contents: “…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.…”Description: 1 online resource : illustrations (some color).
SpringerLink - Click here for access
Conference Proceeding eBook -
476
Large random matrices : lectures on macroscopic asymptotics : École d'été de probabilités de Saint-Flour XXXVI--2006
Published: Springer, 2009SpringerLink - Click here for accessDescription: 1 online resource (xii, 294 pages) : illustrations.
Conference Proceeding eBook -
477
Oracle database transactions and locking revealed
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xviii, 160 pages) : illustrations.
eBook -
478
Encyclopedia of algorithms Second edition.
Published: SpringerReference, 2016SpringerLink - Click here for accessDescription: 1 online resource (liii, 1166 pages) : illustrations (some color).
eBook -
479
Risk management of chemicals
Published: Royal Society of Chemistry, 1992Contents: Elsevier - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
480
Fluctuation-induced network control and learning : applying the yuragi principle of brain and biological systems
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xi, 236 pages) : illustrations.
eBook