Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((((operating plan) OR (operations plan))) OR (operating a)))) ) OR ( Defined distribution ((erosion plans) OR (erosion land)) ))))
-
1
Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Published: Springer, 2012Contents: SpringerLink - Click here for accessDescription: 1 online resource (xi, 417 pages) : illustrations.
Conference Proceeding eBook -
2
Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers
Published: Springer, 2008Contents: “…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.…”Description: 1 online resource (xv, 428 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
3
Software engineering for embedded systems : methods, practical techniques, and applications First edition.
Published: Newnes, 2013Contents: “…-- Certification killers -- Project planning strategies -- Strategy 1: determine the project certification scope early -- Strategy 2: determine feasibility of certification -- Strategy 3: select an independent assessor (if used) -- Strategy 4: understand your assessor's role (if used) -- Strategy 5: assessment communication is key -- Strategy 6: establish a basis of certification -- Strategy 7: establish a "fit and purpose" for your product -- Strategy 8: establish a certification block diagram -- Strategy 9: establish communication integrity objectives -- Strategy 10: identify all interfaces along the certification boundary -- Strategy 11: identify the key safety defensive strategies -- Strategy 12: define built in test (BIT) capability -- Strategy 13: define fault annunciation coverage -- Strategy 14: define reliance and expectation of the operator/user -- Strategy 15: define plan for developing software to appropriate integrity level -- Strategy 16: define artifacts to be used as evidence of compliance -- Strategy 17: plan for labor-intensive analyses -- Strategy 18: create user-level documentation -- Strategy 19: plan on residual activity -- Strategy 20: publish a well-defined certification plan -- Faults, failures, hazards, and risk analysis -- Faults, errors, and failures -- Availability and reliability -- Fault handling -- Hazard analysis -- Risk analysis -- Safety-critical architectures -- "Do-er"/"Check-er" -- Two processors -- "Voter" -- Software implementation strategies -- Strategy 1: have a well-defined, repeatable peer-review process -- Strategy 2: consider using existing safety coding standards -- Strategy 3: handle all combinations of input data -- Strategy 4: specific variable value checking -- Strategy 5: mark safety-critical code sections -- Strategy 6: timing execution checking -- Strategy 7: stale data -- Strategy 8: comparison of outputs -- Strategy 9: initialize data to least permissive state -- Strategy 10: order of execution -- Strategy 11: volatile data checking -- Strategy 12: non-volatile data checking -- Strategy 13: make sure the entire system can run -- Strategy 14: remove "dead" code -- Strategy 15: fill unused memory -- Strategy 16: static code analysis -- Background -- Is that software yours? …”Description: 1 online resource (xlix, 1150 pages).
Elsevier - Click here for access
eBook -
4
Product-focused software process improvement : 8th International conference, PROFES 2007, Riga, Latvia, July 2-4, 2007 : proceedings
Published: Springer, 2007Contents: “…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.…”Description: 1 online resource (xii, 414 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
5
Computer Science - CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised selected papers
Published: Springer, 2018Contents: “…Description of a Mirroring Strategy and its Results -- Virtualization in Education: Portable Network Laboratory -- Graphic Computation, Images and Visualization -- A shadow removal approach for a background subtraction algorithm -- A Tutorial on the Implementations of Linear Image Filters in CPU and GPU -- Natural User Interfaces: A Physical Activity Trainer -- Software Engineering -- Proposal for the Formation of Experimental Pair Programmers -- Reusing a Geographic Software Product Line Platform: A Case Study in the Paleontological Sub-Domain -- Performance evaluation of a 3D engine for mobile devices -- Assistant for the Evaluation of Software Product Quality Characteristics Proposed by ISO/IEC 25010 Based on GQM-Defined Metrics -- Databases and Data Mining -- Recommender System Based on Latent Topics -- Automatic Characteristics Extraction for Sentiment Analysis Tasks -- Hardware Architectures, Networks and Operating Systems -- Modular Petri Net Processor for Embedded Systems -- A Novel Performance Metric for Virtual Network Embedding Combining Aspects of Blocking Probability and Embedding Cost -- An Anomaly Detection Model in a LAN using K-NN and High Performance Computing Techniques -- Innovation in Software Systems -- Generation and Use of a Digest System by Integrating OCR and Smart Searches -- Signal Processing and Real-Time Systems -- Excluding Ionospherically Unsafe Satellite Geometries in GBAS CAT-I -- CAN Bus Experiments of Real-Time Communications -- Computer Security -- Analysis of Methodologies of Digital Data Collection in Web Servers -- Observer effect: How Intercepting HTTPS traffic forces malware to change their behavior -- Innovation in Computer Science Education -- ECMRE: Extended Concurrent Multi Robot Environment -- Inverting the class or investing in the class? …”Description: 1 online resource (XIV, 310 pages).
SpringerLink - Click here for access
Conference Proceeding eBook -
6
Advanced software engineering : expanding the frontiers of software technology
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (170 pages) : illustrations.
Conference Proceeding eBook -
7
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Published: Springer, 2006Contents: “…Models of Industrial Systems with Spin -- Stateful Dynamic Partial-Order Reduction -- Internetware and Web-Based Systems -- User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition -- Environment Ontology-Based Capability Specification for Web Service Discovery -- Scenario-Based Component Behavior Derivation -- Verification of Computation Orchestration Via Timed Automata -- Towards the Semantics for Web Service Choreography Description Language -- Type Checking Choreography Description Language -- Concurrent, Communicating, Timing and Probabilistic Systems -- Formalising Progress Properties of Non-blocking Programs -- Towards a Fully Generic Theory of Data -- Verifying Statemate Statecharts Using CSP and FDR -- A Reasoning Method for Timed CSP Based on Constraint Solving -- Mapping RT-LOTOS Specifications into Time Petri Nets -- Reasoning Algebraically About Probabilistic Loops -- Object and Component Orientation -- Formal Verification of the Heap Manager of an Operating System Using Separation Logic -- A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs -- Model Checking Dynamic UML Consistency -- Testing and Model Checking -- Conditions for Avoiding Controllability Problems in Distributed Testing -- Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm -- Checking the Conformance of Java Classes Against Algebraic Specifications -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics -- Optimized Execution of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open Extensible Tool Environment for Event-B -- Tool for Translating Simulink Models into Input Language of a Model Checker -- Fault-Tolerance and Security -- Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices -- A Language for Modeling Network Availability -- Multi-process Systems Analysis Using Event B: Application to Group Communication Systems -- Specification and Refinement -- Issues in Implementing a Model Checker for Z -- Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking -- Discovering Likely Method Specifications -- Time Aware Modelling and Analysis of Multiclocked VLSI Systems -- SALT--Structured Assertion Language for Temporal Logic.…”Description: 1 online resource (xii, 778 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
8
Software engineering research, management and applications 2009
Published: Springer-Verlag, 2009Contents: “…Efficiency from Formalization: An Initial Case Study on Archi3D -- An Agent-Based Framework for Association Rules Mining of Distributed Data -- Defining and Implementing Software Subcontracting Management Processes in Small Enterprises -- A Robust Approach to Subsequence Matching -- Toward Automated Support for Software Process Improvement Initiatives in Small and Medium Size Enterprises -- Syntactic and Semantic Prediction in Dynamic Languages -- M-KAD: A Scalable Peer-to-Peer System for Similarity Search in Metric Space -- A State Based Fitness Function for Evolutionary Testing of Object-Oriented Programs -- A Practical Approach to Developing Applications with Reusable Services -- Supporting Real-Life Applications in Hierarchical Component Systems -- Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study -- Frameworks for Maturity Questionnaire Selection Model -- An Agent-Based Web Services Market -- Investigating Inconsistency Detection as a Validation Operation in Software Product Line -- Combined Algorithms for Classification of Conduct Disorder of Students in Thai Vocational School -- Error Estimation Model for Managing Embedded Software Development -- Identifying Data Member Level Changes for Regression Testing of Object-Oriented Programs -- Network Monitoring with Real-Time Properties: A Step Forward -- A Pragmatic Analysis Model for Software Reuse -- Evaluation of Test-Driven Development: An Academic Case Study -- New Smith Predictor and Fuzzy Adaptive Control for Wireless Networked Control Systems -- FRAME: A Generic Fractal Process Metamodel for Agile Methodologies -- Workflow Change Patterns: Opportunities for Extension and Reuse -- Patterns of Situational Method Engineering -- A Novel MHC-Inspired Approach for Malicious Code Detection.…”Description: 1 online resource (xvi, 306 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
9
Software architecture for big data and the cloud First edition.
Published: Morgan Kaufmann, 2017Contents: “…Note continued: 3.5.Architecture Example -- Context Management in the IoT -- 3.6.Big Data Origins and Characteristics -- 3.7.The Systems That Capture and Process Big Data -- 3.8.Operating Across Organizational Silos -- 3.9.Architecture Example -- Local Processing of Big Data -- 3.10.Architecture Example -- Creating a Multichannel View -- 3.11.Application Independent Data -- 3.12.Metadata and Governance -- 3.13.Conclusions -- 3.14.Outlook and Future Directions -- References -- ch. 4 Domain-Driven Design of Big Data Systems Based on a Reference Architecture / Ioannis N. …”Description: 1 online resource (xxxviii, 432 pages)
Elsevier - Click here for access
eBook -
10
Beginning AngularJS
Published: Apress, 2014SpringerLink - Click here for accessDescription: 1 online resource (xii, 200 pages) : illustrations.
eBook -
11
Advanced topics in C : core concepts in data structures
Published: Apress, 2013SpringerLink - Click here for accessDescription: 1 online resource (312 pages).
eBook