Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution expansion plans ))))

Efficiency in sustainable supply chain by SpringerLink (Online service)

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

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

SpringerLink - Click here for access

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

SpringerLink - Click here for access

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

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

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

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

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

SpringerLink - Click here for access

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

SpringerLink - Click here for access

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

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

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

SpringerLink - Click here for access

Information flow based security control beyond RBAC : how to enable fine-grained security policy enforcement in business processes beyond limitations of role-based access control (... by Fischer, Peter, 1952-

SpringerLink - Click here for access

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)

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

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)

SpringerLink - Click here for access

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

Films on Demand - Click here for access

Risk analysis for the digital age by Gerunov, Anton

SpringerLink - Click here for access

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

Films on Demand - Click here for access