0803 Computer Software - McMaster Experts

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 Tabular Expression-Based Testing Strategies 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 Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems 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 Semantics of a Simple Process Algebra for Mobility Academic Article
A Petri net model for membrane systems with dynamic structure Academic Article
A Precise Characterisation of Step Traces and Their Concurrent Histories 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 contextual framework for combating identity theft 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 fuzzy matchmaking approach for Semantic Web Services with application to collaborative material selection Academic Article
A mathematical and computational model for simulating complex dynamic cancer growth and metastasis Academic Article
A methodology for dynamic enterprise process performance evaluation Academic Article
A monadic framework for delimited continuations 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 quality of service (QoS)-aware execution plan selection approach for a service composition process Academic Article
A quantitative model of the initiation of DNA replication in Saccharomyces cerevisiae predicts the effects of system perturbations Academic Article
A rational design process: How and why to fake it Academic Article
A reflection on call-by-value Conference Paper
A review of Internet-based product information sharing and visualization Academic Article
A simulation system for improving machining accuracy in milling Academic Article
A survey on data center cooling systems: Technology, power consumption modeling and control strategy optimization Academic Article
A survey on the design space of end-user-oriented languages for specifying robotic missions Academic Article
A tutorial on metamodelling for grammar researchers Academic Article
A two-layer optimal scheduling framework for energy savings in a data center for Cyber–Physical–Social Systems Academic Article
A user-assisted approach to component clustering Academic Article
A verification-driven framework for iterative design of controllers 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
AN INTELLIGENT AGENT MOBILE EMISSIONS MODEL FOR URBAN ENVIRONMENTAL MANAGEMENT Academic Article
APPROXIMABILITY IN THE GPAC Academic Article
Accelerated Degradation Analysis for the Quality of a System Based on the Gamma Process Academic Article
Accurate Estimation of ILS Glideslope in the Presence of Terrain Irregularities Academic Article
Acta Informatica Journal
Active design reviews: Principles and practices Academic Article
Adaptive blind image watermarking using edge pixel concentration Academic Article
Adaptive control for geometric tracking in turning Academic Article
Addenda and corrigenda Academic Article
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities Academic Article
Advances in Computers Journal
Aerial image dehazing using a deep convolutional autoencoder Academic Article
Agent-based collaborative product design engineering: An industrial case study Academic Article
Algebraic Composition of Function Tables Academic Article
An Algebra of Pure Quantum Programming 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
An extended account of contract monitoring strategies as patterns of communication Academic Article
An integrated feature-based dynamic control system for on-line machining, inspection and monitoring Academic Article
An object model for dynamic mixins Academic Article
Applied Computing Review Journal
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
Automated Software Engineering Journal
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques Book
Automatic generation of UML profile graphical editors for Papyrus Academic Article
Autopsy Data Analysis for a Series System With Active Redundancy Under a Load-Sharing Model Academic Article
BMC Systems Biology Journal
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
BlessMark: a blind diagnostically-lossless watermarking framework for medical applications based on deep neural networks Academic Article
BotSpot: fast graph based identification of structured P2P bots Academic Article
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon Academic Article
CLOVER: an agent-based approach to systems interoperability in cooperative design systems 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
CPS in little pieces: composing partial continuations 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 Z Academic Article
Categorical semantics of parallel program design Conference Paper
Channel Selection Algorithm Based on Gibbs Sampler for Optimal QoM in Multi-Channel Wireless Networks Academic Article
Characterization of the Chemical Behavior of the Low Excited States through a Local Chemical Potential Academic Article
Characterizing Black-box Composition Operators via Generated Tailored Benchmarks. Academic Article
Cloud/haze detection in airborne videos using a convolutional neural network Academic Article
Collaborative computing technologies and systems Academic Article
Collaborative design: New methodologies and technologies Academic Article
Collaborative engineering: From concurrent engineering to enterprise collaboration Academic Article
Combining Genetic Programming and Model Checking to Generate Environment Assumptions Academic Article
Comments on "A Simplified Definition of Walsh Functions" Academic Article
Comments on ?A comparison of two synchronizing concepts by P.B. Hansen? 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 Languages, Systems and Structures Computer Languages Journal
Computer Standards and Interfaces Journal
Computer supported collaborative design: Retrospective and perspective Conference Paper
Computers and Electrical Engineering Journal
Computers and Graphics Journal
Computers in Industry Journal
Computing Second-Order Functional Derivatives with Respect to the External Potential Academic Article
Computing covers from matchings with permutations 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
Concern-oriented language development (COLD): Fostering reuse in language engineering 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
Constraint programming for type inference in flexible model-driven engineering Conference Paper
Contents for a Model-Based Software Engineering Body of Knowledge Academic Article
Context-aware saliency detection for image retargeting using convolutional neural networks 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 'Approximate MLE of the scale parameter of the Rayleigh distribution with censoring' (Aug 89 355-357) Academic Article
Correction to The Proof Of Theorem 2 In "parallel Signature Analysis Design With Bounds On Allasing" Academic Article
Correction to “a rational design process: How and why to fake it” Academic Article
Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput Academic Article
Corrections on "Optimal Step-Stress Test Under Progressive Type-I Censoring Academic Article
Correctness of Monadic State: An Imperative Call-by-Need Calculus Conference Paper
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
Defining the meaning of tabular mathematical expressions Academic Article
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance Academic Article
Desert Island Column. Academic Article
Design and Implementation of Holistic Scheduling and Efficient Storage for FlexRay Academic Article
Design and Specification of the Minimal Subset of an Operating System Family Academic Article
Design principles for practical self-routing nonblocking switching networks with O(N·log N) bit-complexity Academic Article
Designing Predictable Cache Coherence Protocols for Multi-Core Real-Time Systems Academic Article
Designing Software for Ease of Extension and Contraction Academic Article
Distributed model validation with Epsilon Academic Article
Divergence-Based Robust Inference Under Proportional Hazards Model for One-Shot Device Life-Test 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 manufacturing scheduling using both functional and resource related agents 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 Academic Article
Editorial of the Special Issue on CSCW in Design Academic Article
Editorial of the special issue on knowledge sharing in collaborative design environments Academic Article
Editorial: Silicon debug and diagnosis Academic Article
Efficient Analysis of DynAlloy Specifications Academic Article
Efficient parallel graph trimming by arc-consistency Academic Article
Electronic Notes in Theoretical Computer Science Journal
Embeddings of Star Graphs into Optical Meshes without Bends Academic Article
Embracing the laws of physics: Three reversible models of computation 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 PSI-MI XML Collections Using DescribeX Academic Article
Exploring Tabular Verification and Refinement Academic Article
Exposing Implementation Details of Embedded DRAM Memory Controllers through Latency-based Analysis Academic Article
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic 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
Framed temporal logic programming 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
Functional documents for computer systems Academic Article
Functional feasibility analysis of variability-intensive data flow-oriented applications over highly-configurable platforms Academic Article
Fundamentals of modelling concurrency using discrete relational structures Academic Article
Future Generation Computer Systems Journal
GUEST EDITORS' INTRODUCTION Academic Article
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
Genetic algorithms in agent-based manufacturing scheduling systems 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
Grand challenges in model-driven engineering: an analysis of the state of the research 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 special section on MODELS 2018 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
Heterogeneous Notations for Pure Formal Method Integration 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
Holistic thermal-aware workload management and infrastructure control for heterogeneous data centers using machine learning Academic Article
How to Compute the Fukui Matrix and Function for Systems with (Quasi-)Degenerate States Academic Article
Hybrid surrogate model for online temperature and pressure predictions in data centers Academic Article
IEE Proceedings: Software IET Software Journal
IEEE Security and Privacy 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
IETE Journal of Research 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
Industrial Management and Data Systems Journal
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 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
Integrated Computer-Aided Engineering Journal
Integrating BON and Object-Z Academic Article
Integrating BON and Object-Z. Academic Article
Integration of sequential scenarios Conference Paper
Integration of transcriptional inputs at promoters of the arabinose catabolic pathway Academic Article
International Journal of Computer Networks and Communications Journal
International Journal of Computers and their Applications 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
Iterative criteria-based approach to engineering the requirements of software development methodologies Academic Article
Jisuanji Xuebao/Chinese Journal of Computers Journal
Joint data center cooling and workload management: A thermal-aware approach Academic Article
Journal in Computer Virology Journal
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 Supercomputing Journal
Journal of Systems Architecture Journal
Journal of Systems and Software Journal
Journal of integrative bioinformatics Journal
KNOWLEDGE-BASED REASONING ENHANCED CONTROL SYSTEM FORIN-SITUBIOREMEDIATION PROCESSES Academic Article
Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement Academic Article
Lazy Evaluation and Delimited Control Academic Article
Lessons learned from building model-driven development tools Academic Article
Leveraging live machine learning and deep sleep to support a self-adaptive efficient configuration of battery powered sensors 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
L∞-Constrained near-lossless image compression using weighted finite automata encoding Academic Article
Mapping Quantum Chemical Dynamics Problems to Spin-Lattice Simulators Academic Article
Mapping Trigger Conditions onto Trigger Units during Post-silicon Validation and Debugging Academic Article
Maximizing cover probability by using multivariate normal distributions Academic Article
Mean Residual Life Function, Associated Orderings and Properties Academic Article
Merged processes: a new condensed representation of Petri net behaviour Academic Article
Message oriented programming—A resource based methodology 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
Modelling Opacity Using Petri Nets Conference Paper
Modular array structure for non-restoring square root circuit Academic Article
Monadic encapsulation of effects: a revised approach (extended version) Academic Article
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code Academic Article
Multimedia Systems Multimedia Tools and Applications Journal
Multiple model synchronization with multiary delta lenses with amendment andK-Putput Academic Article
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
Neural network solution for a real-time no-reference video quality assessment of H.264/AVC video bitstreams Academic Article
No-reference stereo image quality assessment based on discriminative sparse representation Academic Article
NoC-Based FPGA Acceleration for Monte Carlo Simulations with Applications to SPECT Imaging Academic Article
Nonconfidential Patient Types in Emergency Clinical Decision Support Academic Article
Nonvariational Orbital Optimization Techniques for the AP1roG Wave Function Academic Article
Not by equations alone: Reasoning with extensible effects Academic Article
On Using Lossy Compression for Repeatable Experiments during Silicon Debug Academic Article
On a formal semantics of tabular expressions Academic Article
On iterative constructs Academic Article
On requirement verification for evolving Statecharts specifications Academic Article
On satisfying timing constraints in hard-real-time systems Conference Paper
On the Design and Development of Program Families 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 expressiveness of subset-sum representations Academic Article
On the universality of multipath multistage interconnection networks Academic Article
On tractability and congruence distributivity Academic Article
Ontology maintenance in high level architecture federation development and execution process Academic Article
Operations-Research-Spektrum Journal
Opportunities in intelligent modeling assistance 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
Personal assistant agents for collaborative design environments Academic Article
Petri Nets for Biologically Motivated Computing Academic Article
Point and interval estimation for Gaussian distribution, based on progressively type-II censored samples Academic Article
Point/Counterpoint Academic Article
Power-aware linear programming based scheduling for heterogeneous computer clusters Academic Article
Precise documentation of well-structured programs Academic Article
Predicate logic for software engineering Academic Article
Predictive traces in hybrid systems Conference Paper
Preface Academic Article
Preface Academic Article
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday. Academic Article
Preface to the JOT special issue containing the ECMFA 2020 selected papers. Academic Article
Principles for modeling language design Academic Article
Prinsimp Academic Article
Priority scheduling versus pre-run-time scheduling Academic Article
Program derivation by fixed point computation Academic Article
Progressive Data Retrieval for Distributed Networked Storage Academic Article
PuRSUE -from specification of robotic environments to synthesis of controllers Academic Article
Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog Conference Paper
Pyramidal modeling of geometric distortions for retargeted image quality evaluation Academic Article
Quantum Arrows in Haskell Academic Article
R Journal Journal
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 Engineering Journal
Requirements Scenarios Formalization Technique Academic Article
Requirements-based monitors for real-time systems Academic Article
Research of incoherence rotated chaotic measurement matrix in compressed sensing Academic Article
Reversible computation vs. reversibility in Petri nets Academic Article
Rigidity Driven Underwater Sensor Self-Organized Deployment Academic Article
Rigorous identification and encoding of trace-links in model-driven engineering Academic Article
Robust Inference for One-Shot Device Testing Data Under Weibull Lifetime Model Academic Article
Robust image watermarking scheme using bit-plane of hadamard coefficients Academic Article
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries Academic Article
SCO link sharing in Bluetooth voice access networks Academic Article
SECG: The SCOOP-to-Eiffel Code Generator. Academic Article
Scheduling processes with release times, deadlines, precedence and exclusion relations Academic Article
Science of Computer Programming Journal
Scientific Annals of Computer Science Journal
Sequent calculi and abstract machines Academic Article
Signature required: Making Simulink data flow and interfaces explicit Academic Article
Simple and efficient motion estimation algorithm by continuum search Academic Article
Simply Invertible Matrices Academic Article
Simulating the behavior of software modules by trace rewriting Academic Article
Simulation relations for fault-tolerance Academic Article
Single image rain/snow removal using distortion type information Academic Article
Software Structures: A Careful Look Academic Article
Software Systems Engineering programmes a capability approach Academic Article
Software Testing Verification and Reliability Journal
Software and Systems Modeling Journal
Software engineering practices and Simulink: bridging the gap Academic Article
Software engineering programs are not computer science programs Academic Article
Software tools for safety-critical software development Academic Article
Some Aspects of the Zoom Transform Academic Article
Some advanced control strategies for modern machine tools Academic Article
Special Issue on Service-Oriented Collaborative Computing and Applications Academic Article
Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014) Academic Article
Special Section: QoS in Grid and Cloud Academic Article
Special issue on Model Based Engineering for Embedded Systems Design Academic Article
Specification Patterns for Robotic Missions Academic Article
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework Academic Article
Speed-adaptive multi-copy routing for vehicular delay tolerant networks Academic Article
Stand-alone data manipulation programs Academic Article
State Space Reduction for Dynamic Process Creation 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
Study on localizability judgment in underwater sensor networks based on skeleton extraction and rigidity theory Academic Article
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
Synthesis of Petri nets with localities Academic Article
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds Academic Article
TOrPEDO: witnessing model correctness with topological proofs 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 Modular Structure of Complex Systems Academic Article
The Significance of Parameters in Charge Equilibration Models Academic Article
The Single Model Principle. Academic Article
The Tabular Method for Relational Documentation Academic Article
The crs Package: Nonparametric Regression Splines for Continuous and Categorical Predictors Academic Article
The impact of e-commerce capabilities on agricultural firms’ performance gains: the mediating role of organizational agility Academic Article
The logic of software design Academic Article
The methodology of mining cognitive maps based on data resources Academic Article
The role of inspection in software quality assurance Academic Article
Theory and Practice of Logic Programming Journal
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 cooperative distributed manufacturing management framework Academic Article
Towards a cooperative distributed manufacturing management framework 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
Translating Probability Density Functions: From R to BUGS and Back Again Academic Article
Two implementation relations and the correctness of communicating replicated processes Academic Article
Two-Phase Degradation Process Model With Abrupt Jump at Change Point Governed by Wiener Process Academic Article
Type inference in flexible model-driven engineering using classification algorithms Academic Article
Update Transformations in the Small with the Epsilon Wizard Language. Conference Paper
Use of symmetry in prediction-error field for lossless compression of 3D MRI images Academic Article
Using Net Refinement to Compute the Fixpoint of a Recursive Expression Academic Article
Using autonomous components to improve runtime qualities of software Academic Article
Using horizontal prefetching to circumvent the jump problem Academic Article
Using test oracles generated from program documentation Academic Article
Using the ratio of means as the effect size measure in combining results of microarray experiments Academic Article
Utilizing big data for batch process modeling and control Academic Article
Verification of bounded Petri nets using integer programming Academic Article
WebBlow: a Web/agent-based multidisciplinary design optimization environment Academic Article
What is a purely functional language? 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
Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations 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
glmmTMB Balances Speed and Flexibility Among Packages for Zero-inflated Generalized Linear Mixed Modeling Academic Article
“ Adore ”, a logical meta-model supporting business process evolution Academic Article
“Formal methods” technology transfer will fail Academic Article

0803 Computer Software Concept

Vocabulary Service

Overview

subject area of