0803 Computer Software Concept

subject area of

• "Hypermeshes": Optical Interconnection Networks for Parallel Computing  Academic Article
• 7-Norbornyl Cation Fact or Fiction? A QTAIM-DI-VISAB Computational Study  Academic Article
• A Bayesian Approach for One-Shot Device Testing With Exponential Lifetimes Under Competing Risks  Academic Article
• A Branching Time Logical System for Open Distributed Systems Development  Academic Article
• A CSP model of Eiffel’s SCOOP  Academic Article
• A Cellular Array for the Nonrestoring Extraction of Square Roots  Academic Article
• A Comparative Study of Predictable DRAM Controllers  Academic Article
• A Comparison of Two Simple Prediction Intervals for Exponential Distribution  Academic Article
• A Compositional Automata-based Approach for Model Checking Multi-Agent Systems  Academic Article
• A Computational Technique For Maximum Likelihood Estimation With Weibull Models  Academic Article
• A General Purpose Approximate Goodness-of-Fit Test for Progressively Type-II Censored Data  Academic Article
• A Meta-Analysis of Multisample Type-II Censored Data With Parametric and Nonparametric Results  Academic Article
• A Multiple-FPGA parallel computing architecture for real-time simulation of soft-object deformation  Academic Article
• A New Mean-Field Method Suitable for Strongly Correlated Electrons: Computationally Facile Antisymmetric Products of Nonorthogonal Geminals  Academic Article
• A New Method for Goodness-of-Fit Testing Based on Type-II Right Censored Samples  Academic Article
• A Novel Algorithmic Approach to Aid Post-Silicon Delay Measurement and Clock Tuning  Academic Article
• A Petri net model for membrane systems with dynamic structure  Academic Article
• A Proposed Measure of Residual Life of Live Components of a Coherent System  Academic Article
• A QTAIM and Electron Delocalization Computational Study of tert-Butylmethylene, Trimethylsilylmethylene, and Trimethylgermylmethylene. A New Method for Unambiguously Characterizing the Bonding between Pairs of Atoms in Reaction Intermediates  Academic Article
• A Software Certification Consortium and its Top 9 Hurdles  Academic Article
• A compositional Petri net translation of general π-calculus terms  Academic Article
• A correctness proof for combinator reduction with cycles  Academic Article
• A formal semantics for concurrent systems with a priority relation  Academic Article
• A novel blind detector for additive noise steganography in JPEG decompressed images  Academic Article
• A prime-factor decomposed algorithm for the discrete sine transform  Academic Article
• A simulation system for improving machining accuracy in milling  Academic Article
• A tutorial on metamodelling for grammar researchers  Academic Article
• A user-assisted approach to component clustering  Academic Article
• ACM Transactions on Design Automation of Electronic Systems  Journal
• ACM Transactions on Multimedia Computing, Communications and Applications  Journal
• ACM Transactions on Programming Languages and Systems  Journal
• ACM Transactions on Software Engineering and Methodology  Journal
• APPROXIMABILITY IN THE GPAC  Academic Article
• Accelerated Degradation Analysis for the Quality of a System Based on the Gamma Process  Academic Article
• Acta Informatica  Journal
• Adaptive blind image watermarking using edge pixel concentration  Academic Article
• Adaptive control for geometric tracking in turning  Academic Article
• Addenda and corrigenda  Academic Article
• Algebraic Composition of Function Tables  Academic Article
• An Algebraic Approach to Refinement with Fair Choice  Academic Article
• An Analysis of Hypermesh NoCs in FPGAs  Academic Article
• An Iterative Array for Multiplication of Signed Binary Numbers  Academic Article
• An Optimized Cell BE Special Function Library Generated by Coconut  Academic Article
• An adaptive LSB matching steganography based on octonary complexity measure  Academic Article
• An adaptive agent for case description in diagnostic CBR systems  Academic Article
• An algebra of product families  Academic Article
• An efficient high payload ±1 data embedding scheme  Academic Article
• Approximate MLE of the scale parameter of the Rayleigh distribution with censoring  Academic Article
• Approximate MLEs for the location and scale parameters of the extreme value distribution with censoring  Academic Article
• Approximate MLEs for the location and scale parameters of the half-logistic distribution with type-II right-censoring  Academic Article
• Architecture description languages for high-integrity real-time systems  Academic Article
• Architecture of a Terabit Free-Space Intelligent Optical Backplane  Academic Article
• Atomic Charges and the Electrostatic Potential Are Ill-Defined in Degenerate Ground States  Academic Article
• Automated Parametrization of AMBER Force Field Terms from Vibrational Analysis with a Focus on Functionalizing Dinuclear Zinc(II) Scaffolds  Academic Article
• Autopsy Data Analysis for a Series System With Active Redundancy Under a Load-Sharing Model  Academic Article
• BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.  Academic Article
• Behavior-Based Access Control for Distributed Healthcare Environment  Academic Article
• Benchmarking  Journal
• Best Constant-Stress Accelerated Life-Test Plans With Multiple Stress Factors for One-Shot Device Testing Under a Weibull Distribution  Academic Article
• Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon  Academic Article
• Building ease of use into the IBM user experience  Academic Article
• CORRECTION  Academic Article
• COSHH: A classification and optimization based scheduler for heterogeneous Hadoop systems  Academic Article
• COSY ? a system specification language based on paths and processes  Academic Article
• Calculation of Fukui Functions Without Differentiating to the Number of Electrons. 3. Local Fukui Function and Dual Descriptor  Academic Article
• Cameo: an alternative model of concurrency for Eiffel  Conference Paper
• Canonical prefixes of Petri net unfoldings  Academic Article
• Categorical foundations for structured specifications in $${\mathsf{Z}}$$ Z  Academic Article
• Categorical semantics of parallel program design  Conference Paper
• Characterization of the Chemical Behavior of the Low Excited States through a Local Chemical Potential  Academic Article
• Comments on "A Simplified Definition of Walsh Functions"  Academic Article
• Comparison of manual and automated marking of student programs  Academic Article
• Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types  Academic Article
• Computer Standards and Interfaces  Journal
• Computers and Electrical Engineering  Journal
• Computers in Industry  Journal
• Computing Second-Order Functional Derivatives with Respect to the External Potential  Academic Article
• Conceptual Density-Functional Theory for General Chemical Reactions, Including Those That Are Neither Charge- nor Frontier-Orbital-Controlled. 1. Theory and Derivation of a General-Purpose Reactivity Indicator  Academic Article
• Conceptual Density-Functional Theory for General Chemical Reactions, Including Those That Are Neither Charge- nor Frontier-Orbital-Controlled. 2. Application to Molecules Where Frontier Molecular Orbital Theory Fails  Academic Article
• Conceptual modeling of data base operations  Academic Article
• Concurrency Computation Practice and Experience Concurrency Practice and Experience  Journal
• Consistent and complementary formal theories of the semantics of programming languages  Academic Article
• Contents for a Model-Based Software Engineering Body of Knowledge  Academic Article
• Cooperative Token-Ring Scheduling For Input-Queued Switches  Academic Article
• Correction to "A Comparison of Two Simple Prediction Intervals for Exponential Distribution"  Academic Article
• Correction to The Proof Of Theorem 2 In "parallel Signature Analysis Design With Bounds On Allasing"  Academic Article
• Corrections on "Optimal Step-Stress Test Under Progressive Type-I Censoring  Academic Article
• DFT infrastructure for broadside two-pattern test of core-based SOCs  Academic Article
• DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING  Academic Article
• Deep Semantic Mapping for Heterogeneous Multimedia Transfer Learning Using Co-Occurrence Data  Academic Article
• Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance  Academic Article
• Design and Implementation of Holistic Scheduling and Efficient Storage for FlexRay  Academic Article
• Design principles for practical self-routing nonblocking switching networks with O(N·log N) bit-complexity  Academic Article
• Dual Grid Methods for Finding the Reaction Path on Reduced Potential Energy Surfaces  Academic Article
• Dynamic Optimal Countermeasure Selection for Intrusion Response System  Academic Article
• Dynamic scheduling for heterogeneous Desktop Grids  Academic Article
• Dynamite  Academic Article
• E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.  Academic Article
• EM Algorithm for One-Shot Device Testing With Competing Risks Under Weibull Distribution  Academic Article
• ERC ? An object-oriented refinement calculus for Eiffel  Academic Article
• Editorial  Academic Article
• Editorial  Academic Article
• Editorial  Academic Article
• Editorial: Silicon debug and diagnosis  Academic Article
• Efficient Analysis of DynAlloy Specifications  Academic Article
• Electronic Notes in Theoretical Computer Science  Journal
• Embeddings of Star Graphs into Optical Meshes without Bends  Academic Article
• Empirical Software Engineering  Journal
• End-to-end delay control of multimedia applications over multihop wireless links  Academic Article
• Engineering model transformations with transML  Academic Article
• Epsilon Flock: a model migration language  Academic Article
• Eugenia: towards disciplined and automated development of GMF-based graphical model editors  Academic Article
• Evolving models in Model-Driven Engineering: State-of-the-art and future challenges  Academic Article
• Exact Inference for Laplace Quantile, Reliability, and Cumulative Hazard Functions Based on Type-II Censored Data  Academic Article
• Exact Nonparametric Inference for Component and System Lifetime Distributions Based on Joint Signatures  Academic Article
• Exact Nonparametric Meta-Analysis of Lifetime Data From Systems With Known Signatures  Academic Article
• Exceptions in Concurrent Eiffel.  Academic Article
• Expectation Maximization Algorithm for One Shot Device Accelerated Life Testing with Weibull Lifetimes, and Variable Parameters over Stress  Academic Article
• Exploring Tabular Verification and Refinement  Academic Article
• Exposing Implementation Details of Embedded DRAM Memory Controllers through Latency-based Analysis  Academic Article
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages  Academic Article
• Foreword to the special section on negative results in software engineering  Academic Article
• Formal Aspects of Computing  Journal
• Formal Methods in System Design  Journal
• Formal semantics of a class of high-level primitives for coordinating concurrent processes  Academic Article
• Formal verification and validation of embedded systems: the UML-based MADES approach  Academic Article
• Formal verification of function blocks applied to IEC 61131-3  Academic Article
• Foundations of the trace assertion method of module interface specification  Academic Article
• Framework for robust blind image watermarking based on classification of attacks  Academic Article
• From Reversible Programs to Univalent Universes and Back  Academic Article
• Fundamentals of modelling concurrency using discrete relational structures  Academic Article
• Future Generation Computer Systems  Journal
• Game Development using Design-by-Contract.  Academic Article
• Gaussian Elimination: A case study in efficient genericity with MetaOCaml  Conference Paper
• Generating Cyclic-Random Sequences in a Constrained Space for In-System Validation  Academic Article
• Genericity for model management operations  Academic Article
• Goodness of Fit Using a New Estimate of Kullback-Leibler Information Based on Type II Censored Data  Academic Article
• Goodness-of-Fit Test Based on Kullback-Leibler Information for Progressively Type-II Censored Data  Academic Article
• Goodness-of-Fit Tests Based on Spacings for Progressively Type-II Censored Data From a General Location-Scale Distribution  Academic Article
• Gravity  Academic Article
• Guest Editorial: Special Issue on Cyber-Physical Systems and Services  Academic Article
• Guest editorial to the special issue on Success Stories in Model Driven Engineering  Academic Article
• Guest editorial to the special issue on model transformation  Academic Article
• Guest editorial to the theme issue on traceability in model-driven engineering  Academic Article
• Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574  Academic Article
• Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems  Academic Article
• Hierarchical watermarking framework based on analysis of local complexity variations  Academic Article
• Higher order data types  Academic Article
• Hirshfeld-E Partitioning: AIM Charges with an Improved Trade-off between Robustness and Accurate Electrostatics  Academic Article
• How to Compute the Fukui Matrix and Function for Systems with (Quasi-)Degenerate States  Academic Article
• IBM Systems Journal  Journal
• IEE Proceedings: Software IET Software  Journal
• IEEE Software  Journal
• IEEE Transactions on Computers  Journal
• IEEE Transactions on Dependable and Secure Computing  Journal
• IEEE Transactions on Parallel and Distributed Systems  Journal
• IEEE Transactions on Reliability  Journal
• IEEE Transactions on Services Computing  Journal
• IEEE Transactions on Software Engineering  Journal
• IET Computers and Digital Techniques  Journal
• Image retargeting using nonparametric semantic segmentation  Academic Article
• Implementability of Requirements in the Four-Variable Model  Academic Article
• Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods  Academic Article
• Inequational Deduction as Term Graph Rewriting  Academic Article
• Inference for a Simple Step-Stress Model With Type-II Censoring, and Weibull Distributed Lifetimes  Academic Article
• Information Security Technical Report  Journal
• Information and Software Technology  Journal
• Initial Hardness Response and Hardness Profiles in the Study of Woodward–Hoffmann Rules for Electrocyclizations  Academic Article
• Inspection's role in software quality assurance  Academic Article
• Integrating BON and Object-Z.  Academic Article
• Integration of sequential scenarios  Conference Paper
• International Journal of Computer Networks and Communications  Journal
• International Journal of Parallel Programming International Journal of Computer and Information Sciences  Journal
• International Journal of Software Engineering and Knowledge Engineering  Journal
• International Journal on Software Tools for Technology Transfer Software-Concepts and Tools  Journal
• Invariants and paradigms of concurrency theory  Academic Article
• Investigation of optical gain in Al2O3:Er channel waveguide amplifiers  Conference Paper
• Iterative criteria-based approach to engineering the requirements of software development methodologies  Academic Article
• Journal of Chemical Theory and Computation  Journal
• Journal of Computer Security  Journal
• Journal of Functional Programming  Journal
• Journal of Object Technology  Journal
• Journal of Parallel and Distributed Computing  Journal
• Journal of Software Maintenance and Evolution Journal of Software Maintenance  Journal
• Journal of Systems Architecture  Journal
• Journal of Systems and Software  Journal
• Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement  Academic Article
• Lessons learned from building model-driven development tools  Academic Article
• Lies, Damned Lies and UML2Java.  Academic Article
• Likelihood Inference Based on Left Truncated and Right Censored Data From a Gamma Distribution  Academic Article
• Likelihood Inference Under Proportional Hazards Model for One-Shot Device Testing  Academic Article
• Linear Inference for Type-II Censored Lifetime Data of Reliability Systems With Known Signatures  Academic Article
• Linear Programming-Based Affinity Scheduling of Independent Tasks on Heterogeneous Computing Systems  Academic Article
• Linearized Coupled Cluster Correction on the Antisymmetric Product of 1-Reference Orbital Geminals  Academic Article
• Localized model transformations for building large-scale transformations  Academic Article
• Logical Methods in Computer Science  Journal
• Mapping Trigger Conditions onto Trigger Units during Post-silicon Validation and Debugging  Academic Article
• Mean Residual Life Function, Associated Orderings and Properties  Academic Article
• Merged processes: a new condensed representation of Petri net behaviour  Academic Article
• Metamodel-based model conformance and multiview consistency checking  Academic Article
• Minimal Basis Iterative Stockholder: Atoms in Molecules for Force-Field Development  Academic Article
• Minimum-Distance Parametric Estimation Under Progressive Type-I Censoring  Academic Article
• Model Mis-Specification Analyses of Weibull and Gamma Models Based on One-Shot Device Test Data  Academic Article
• Model-based tool support for Tactical Data Links: an experience report from the defence domain  Academic Article
• Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700, 444 pages. Price £33.99. Soft Cover  Academic Article
• Modeling Parameters of a Load-Sharing System Through Link Functions in Sequential Order Statistics Models and Associated Inference  Academic Article
• Modeling biological gradient formation: combining partial differential equations and Petri nets  Academic Article
• Modular array structure for non-restoring square root circuit  Academic Article
• Mono-crystalline Rare Earth Doped (Gd, Lu)(2)O(3) Waveguiding Films Produced by Pulsed Laser Deposition and Structured by Reactive Ion Etching  Conference Paper
• Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code  Academic Article
• Multimedia Systems Multimedia Tools and Applications  Journal
• Multiple scan chains for power minimization during test application in sequential circuits  Academic Article
• Multiple-Stress Model for One-Shot Device Testing Data Under Exponential Distribution  Academic Article
• Natural Computing  Journal
• NoC-Based FPGA Acceleration for Monte Carlo Simulations with Applications to SPECT Imaging  Academic Article
• Nonvariational Orbital Optimization Techniques for the AP1roG Wave Function  Academic Article
• On Using Lossy Compression for Repeatable Experiments during Silicon Debug  Academic Article
• On a formal semantics of tabular expressions  Academic Article
• On the Permutation Capability of Multistage Interconnection Networks  Academic Article
• On the computation and the effectiveness of discrete sine transform  Academic Article
• On the design and specification of message oriented programs  Academic Article
• On the universality of multipath multistage interconnection networks  Academic Article
• On tractability and congruence distributivity  Academic Article
• Optimal Burn-In Policy for Highly Reliable Products Using Gamma Degradation Process  Academic Article
• Optimal Design for Accelerated-Stress Acceptance Test Based on Wiener Process  Academic Article
• Optimal Design for Degradation Tests Based on Gamma Processes With Random Effects  Academic Article
• Optimal Step-Stress Accelerated Degradation Test Plan for Gamma Degradation Processes  Academic Article
• Optimal Step-Stress Test Under Progressive Type-I Censoring  Academic Article
• Order Restricted Inference for Exponential Step-Stress Models  Academic Article
• PMC  Academic Article
• PREDICTIVE TRACES IN HYBRID SYSTEMS  Academic Article
• Panoptes  Academic Article
• Paradigm for compliant motion control in environments with unknown or variable dynamics  Academic Article
• Parallel computing strategies in the analysis of the inhibiting effect of price limits on futures prices  Academic Article
• Parallel implementation of the extended square-root covariance filter for tracking applications  Academic Article
• Partial evaluation of Maple  Academic Article
• Patient attitudes toward physicians  Academic Article
• Point and interval estimation for Gaussian distribution, based on progressively type-II censored samples  Academic Article
• Power-aware linear programming based scheduling for heterogeneous computer clusters  Academic Article
• Predictive traces in hybrid systems  Conference Paper
• Preface  Academic Article
• Preface  Academic Article
• Preface  Academic Article
• Principles for modeling language design  Academic Article
• Program derivation by fixed point computation  Academic Article
• Pyramidal modeling of geometric distortions for retargeted image quality evaluation  Academic Article
• Real-Time Systems  Journal
• Real-time lossless compression of microarray images by separate compaction of foreground and background  Academic Article
• Reasoning about static and dynamic properties in alloy  Academic Article
• ReaxFF Molecular Dynamics Simulation for the Graphitization of Amorphous Carbon: A Parametric Study  Academic Article
• Recursion and Petri nets  Academic Article
• Reduced latency DRAM for multi-core safety-critical real-time systems  Academic Article
• Refinement and Development of Programs from Relational Specifications  Academic Article
• Refinement via Consistency Checking in MDA  Academic Article
• Relational structures model of concurrency  Academic Article
• Reliability Inference on Composite Dynamic Systems Based on Burr Type-XII Distribution  Academic Article
• Reliability sampling plans for lognormal distribution, based on progressively-censored samples  Academic Article
• Requirements Scenarios Formalization Technique  Academic Article
• Reversible computation vs. reversibility in Petri nets  Academic Article
• Rigorous identification and encoding of trace-links in model-driven engineering  Academic Article
• Robust image watermarking scheme using bit-plane of hadamard coefficients  Academic Article
• SCO link sharing in Bluetooth voice access networks  Academic Article
• SECG: The SCOOP-to-Eiffel Code Generator.  Academic Article
• Science of Computer Programming  Journal
• Signature required: Making Simulink data flow and interfaces explicit  Academic Article
• Simple and efficient motion estimation algorithm by continuum search  Academic Article
• Simulation relations for fault-tolerance  Academic Article
• Software Testing Verification and Reliability  Journal
• Software and Systems Modeling  Journal
• Software engineering practices and Simulink: bridging the gap  Academic Article
• Software tools for safety-critical software development  Academic Article
• Some advanced control strategies for modern machine tools  Academic Article
• Special issue on Model Based Engineering for Embedded Systems Design  Academic Article
• Speed-adaptive multi-copy routing for vehicular delay tolerant networks  Academic Article
• Statistical Inference of Component Lifetimes With Location-Scale Distributions From Censored System Failure Data With Known Signature  Academic Article
• Step coverability algorithms for communicating systems  Academic Article
• Step semantics of boolean nets  Academic Article
• Step traces  Academic Article
• Stochastic Comparisons of Series and Parallel Systems With Generalized Exponential Components  Academic Article
• Strategy based semantics for mobility with time and access permissions  Academic Article
• Stress-testing remote model querying APIs for relational and graph-based stores  Conference Paper
• Surface accuracy control in end milling using adaptive state tracking  Academic Article
• Surveying Rule Inheritance in Model-to-Model Transformation Languages.  Academic Article
• Surveying Rule Inheritance in Model-to-Model Transformation Languages.  Academic Article
• Symmetric Nonlocal Weighted Density Approximations from the Exchange-Correlation Hole of the Uniform Electron Gas  Academic Article
• Synchronizing events in replicated systems  Academic Article
• TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds  Academic Article
• Tabular Verification and Refinement  Academic Article
• Temporal theories as modularisation units for concurrent system specification  Academic Article
• Testing Exponentiality Based on Kullback-Leibler Information With Progressively Type-II Censored Data  Academic Article
• The Gradient Curves Method:  An Improved Strategy for the Derivation of Molecular Mechanics Valence Force Fields from ab Initio Data  Academic Article
• The Merlin-Randell problem of train journeys  Academic Article
• The Significance of Parameters in Charge Equilibration Models  Academic Article
• The logic of software design  Academic Article
• The role of inspection in software quality assurance  Academic Article
• Thermodynamic Justification for the Parabolic Model for Reactivity Indicators with Respect to Electron Number and a Rigorous Definition for the Electrophilicity: The Essential Role Played by the Electronic Entropy  Academic Article
• Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems  Academic Article
• Toward Evidence-Based Software Engineering: Lessons Learned in Healthcare Application Development  Academic Article
• Towards a service-oriented cyber–physical systems of systems for smart city mobility applications  Academic Article
• Trade-Offs in Test Data Compression and Deterministic X-Masking of Responses  Academic Article
• Transactions on Embedded Computing Systems  Journal
• Transformational design and implementation of a new efficient solution to the ready simulation problem  Academic Article
• Transformations of normal and inverted function tables  Academic Article
• Type inference in flexible model-driven engineering using classification algorithms  Academic Article
• Use of symmetry in prediction-error field for lossless compression of 3D MRI images  Academic Article
• Using autonomous components to improve runtime qualities of software  Academic Article
• Using horizontal prefetching to circumvent the jump problem  Academic Article
• Utilizing big data for batch process modeling and control  Academic Article
• Verification of bounded Petri nets using integer programming  Academic Article
• When are methods complementary?  Academic Article
• When is the Fukui Function Not Normalized? The Danger of Inconsistent Energy Interpolation Models in Density Functional Theory  Academic Article
• Wireless Mesh Network Performance for Urban Search and Rescue Missions  Academic Article
• XRound: A reversible template language and its application in model-based security analysis  Academic Article