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

Learn Swift on the Mac : for OS X and iOS by Malik, Waqar

SpringerLink - Click here for access

Tax insight : for tax year 2013 and beyond 2nd ed. by Murdock, M. Casey

SpringerLink - Click here for access

SonicWALL secure wireless network : integrated solutions guide by ScienceDirect (Online service)

Elsevier - Click here for access

Flatland deposits of the San Francisco Bay region, California : their geology and engineering properties, and their importance to comprehensive planning by Helley, Edward J.

Get full text

VMware cloud on AWS insights on the first VMware enterprise-proven SaaS solution by Lombard, Christophe

SpringerLink - Click here for access

Innovation, democracy and efficiency : exploring the innovation puzzle within the European Union's regional development policies by Grillo, Francesco, 1965-, Nanetti, Raffaella

SpringerLink - Click here for access

Managing risk and information security : protect to enable by Harkins, Malcolm

SpringerLink - Click here for access

Continuous delivery with Visual Studio ALM 2015 by Olausson, Mathias, Ehn, Jakob

SpringerLink - Click here for access

AdvancED Flex application development : building rich media X by SpringerLink (Online service)

SpringerLink - Click here for access

Knowledge-based and intelligent information and engineering systems : 14th international conference, KES 2010, Cardiff, UK, September 8-10, 2010, proceedings. Part I by International Conference on Knowledge-Based Intelligent Information Engineering Systems and Allied Technologies Cardiff, Wales, SpringerLink (Online service)

Contents: “…Keynote Talks -- Evolving Integrative Brain-, Gene-, and Quantum Inspired Systems for Computational Intelligence and Knowledge Engineering -- A Semiotic View of Social Intelligence for Realizing Human-Machine Symbiotic Systems -- Embracing Uncertainty: The New Machine Intelligence -- Exploiting Social Structures and Social Networks -- Knowledge Visualization for Engineered Systems -- Proximity-Based Federation of Smart Objects: Liberating Ubiquitous Computing from Stereotyped Application Scenarios -- Artificial Neural Networks, Connectionists Systems and Evolutionary Computation -- A Neural Network Model to Develop Urban Acupuncture -- Discovering Process Models with Genetic Algorithms Using Sampling -- A Multi-Objective Evolutionary Approach for the Antenna Positioning Problem -- CLONAL-GP Framework for Artificial Immune System Inspired Genetic Programming for Classification -- Solving Industrial Based Job-Shop Scheduling Problem by Distributed Micro-Genetic Algorithm with Local Search -- Data Mining via Rules Extracted from GMDH: An Application to Predict Churn in Bank Credit Cards -- Sensitivity Analysis and Automatic Calibration of a Rainfall-Runoff Model Using Multi-objectives -- University Course Timetabling Using ACO: A Case Study on Laboratory Exercises -- Machine Learning and Classical AI -- Nonparametric Statistical Analysis of Machine Learning Algorithms for Regression Problems -- Adaptive Learning of Nominal Concepts for Supervised Classification -- A Novel Approach of Process Mining with Event Graph -- A Classification Algorithm for Process Sequences Based on Markov Chains and Bayesian Networks -- Coaching to Enhance the Online Behavior Learning of a Robotic Agent -- Agent and Multi-agent Systems -- Cooperation of AGVs' Head-on Collision Avoidance by Knowledge Exchange in Autonomous Decentralized FMS -- A Log Analyzer Agent for Intrusion Detection in a Multi-Agent System -- A Proof System for Time-Dependent Multi-agents -- Toward Emotional E-Commerce: Formalizing Agents for a Simple Negotiation Protocol -- Distributed Ant Colony Clustering Using Mobile Agents and Its Effects -- Monitoring a Multi-Agent System Evolution through Iterative Development -- An Agent for Ecological Deliberation -- A Framework to Compute Inference Rules Valid in Agents' Temporal Logics -- Statecharts-Based JADE Agents and Tools for Engineering Multi-Agent Systems -- Telco Agent: Enabler of Paradigm Shift towards Customer-Managed Relationship -- Multi-attribute Auction Model for Agent-Based Content Trading in Telecom Markets -- Applying Possibility and Belief Operators to Conditional Statements -- A Computer Adaptive Testing Method for Intelligent Tutoring Systems -- Intelligent Vision, Image Processing and Signal Processing -- Combining Patient Metadata Extraction and Automatic Image Parsing for the Generation of an Anatomic Atlas -- Parallel Processing with CUDA in Ceramic Tiles Classification -- Signal Receiving and Processing Platform of the Experimental Passive Radar for Intelligent Surveillance System Using Software Defined Radio Approach -- Automated Anticounterfeiting Inspection Methods for Rigid Films Based on Infrared and Ultraviolet Pigments and Supervised Image Segmentation and Classification -- Vowel Recognition by Using the Combination of Haar Wavelet and Neural Network -- Bayesian Classification Using DCT Features for Brain Tumor Detection -- A New Strategy of Adaptive Nonlinear Echo Cancelling Volterra-Wiener Filter Structure Selection -- Intelligent System for Commercial Block Recognition Using Audio Signal Only -- Viewpoint Insensitive Actions Recognition Using Hidden Conditional Random Fields -- Fuzzy Hyper-Prototype Clustering -- Knowledge Management, Ontologies and Data Mining -- Clustering Using Difference Criterion of Distortion Ratios -- Computer-Generated Conversation Based on Newspaper Headline Interpretation -- Using Regression Analysis to Identify Patterns of Non-Technical Losses on Power Utilities -- Enhancing the Symbolic Aggregate Approximation Method Using Updated Lookup Tables -- Which XML Storage for Knowledge and Ontology Systems? …”
SpringerLink - Click here for access

