Search Results - (( Defined contributions ((pension plans) OR (pension plan)) ) OR ((( Defined distributed computation platform ) OR ( Defined distribution erosion land ))))
-
181
Salt Open : automating your enterprise and your network
Published: Apress, 2021SpringerLink - Click here for accessDescription: 1 online resource (234 pages)
eBook -
182
Information security and privacy research : 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings
Published: Springer, 2012SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
183
Algorithms and architectures for parallel processing : 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings. Part I
Published: Springer, 2010SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 571 pages) : illustrations.
Conference Proceeding eBook -
184
Active media technology : 8th international conference, AMT 2012, Macau, China, December 4-7, 2012, proceedings
Published: Springer, 2012Contents: “…Active Media Data Mining and Machine Learning Techniques -- Movie Genre Classification Using SVM with Audio and Video Features -- Automatic Player Behavior Analyses from Baseball Broadcast Videos -- Hot Topic Detection in News Blogs from the Perspective of W2T -- A Clustering Ensemble Based on a Modified Normalized Mutual Information Metric -- Influence of Erroneous Pairwise Constraints in Semi-supervised Clustering -- User Correlation Discovery and Dynamical Profiling Based on Social Streams -- Extraction of Human Social Behavior from Mobile Phone Sensing -- Continuity of Defuzzification on L2 Space for Optimization of Fuzzy Control -- A On-Line News Documents Clustering Method -- Agent-Based Applications and Multi-agent Systems Distributed Protocols for Multi-Agent Coalition Formation: A Negotiation Perspective -- Multi-agent Liquidity Risk Management in an Interbank Net Settlement System -- An Enhanced Mechanism for Agent Capability Reuse -- A Bayesian Network Approach to Investigating User-Robot Personality Matching -- Modelling Multi-Criteria Decision Making Ability of Agents in Agent-Based Rice Pest Risk Assessment Model -- Agent Based Assistance for Electric Vehicles -- An Evaluation -- Ubiquitous Intelligent Devices and Systems -- Event Calculus-Based Adaptive Services Composition Policy for AmI Systems -- QoS- and Resource-Aware Service Composition and Adaptation -- An Event-Driven Energy Efficient Framework for Wearable Health-Monitoring System -- Learning Style Model for e-Learning Systems -- A Trajectory-Based Recommender System for Tourism -- An Adaptive Method for the Tag-Rating-Based Recommender System -- Comparative Study of Joint Decision-Making on Two Visual Cognition Systems Using Combinatorial Fusion -- Active Media Based Information Retrieval and Processing -- Research on Touch as a Means of Interaction in Digital Art -- Perceptual Image Hashing with Histogram of Color Vector Angles -- Data Hiding Method Based on Local Image Features -- Fast Flow Visualization on CUDA Based on Texture Optimization -- A Message Passing Graph Match Algorithm Based on a Generative Graphical Model -- Fast Content-Based Retrieval from Online Photo Sharing Sites -- Interactive Exploration of Image Collections on Mobile Devices -- The Derived Kernel Based Recognition Method of Vehicle Type -- An Approach to Define Flexible Structural Constraints in XQuery -- DC Stream Based JPEG Compressed Domain Image Retrieval -- Semantic Computing for ActiveMedia, Social Networks, and AMT-Based Systems A Comparative Study of Community Structure Based Node Scores for Network Immunization -- Semantic Precision and Recall for Evaluating Incoherent Ontology Mappings -- A Self-organization Method for Reorganizing Resources in a Distributed Network -- Extracting Property Semantics from Japanese Wikipedia -- An Ontology Based Privacy Protection Model for Third-Party Platform -- Evaluating Ontology-Based User Profiles -- Semantic Information with Type Theory of Acyclic Recursion -- Pyxis: An Active Replication Approach for Enhancing Social Media Services -- Social Network Analysis of Virtual Worlds -- Active Media Framework for Network Processing Components -- Semantic Network Monitoring and Control over Heterogeneous Network Models and Protocols -- International Workshop on Meta-synthesis and Complex Systems -- Opinion Dynamics on Triad Scale Free Network -- Distribution of Node Characteristics in Complex Networks of Tree Class -- Dynamic Mergers Drive Industrial Competition Evolution: A Network Analysis Perspective -- A Study of Collective Action Threshold Model Based on Utility and Psychological Theories -- Recognition of Online Opinion Leaders Based on Social Network Analysis -- Critical Infrastructure Management for Telecommunication Networks -- Developing Self-Organizing Systems by Policy-Based Self-Organizing Multi-Agent Systems -- On Prioritized 2-tuple Ordered Weighted Averaging Operators -- Special Session on Social Knowledge Discovery and Management -- A Novel Collaboration Partner Model Based on the Personal Relationships of SNS -- An Innovative Way for Mining Clinical and Administrative Healthcare Data -- An Adaptive Recommendation System for Museum Navigation -- Adaptive SVM-Based Classification Systems Based on the Improved Endocrine-Based PSO Algorithm -- A Probability Model for Recognition of Dynamic Gesture Based on a Finger-Worn Device -- Design of a Situation-Aware System for Abnormal Activity Detection of Elderly People -- Special Session on Human-Computer Interaction and Knowledge Discovery from Big Data -- Revealing Cultural Influences in Human Computer Interaction by Analyzing Big Data in Interactions -- Predicting Student Exam's Scores by Analyzing Social Network Data -- SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs -- Using Mixed Node Publication Network Graphs for Analyzing Success in Interdisciplinary Teams -- On Text Preprocessing for Opinion Mining Outside of Laboratory Environments -- Human Involvement in Designing an Information Quality Assessment Technique -- Demonstrated in a Healthcare Setting -- On Applying Approximate Entropy to ECG Signals for Knowledge Discovery on the Example of Big Sensor Data -- Towards a Framework Based on Single Trial Connectivity for Enhancing Knowledge Discovery in BCI.…”Description: 1 online resource (xvi, 671 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
185
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers
Published: Springer, 2010Contents: “…K -constraints for Hybrid Systems -- A Complete Invariant Generation Approach for P-solvable Loops -- Standardization and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation by Tetrahedral Subdivision -- Towards Checking Parametric Reachability for UML State Machines -- A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems -- A Technique for Information Retrieval from Microformatted Websites -- From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research -- History-Dependent Stochastic Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture -- Anti-unification Algorithms and Their Applications in Program Analysis.…”Description: 1 online resource (xiii, 426 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
186
HP Nonstop server security : a practical handbook
Published: Elsevier Digital Press, 2004Elsevier - Click here for accessDescription: 1 online resource (xxxxiv, 616 pages).
eBook -
187
Oracle database transactions and locking revealed
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xviii, 160 pages) : illustrations.
eBook -
188
Oracle high availability, disaster recovery, and cloud services : explore RAC, data guard, and cloud technology
Published: Apress, 2019Contents: “…Migrate databases to Cloud Chapter 11: Exadata Cloud Service-Introduction Chapter Goal:The goal is to provide end user an understanding of cloud services available in terms of database platforms and more specifically on Exadata Cloud service which is a platform of service offering from Oracle and known as a great platform for mission critical database workload, consolidation platform and widely used for customer for modernizing the IT estate. …”Description: 1 online resource : color illustrations.
SpringerLink - Click here for access
eBook -
189
Advances in information systems and technologies
Published: Springer, 2013Contents: SpringerLink - Click here for accessDescription: 1 online resource (xxii, 1160 pages) : illustrations.
Conference Proceeding eBook -
190
Building the infrastructure for cloud security : a solutions view
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xxvi, 212 pages) : illustrations.
eBook -
191
Python for data science for dummies 2nd edition.
Published: John Wiley and Sons, Inc., 2019Contents: “…Chapter 3 Setting Up Python for Data ScienceConsidering the Off-the-Shelf Cross- Platform Scientific Distributions; Getting Continuum Analytics Anaconda; Getting Enthought Canopy Express; Getting WinPython; Installing Anaconda on Windows; Installing Anaconda on Linux; Installing Anaconda on Mac OS X; Downloading the Datasets and Example Code; Using Jupyter Notebook; Defining the code repository; Understanding the datasets used in this book; Chapter 4 Working with Google Colab; Defining Google Colab; Understanding what Google Colab does; Considering the online coding difference.…”Description: 1 online resource.
Prospector EBC - Click here for access
eBook -
192
Pro Oracle database 11g RAC on Linux
Published: Apress ; Distributed to the Book trade worldwide by Springer Science+Business Media, 2010SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 815 pages) : illustrations.
eBook -
193
Microservices from day one : build robust and scalable software from the start
Published: Apress, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
194
System assurance : beyond detecting vulnerabilities
Published: Morgan Kaufmann ; Elsevier Science [distributor], 2010Elsevier - Click here for accessDescription: 1 online resource.
eBook -
195
Steve Jobs Billion-Dollar Hippy
Published: Infobase, 2013Films on Demand - Click here for accessDescription: 1 streaming video file (49 min.) : sd., col.
Video -
196
Security of networks and services in an all-connected world : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, S...
Published: Springer, 2017SpringerLink - Click here for accessDescription: 1 online resource (xx, 192 pages) : illustrations.
Conference Proceeding eBook -
197
Model driven engineering languages and systems : 11th international conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008 : proceedings
Published: Springer, 2008Contents: “…Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations -- Precise Semantics of EMF Model Transformations by Graph Transformation -- A Formal Metamodel for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams -- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions -- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications -- The Future of Train Signaling -- NAOMI -- An Experimental Platform for Multi-modeling -- Keynote II -- Abstraction and Modelling -- A Complementary Partnership -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting Patterns of Poor Design Solutions Using Constraint Propagation -- A General Approach for Scenario Integration -- Behavioral Modelling and Composition of Object Slices Using Event Observation -- Scenario-Based Static Analysis of UML Class Models -- Constructing Models with the Human-Usable Textual Notation -- X3D-UML: 3D UML State Machine Diagrams -- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment -- Keynote III -- 3D Parametric Models for Aeroplanes -- From Idea to Design -- MOOGLE: A Model Search Engine -- Managing Model Conflicts in Distributed Development -- Metamodel Matching for Automatic Model Transformation Generation -- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams -- Implementation of the Conformance Relation for Incremental Development of Behavioural Models -- A Model-Based Framework for Statically and Dynamically Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition -- Interfaces and Metainterfaces for Models and Metamodels -- Model & Metamodel, Metadata and Document Repository for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax -- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency -- Contrary-to-Duties Constraints: From UML to Relational Model -- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms -- Integrating Performance Analysis in the Model Driven Development of Software Product Lines -- A Model-Driven Measurement Approach -- Specifying Service Composition Using UML 2.x and Composition Policies -- A Model-Based Framework for Security Policy Specification, Deployment and Testing -- A Pattern Language Verifier for Web-Based Enterprise Applications -- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty -- Autonomic Management Policy Specification: From UML to DSML -- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density -- An Empirical Investigation on Dynamic Modeling in Requirements Engineering -- Heterogeneous Coupled Evolution of Software Languages -- Automatability of Coupled Evolution of Metamodels and Models in Practice -- Enriching Reverse Engineering with Annotations -- Towards a Formal Account of a Foundational Subset for Executable UML Models -- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language -- Semantically Configurable Code Generation -- Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams -- Adding Dependability Analysis Capabilities to the MARTE Profile -- Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications -- Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation -- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability -- Managing Variability Complexity in Aspect-Oriented Modeling -- Mapping the UML2 Semantics of Associations to a Java Code Generation Model -- Meaningful Composite Structures -- A Systematic Approach to Connectors in a Multi-level Modeling Environment -- Model-Based Quality Assurance of Automotive Software -- Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA -- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool -- Workshops at MODELS 2008 -- Educators Symposium at MODELS 2008 -- Doctoral Symposium at MODELS 2008 -- Tutorials at MODELS 2008 -- Panels at MODELS 2008.…”Description: 1 online resource (xix, 921 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
198
Pro JavaFX 8 : a definitive guide to building desktop, mobile, and embedded Java clients
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 588 pages) : illustrations.
eBook -
199
Pro PHP and jQuery Second edition.
Published: Apress : Distributed by Springer Science+Business Media, LLC, 2016SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
200
Modern Marvels. '80s Tech
Published: Infobase, 2010Films on Demand - Click here for accessDescription: 1 streaming video file (45 min.) : sd., col., digital file.
Video