Search Results - (( Defined (contribution OR contributorss) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating a)))) ) OR ( Defined distribution erosion plans ))))
-
361
Learning Groovy
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxi, 102 pages) : color illustrations.
eBook -
362
Efficiency in sustainable supply chain
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
363
Quantum codes for topological quantum computation
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource (123 pages).
eBook -
364
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 -
365
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 -
366
Pro Oracle GoldenGate for the DBA
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource (xxi, 306 pages) : illustrations (some color)
eBook -
367
Co-utility : theory and applications
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
368
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 -
369
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 -
370
Risk management of chemicals
Published: Royal Society of Chemistry, 1992Contents: Elsevier - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
371
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 -
372
Encyclopedia of algorithms Second edition.
Published: SpringerReference, 2016SpringerLink - Click here for accessDescription: 1 online resource (liii, 1166 pages) : illustrations (some color).
eBook -
373
Oracle database transactions and locking revealed
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xviii, 160 pages) : illustrations.
eBook -
374
Advanced information systems engineering : 20th international conference, CAiSE 2008, Montpellier, France, June 16-20, 2008 ; proceedings
Published: Springer, 2008Contents: “…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? …”Description: 1 online resource (xvii, 588 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
375
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 -
376
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 (...
Published: Springer Vieweg, 2012SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
377
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...
Published: Springer, 2010Contents: “…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. …”Description: 1 online resource (xi, 322 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
378
Wireless Algorithms, Systems, and Applications : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (XVIII, 910 pages) : illustrations.
Conference Proceeding eBook -
379
Starting an Internet Marketing Company
Published: National Archives and Records Service, 2011Films on Demand - Click here for accessDescription: 1 streaming video file (68 min.) : sound, color.
Video -
380
Risk analysis for the digital age
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (252 pages).
Electronic eBook