Mobile wireless middleware, operating systems and applications : 11th EAI International Conference, MOBILWARE 2022, virtual event, December 28-29, 2022, Proceedings by International Conference on Mobile Wireless Middleware, Operating Systems and Applications Online, SpringerLink (Online service)

Contents: “…Middleware, Wireless, and Future Networks -- A Middleware-Based Approach for Latency-Sensitive Service Provisioning in IoT with End-Edge Cooperation -- Deep Reinforcement Learning based Congestion Control Mechanism for SDN and NDN in Satellite Networks -- intelligent automated penetration testing using reinforcement learning to improve the efficiency and effecctiveness of penetration testing -- Time Slot Correlation-Based Caching Strategy for Information-Centric Satellite Networks -- Design and implementation of a pipeline-based data scheduling method for spacecraft with multiple data buses -- Research on the Development of Intelligent Space System (ISS) -- Integrated Satellite-Terrestrial Information Network -- Features extraction of Reconstruction Model using in Augmented Reality System of Teleoperation Mobile Robots -- Research on Rapid 3D Reconstruction for Teleoperation in Manned Lunar Exploration Mission -- Onboard Software Maintenance Design and Implementation for networking satellites -- Model Based Development of Spacecraft OBDH Software -- Design of Aerospace Cloud Computing Server Based on Docker Cluster -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (1) -- Analysis and Simulation of High Orbit Weak Signal Tracking Algorithm -- Avionics System Architectures for Software-Defined Spacecraft -- Research and application of energy efficiency optimization algorithm for spacecraft simulation platform -- SADA: SDN Architecture Based Secure Dynamic Access Scheme for Satellite Network -- Research on the Concept and Connotation of Space Proving Grounds (SPG) -- A Multi-Agent based Satellite Health Management System Architecture and Implementation Scheme -- Integrated Satellite-Terrestrial Intelligent Information Processing, Decision and Planning (2) -- Avionic system Architecture Design of the Manned Deep Space Exploration Spacecraft -- Research on Tianwen-1 Mars Probe Relay Communication Technology -- Design and practice of Communication System During EDL for Mars Probe -- Study on EMC Influence of Zhu Rong Rover UHF band communication system -- Design and implementation of power supply and distribution system for Mars landing mission -- Research on Integrated operation design of low orbit remote sensing satellite for intelligent application.…”
SpringerLink - Click here for access

Practical Hadoop security by Lakhe, Bhushan

SpringerLink - Click here for access

Pro SQL Server relational database design and implementation Fifth edition. by Davidson, Louis, Moss, Jessica M.

SpringerLink - Click here for access

Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers by ICSOFT 2007 Barcelona, Spain, SpringerLink (Online service), ICSOFT (Conference), ENASE (Conference)

Contents: “…Invited Papers -- Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks -- SOA Pragmatism -- Software and Data Technologies -- A Simple Language for Novel Visualizations of Information -- Generic Components for Static Operations at Object Level -- A Visual Dataflow Language for Image Segmentation and Registration -- A Debugger for the Interpreter Design Pattern -- Concepts for High-Performance Scientific Computing -- A Model Driven Architecture Approach to Web Development -- Reverse-Architecting Legacy Software Based on Roles: An Industrial Experiment -- A Supporting Tool for Requirements Elicitation Using a Domain Ontology -- Pattern Detection in Object-Oriented Source Code -- Testing the Effectiveness of MBIUI Life-Cycle Framework for the Development of Affective Interfaces -- Developer Stories: Improving Architecture in Agile Practice -- An Ontological SW Architecture Supporting Agile Development of Semantic Portals -- The Vcodex Platform for Data Compression -- Classification of Benchmarks for the Evaluation of Grid Resource Planning Algorithms -- A Disconnection-Aware Mechanism to Provide Anonymity in Two-Level P2P Systems -- Approximation and Scoring for XML Data Management -- Quantitative Analysis of the Top Ten Wikipedias -- A Semantic Web Approach for Ontological Instances Analysis -- Aspects Based Modeling of Web Applications to Support Co-evolution -- Recommending Trustworthy Knowledge in KMS by Using Agents -- Recent Developments in Automated Inferencing of Emotional State from Face Images -- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation -- Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm -- Knowledge Purpose and Visualization -- Empirical Experimentation for Validating the Usability of Knowledge Packages in Transferring Innovations -- An Ontological Investigation in the Field of Computer Programs -- Evaluation of Novel Approaches to Software Engineering -- Formal Problem Domain Modeling within MDA -- Model Based Testing for Agent Systems -- A Metamodel for Defining Development Methodologies.…”
SpringerLink - Click here for access

