Search Results - (( Defined contributions ((pension plans) OR (pension plan)) ) OR ((( Defined distributed computation platform ) OR ( Defined distribution erosion land ))))

Salt Open : automating your enterprise and your network by Mallett, Andrew

SpringerLink - Click here for access

Information security and privacy research : 27th IFIP TC 11 Information Security and Privacy Conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. Proceedings by IFIP TC11 International Conference on Information Security Ērakleion, Greece, SpringerLink (Online service)

SpringerLink - Click here for access

Algorithms and architectures for parallel processing : 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings. Part I by International Conference on Algorithms and Architectures for Parallel Processing Busan, Korea, SpringerLink (Online service)

SpringerLink - Click here for access

Active media technology : 8th international conference, AMT 2012, Macau, China, December 4-7, 2012, proceedings by International Conference on Active Media Technology Macau, China, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers by International Andrei Ershov Memorial Conference Novosibirsk, Russia, SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

HP Nonstop server security : a practical handbook by Hill, Terri

Elsevier - Click here for access

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

SpringerLink - Click here for access

Oracle high availability, disaster recovery, and cloud services : explore RAC, data guard, and cloud technology by Kumar, Y. V. Ravi, Basha, Nassyam, K. M., Krishna Kumar, Śarmā, Bālamukunda, 1889-1956, Kerekovski, Konstantin

Contents: “…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. …”
SpringerLink - Click here for access

Advances in information systems and technologies by World Conference on Information Systems and Technologies Olhão, Portugal, SpringerLink (Online service)

Contents: SpringerLink - Click here for access

Building the infrastructure for cloud security : a solutions view by Yeluri, Raghu, Castro-Leon, Enrique

SpringerLink - Click here for access

Python for data science for dummies 2nd edition. by Mueller, John, 1958-, Massaron, Luca

Contents: “…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.…”
Prospector EBC - Click here for access

Pro Oracle database 11g RAC on Linux by Shaw, Steve M. (Steve Mark)

SpringerLink - Click here for access

Microservices from day one : build robust and scalable software from the start by Carneiro, Cloves

SpringerLink - Click here for access

System assurance : beyond detecting vulnerabilities by Mansourov, Nikolai

Elsevier - Click here for access

Steve Jobs Billion-Dollar Hippy by BBC Worldwide Ltd, Films for the Humanities & Sciences (Firm), Infobase

Films on Demand - Click here for access

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... by IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management and Security Zurich, Switzerland, SpringerLink (Online service)

SpringerLink - Click here for access

Model driven engineering languages and systems : 11th international conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008 : proceedings by MODELS (Conference) Toulouse, France), SpringerLink (Online service)

Contents: “…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.…”
SpringerLink - Click here for access

Pro JavaFX 8 : a definitive guide to building desktop, mobile, and embedded Java clients by Vos, Johan

SpringerLink - Click here for access

Pro PHP and jQuery Second edition. by Lengstorf, Jason, Wald, Keith

SpringerLink - Click here for access

Modern Marvels. '80s Tech by A&E Television Networks, LLC, Films for the Humanities & Sciences (Firm), Infobase

Films on Demand - Click here for access