Works matching DE "COMPUTER software execution"
Results: 219
The Planning Spectrum -- One, Two, Three, Infinity.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 30, p. 101, doi. 10.1613/jair.1909
- By:
- Publication type:
- Article
Incremental execution of model-to-text transformations using property access traces.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 367, doi. 10.1007/s10270-018-0666-5
- By:
- Publication type:
- Article
F-Alloy: a relational model transformation language based on Alloy.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 213, doi. 10.1007/s10270-017-0630-9
- By:
- Publication type:
- Article
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 445, doi. 10.1007/s10270-017-0612-y
- By:
- Publication type:
- Article
The Train Benchmark: cross-technology performance evaluation of continuous model queries.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1365, doi. 10.1007/s10270-016-0571-8
- By:
- Publication type:
- Article
On the automated translational execution of the action language for foundational UML.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1311, doi. 10.1007/s10270-016-0556-7
- By:
- Publication type:
- Article
Scalable process discovery and conformance checking.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 599, doi. 10.1007/s10270-016-0545-x
- By:
- Publication type:
- Article
Toward an execution system for self-healing workflows in cyber-physical systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 551, doi. 10.1007/s10270-016-0551-z
- By:
- Publication type:
- Article
WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 443, doi. 10.1007/s10270-016-0566-5
- By:
- Publication type:
- Article
Model-driven performance prediction of systems of systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 2, p. 415, doi. 10.1007/s10270-016-0547-8
- By:
- Publication type:
- Article
Refinement-based Validation of Event-B Specifications.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 3, p. 789, doi. 10.1007/s10270-016-0514-4
- By:
- Publication type:
- Article
Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 4, p. 1447, doi. 10.1007/s10270-012-0292-6
- By:
- Publication type:
- Article
A metamodel for the compact but lossless exchange of execution traces.
- Published in:
- Software & Systems Modeling, 2012, v. 11, n. 1, p. 77, doi. 10.1007/s10270-010-0180-x
- By:
- Publication type:
- Article
A Bibliometric Analysis of Publications on Customer Service Chatbots.
- Published in:
- Management Dynamics in the Knowledge Economy, 2023, v. 11, n. 1, p. 48, doi. 10.2478/mdke-2023-0004
- By:
- Publication type:
- Article
Definitive Resolution of the Shape of Geotextile Tubes: Numerical Approach Based on Pumping Pressure P<sub>0</sub>.
- Published in:
- International Review of Civil Engineering, 2019, v. 10, n. 2, p. 63, doi. 10.15866/irece.v10i2.15508
- By:
- Publication type:
- Article
Comparison of Computer Execution Time of Cornice Determinant Calculation.
- Published in:
- International Journal of Mathematics & Computer Science, 2019, v. 14, n. 1, p. 9
- By:
- Publication type:
- Article
Design of a Standard and Programmatically Accessible Interface for Smart Meters to Allow Monitoring Automation of the Energy Consumed by the Execution of Computer Software.
- Published in:
- Sustainability (2071-1050), 2023, v. 15, n. 3, p. 1900, doi. 10.3390/su15031900
- By:
- Publication type:
- Article
A Task Partitioning and Scheduling Method in P2P Network Environment.
- Published in:
- International Review on Computers & Software, 2012, v. 7, n. 7, p. 3425
- By:
- Publication type:
- Article
Recognition of Handwritten Arabic Characters by Using Reduction Techniques.
- Published in:
- International Review on Computers & Software, 2011, v. 6, n. 6, p. 918
- By:
- Publication type:
- Article
Integration of Dependability Features in a Synchronous Application.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 1, p. 31
- By:
- Publication type:
- Article
Interface Hombre-Máquina para la Estación Neumática PN-2800 de un Centro Integrado de Manufactura utilizando una Pantalla de Interface.
- Published in:
- Información Tecnológica, 2012, v. 23, n. 4, p. 83, doi. 10.4067/S0718-07642012000400010
- By:
- Publication type:
- Article
Northrop Grumman Demonstrates Broad Area Maritime Surveillance.
- Published in:
- Microwave Journal, 2007, v. 50, n. 10, p. 43
- Publication type:
- Article
A Static Approach to Prioritizing JUnit Test Cases.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1258, doi. 10.1109/TSE.2011.106
- By:
- Publication type:
- Article
Analyzing the Effect of Gain Time on Soft-Task Scheduling Policies in Real-Time Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1305, doi. 10.1109/TSE.2011.95
- By:
- Publication type:
- Article
Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 5, p. 287, doi. 10.1109/TSE.2007.1004
- By:
- Publication type:
- Article
Underground mining slurry transportation viability.
- Published in:
- International Journal of Coal Science & Technology, 2019, v. 6, n. 3, p. 430, doi. 10.1007/s40789-019-0257-2
- By:
- Publication type:
- Article
Detection of Cross-Site Scripting Attack under Multiple Scenarios.
- Published in:
- Computer Journal, 2015, v. 58, n. 4, p. 808, doi. 10.1093/comjnl/bxt133
- By:
- Publication type:
- Article
Protection Structures in Multithreaded Systems.
- Published in:
- Computer Journal, 2013, v. 56, n. 4, p. 478, doi. 10.1093/comjnl/bxs138
- By:
- Publication type:
- Article
Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime†.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 87, doi. 10.1093/comjnl/bxs019
- By:
- Publication type:
- Article
SeTPR*-tree: Efficient Buffering for Spatiotemporal Indexes Via Shared Execution.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 115, doi. 10.1093/comjnl/bxs020
- By:
- Publication type:
- Article
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 37, doi. 10.1093/comjnl/bxn075
- By:
- Publication type:
- Article
Object Models for Distributed or Persistent Programming.
- Published in:
- Computer Journal, 1997, v. 40, n. 8, p. 513, doi. 10.1093/comjnl/40.8.513
- By:
- Publication type:
- Article
Four manifestos from 'HCI for Blockchain': A 2018 CHI workshop.
- Published in:
- Ubiquity (2045-6271), 2019, v. 6, n. 1, p. 27, doi. 10.1386/ubiq_00004_7
- Publication type:
- Article
A Formal Approach to Testing Programs in Practice.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 4, p. 1469, doi. 10.2298/CSIS120301050L
- By:
- Publication type:
- Article
SMP-SIM: an SMP-based Discrete-event Execution-driven Performance Simulator.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 4, p. 1361, doi. 10.2298/CSIS120118046L
- By:
- Publication type:
- Article
Parallel Processing on Block-based Gauss- Jordan Algorithm for Desktop Grid.
- Published in:
- Computer Science & Information Systems, 2011, v. 8, n. 3, p. 739, doi. 10.2298/CSIS100907026S
- By:
- Publication type:
- Article
Testing Automation of Context-Oriented Programs Using Separation Logic.
- Published in:
- Applied Computational Intelligence & Soft Computing, 2014, p. 1, doi. 10.1155/2014/930186
- By:
- Publication type:
- Article
Detecting Implicit Security Exceptions Using an Improved Variable-Length Sequential Pattern Mining Method.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 8, p. 1235, doi. 10.1142/S0218194017500462
- By:
- Publication type:
- Article
Supporting Continuous Changes to Business Intents.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2017, v. 27, n. 8, p. 1167, doi. 10.1142/S0218194017500449
- By:
- Publication type:
- Article
SyncAS: A Virtual Block Approach to Tame Asynchronous Programming.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 5, p. 887, doi. 10.1142/S0218194015400252
- By:
- Publication type:
- Article
Reconstructing Software High-Level Architecture by Clustering Weighted Directed Class Graph.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 4, p. 701, doi. 10.1142/S0218194015500072
- By:
- Publication type:
- Article
A FAULT LOCALIZATION FRAMEWORK TO ALLEVIATE THE IMPACT OF EXECUTION SIMILARITY.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2013, v. 23, n. 7, p. 963, doi. 10.1142/S0218194013500289
- By:
- Publication type:
- Article
TIME-AWARE AND WEIGHTED FAULT SEVERITY BASED METRICS FOR TEST CASE PRIORITIZATION.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2011, v. 21, n. 1, p. 129, doi. 10.1142/S0218194011005116
- By:
- Publication type:
- Article
DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 6, p. 761, doi. 10.1142/S021819401000492X
- By:
- Publication type:
- Article
An algorithm to find critical execution paths of software based on complex network.
- Published in:
- International Journal of Modern Physics C: Computational Physics & Physical Computation, 2015, v. 26, n. 9, p. -1, doi. 10.1142/S0129183115501016
- By:
- Publication type:
- Article
11 Conjured Stories.
- Published in:
- Yellow Medicine Review, 2023, p. 251
- By:
- Publication type:
- Article
IMPLEMENTING A NEW DIFFUSION BATTERY FOR RADON PROGENY DOSE DETERMINATION.
- Published in:
- Radiation Protection Dosimetry, 2020, v. 188, n. 3, p. 311, doi. 10.1093/rpd/ncz288
- By:
- Publication type:
- Article
Effectiveness of Program Visualization: A Case Study with the ViLLE Tool.
- Published in:
- Journal of Information Technology Education: Research, 2008, v. 7, p. IIP15
- By:
- Publication type:
- Article
Efficient and Reliable Algorithms for the Computation of Non-Twist Invariant Circles.
- Published in:
- Foundations of Computational Mathematics, 2022, v. 22, n. 3, p. 791, doi. 10.1007/s10208-021-09517-9
- By:
- Publication type:
- Article
Special issue on best papers of VLDB 2016.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2018, v. 27, n. 5, p. 593, doi. 10.1007/s00778-018-0520-y
- By:
- Publication type:
- Article