Future data and security engineering : big data, security and privacy, smart city and Industry 4.0 applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam... by FDSE (Conference) Ho Chi Minh City, Vietnam), SpringerLink (Online service)

Contents: “…Invited Keynotes -- Towards a Foundation of Web3 -- In-Memory Computing Architectures for Big data and Machine Learning Applications -- Secure and Efficient Implementation of Electronic Money -- Managing the Quality of Data and Metadata for Biobanks -- Big Data Analytics and Distributed Systems -- Towards A Privacy, Secured and Distributed Clinical Data Warehouse Architecture -- Improving the Storage Utilization of 0-Complete Trees as Index Structures -- Implement the Data Conversion System by using Lightweight Coreset for Validation Process -- Content Selection Methods Using User Interest Prediction Based on Similarities of Web Activities -- ImageNet Challenging Classification with the Raspberry Pis: A Federated Learning Algorithm of Local Stochastic Gradient Descent Models -- Covid-19 Detection Based on Lung Lesion Signs in Big Data Processing Environment -- Predicting Loan Repayment Using A Hybrid of Genetic Algorithms, Logistic Regression, and Artificial Neural Networks -- Performance Evaluation of Regular Decomposition and Benchmark Clustering Methods -- Security and Privacy Engineering -- Authentication of Luxury Products Identifying Key Requirements from a Seller and Consumer Perspective -- Analysis of A New Practical SPN-based Scheme in the Luby-Rackoff Model -- Authorization and Access Control for Different Database Models: Requirements and Current State of the Art -- A Hierarchical Deterministic Wallet using Ed25519 Digital Signature Scheme -- A Secure Framework for Internet of Medical Things Security Based System using Lightweight Cryptography enabled Blockchain -- Signature Algorithms on Non-commutative Algebras over Finite Fields of Characteristic Two -- Design a Smart Lock System Using Fingerprint and Password for Enhancing Security -- Machine Learning and Artificial Intelligence for Security and Privacy -- Towards an Attention-based Threat Detection System for IoT Networks -- Security and Privacy Issues and Solutions in Federated Learning for Digital Healthcare -- pPATE: A Pragmatic Private Aggregation of Teacher Ensembles Framework by Sparse Vector Technique based Differential Privacy, Paillier Cryptosystem and Human-in-the-loop -- Vietnamese Texts Writing Styles Based Authorship Identification Model -- Application of Machine Learning in Malware Detection -- Smart City and Industry 4.0 Applications -- Text Classification Models and Topic Models: An Overall Picture and A Case Study in Vietnamese -- Deep Hybrid Models for Forecasting Stock Midprices from the High-Frequency Limit Order Book -- An Image Denoising Model based on Nonlinear Partial Diferential Equation Using Deep Learning -- Recommendations in E-Commerce Systems based on Deep Matrix Factorization -- AttendanceKit: A set of Role-based Mobile Applications for Automatic Attendance Checking with UHF RFID using Realtime Firebase and Face Recognition -- Poses Classification in a Taekwondo Lesson using Skeleton Data extracted from Videos with Shallow and Deep Learning Architectures -- Social Distancing Violation Detection in Video using ChessBoard and Bird's-eye Perspective -- 3D-FaultSeg-UNet: 3D Fault Segmentation in Seismic Data Using Bi-stream U-Net -- Applying Artificial Intelligence to Plan Flight Paths for Aircraft at Subsonic Speeds -- Capacity Building in Government: Towards Developing A Standard for A Functional Specialist in AI for Public Services -- On the Feasibility of Machine Learning Models for Customer Spending Prediction Problem -- Forecasting the Opening and Closing Price Trends of Stock Using Hybrid Models and Artificial Intelligence Algorithm -- Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review -- Face Recognition based on Deep Learning and Data Augmentation -- An Approach for Similarity Vietnamese Documents Detection from English Documents -- Combine Clasification Algorithm and Centernet Model to Predict Trafic Density -- Data Analytics and Healthcare Systems -- Comparison of Health Indicators Construction for Concrete Structure Using Acoustic Emission Hit and Kullback-Leibler Divergence -- Lung and Colon Tumor Classification Based on Transfer Learning-Based Techniques -- An Enhanced Diabetes Mellitus Prediction using Feature Selection-Based Type-2 Fuzzy Model -- A Novel Approach of Using Neural Circuit Policies for COVID-19 Classification on CT-images -- Lung Lesions Segmentation and Classification with Deep Neural Networks -- Security and Data Engineering -- Image Denoising using Fully Connected Network with Reinforcement Learning -- Energy Harvesting Aware for Delay-efficient Data Aggregation in Battery-free IoT Sensors -- Deep Models for Mispronounce Prediction for Vietnamese Learners of English -- An Approach to Hummed-tune and Song Sequences Matching -- 84 Birds Classification using Transfer Learning and EfficientNetB2 -- A Session-based Recommender System for Learning Resources -- A Drowsiness Detection System Based on Eye Landmarks Using IoT -- A Novel Approach for Vietnamese Speech Recognition Using Conformer -- Enhancing obfuscated malware detection with machine learning techniques -- Detecting Intrusion using Multiple Datasets in Software-Defined Networks -- Detecting Exams Fraud Using Transfer Learning and Fine-tuning for ResNet50 -- Shape of Pill Recognition Using Mask R-CNN.…”
SpringerLink - Click here for access

