0803 Computer Software
Concept
Vocabulary Service
Overview
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