Product-focused software process improvement : 8th International conference, PROFES 2007, Riga, Latvia, July 2-4, 2007 : proceedings by PROFES 2007 Rīga, Latvia, SpringerLink (Online service)

Contents: “…Keynote Addresses -- Software Development and Globalization -- Software Development Globalization from the Baltic Perspective -- Experiences in Applying Agile Software Development in F-Secure -- People Side of IT Globalization -- Global Software Development -- An Industrial Survey of Software Outsourcing in China -- Understanding Lacking Trust in Global Software Teams: A Multi-case Study -- Utilization of a Set of Software Engineering Roles for a Multinational Organization -- Software Process Improvement -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement with SFIM -- SPI-KM -- Lessons Learned from Applying a Software Process Improvement Strategy Supported by Knowledge Management -- Organisational Readiness and Software Process Improvement -- Software Process Improvement Through Teamwork Management -- De-motivators of Software Process Improvement: An Analysis of Vietnamese Practitioners' Views -- Software Process Modeling and Evolution -- Defining Software Processes Through Process Workshops: A Multicase Study -- Improving an Industrial Reference Process by Information Flow Analysis: A Case Study -- Connecting the Rationale for Changes to the Evolution of a Process -- Industrial Experiences -- Use of Non-IT Testers in Software Development -- Requirements Management Practices as Patterns for Distributed Product Management -- SPI Consulting in a Level 1 Company: An Experience Report -- Agile Software Development -- On the Effects of Pair Programming on Thoroughness and Fault-Finding Effectiveness of Unit Tests -- An Agile Toolkit to Support Agent-Oriented and Service-Oriented Computing Mechanisms -- Achieving Success in Supply Chain Management Software by Agility -- Software Measurement -- Software Measurement Programs in SMEs -- Defining Software Indicators: A Methodological Framework -- Smart Technologies in Software Life Cycle -- Convertibility Between IFPUG and COSMIC Functional Size Measurements -- A Framework for Measuring and Evaluating Program Source Code Quality -- Software Fault Prediction with Object-Oriented Metrics Based Artificial Immune Recognition System -- Simulation and Decision Support -- Operational Planning, Re-planning and Risk Analysis for Software Releases -- Project Cost Overrun Simulation in Software Product Line Development -- E-Service Architecture Selection Based on Multi-criteria Optimization -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic Approach to Service-Oriented Analysis and Design -- Improving the Problem Management Process from Knowledge Management Perspective -- Workshop -- Experience on Applying Quantitative and Qualitative Empiricism to Software Engineering -- Tutorials -- Using Metrics to Improve Software Testing -- Increase ICT Project Success with Concrete Scope Management -- Agile Software Development: Theoretical and Practical Outlook.…”
SpringerLink - Click here for access

Agile modeling with UML : code generation, testing, refactoring by Rumpe, Bernhard

SpringerLink - Click here for access

Software product lines : going beyond : 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : proceedings by Software Product Lines Conference Cheju Island, Korea, SpringerLink (Online service)

SpringerLink - Click here for access

Artificial intelligence in education : 15th international conference, AIED 2011, Auckland, New Zealand, June 28-July 1, 2011 by International Conference on Artificial Intelligence in Education Auckland, N.Z., SpringerLink (Online service)

Contents: “…Faster Teaching by POMDP Planning /…”
SpringerLink - Click here for access

Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering by International Conference on Communication, Electronics and Automation Engineering Xi'an Shi, China, SpringerLink (Online service)

Contents: “…Recovery Time Analysis of a Distributed Redundancy Protocol --…”
SpringerLink - Click here for access