Works matching DE "PROGRAMMING language semantics"
Results: 235
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 5, p. 1053, doi. 10.1007/s10270-024-01210-z
- By:
- Publication type:
- Article
Formalised EMFTVM bytecode language for sound verification of model transformations.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1197, doi. 10.1007/s10270-016-0553-x
- By:
- Publication type:
- Article
Detection and resolution of conflicting change operations in version management of process models.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 3, p. 517, doi. 10.1007/s10270-011-0226-8
- By:
- Publication type:
- Article
Understanding Programming Languages.
- Published in:
- Minds & Machines, 2007, v. 17, n. 2, p. 203, doi. 10.1007/s11023-007-9062-6
- By:
- Publication type:
- Article
Attribute dependencies for data with grades I.
- Published in:
- International Journal of General Systems, 2016, v. 45, n. 7/8, p. 864, doi. 10.1080/03081079.2016.1205711
- By:
- Publication type:
- Article
<sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 7, p. 695, doi. 10.1109/TSE.2014.2323977
- By:
- Publication type:
- Article
Fuzzy Partial Metric Spaces and Fixed Point Theorems.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 17, p. 3092, doi. 10.3390/math10173092
- By:
- Publication type:
- Article
Solving a System of Integral Equations in Rectangular Menger Probabilistic Metric Spaces and Rectangular Menger Probabilistic b -Metric Spaces.
- Published in:
- Symmetry (20738994), 2023, v. 15, n. 1, p. 70, doi. 10.3390/sym15010070
- By:
- Publication type:
- Article
Introduction to the focussed issue on Semantic Digital Archives.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
The language of social software.
- Published in:
- Synthese, 2010, v. 177, p. 77, doi. 10.1007/s11229-010-9766-7
- By:
- Publication type:
- Article
Intelligent Agents for a Semantic Mediation of Information Systems.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 2, p. 170
- By:
- Publication type:
- Article
A Multimodal Constellation Model for Object Image Classification.
- Published in:
- EURASIP Journal on Image & Video Processing, 2010, v. 2010, p. 1, doi. 10.1155/2010/426781
- Publication type:
- Article
Towards Robust Semantic Role Labeling.
- Published in:
- Computational Linguistics, 2008, v. 34, n. 2, p. 289, doi. 10.1162/coli.2008.34.2.289
- By:
- Publication type:
- Article
The Importance of Syntactic Parsing and Inference in Semantic Role Labeling.
- Published in:
- Computational Linguistics, 2008, v. 34, n. 2, p. 257, doi. 10.1162/coli.2008.34.2.257
- By:
- Publication type:
- Article
Tree Kernels for Semantic Role Labeling.
- Published in:
- Computational Linguistics, 2008, v. 34, n. 2, p. 193, doi. 10.1162/coli.2008.34.2.193
- By:
- Publication type:
- Article
A Global Joint Model for Semantic Role Labeling.
- Published in:
- Computational Linguistics, 2008, v. 34, n. 2, p. 161, doi. 10.1162/coli.2008.34.2.161
- By:
- Publication type:
- Article
Verification of Complex Real-time Systems Using Rewriting Logic.
- Published in:
- Journal of Computing & Information Technology, 2009, v. 17, n. 3, p. 265, doi. 10.2498/cit.1001272
- By:
- Publication type:
- Article
IBM, SGI Earn Top Bragging Rights at SC2004 Conference.
- Published in:
- Bio-IT World, 2004, v. 3, n. 12, p. 32
- By:
- Publication type:
- Article
Getting the Gobbledygook Out of Data Sharing.
- Published in:
- Bio-IT World, 2004, v. 3, n. 12, p. 1
- By:
- Publication type:
- Article
Modeling and detecting semantic-based interactions in aspect-oriented scenarios.
- Published in:
- Requirements Engineering, 2010, v. 15, n. 2, p. 197, doi. 10.1007/s00766-010-0098-4
- By:
- Publication type:
- Article
Semantics-Based Design for Secure Web Services.
- Published in:
- IEEE Transactions on Software Engineering, 2008, v. 34, n. 1, p. 33, doi. 10.1109/TSE.2007.70740
- By:
- Publication type:
- Article
An Extensible Metamodel for Program Analysis.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 12, p. 799, doi. 10.1109/TSE.2007.70759
- By:
- Publication type:
- Article
Software Component Models.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 10, p. 709, doi. 10.1109/TSE.2007.70726
- By:
- Publication type:
- Article
Statistical Debugging: A Hypothesis Testing-Based Approach.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 10, p. 831, doi. 10.1109/TSE.2006.105
- By:
- Publication type:
- Article
CTTE: Support for Developing and Analyzing Task Models for Interactive System Design.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 797, doi. 10.1109/TSE.2002.1027801
- By:
- Publication type:
- Article
Formalizing and Integrating the Dynamic Model for Object-Oriented Modeling.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 8, p. 747, doi. 10.1109/TSE.2002.1027798
- By:
- Publication type:
- Article
Hypercharts: Extended Statecharts to Support Hypermedia Specification.
- Published in:
- IEEE Transactions on Software Engineering, 1999, v. 25, n. 1, p. 33, doi. 10.1109/32.748917
- By:
- Publication type:
- Article
Kuaba approach: Integrating formal semantics and design rationale representation to support design reuse.
- Published in:
- AI EDAM, 2008, v. 22, n. 4, p. 399, doi. 10.1017/S0890060408000279
- Publication type:
- Article
Semantic Specification of Data Types for a World of Open Data.
- Published in:
- ISPRS International Journal of Geo-Information, 2016, v. 5, n. 3, p. 38, doi. 10.3390/ijgi5030038
- By:
- Publication type:
- Article
Towards Efficient Stabilizing Code Dissemination in Wireless Sensor Networks.
- Published in:
- Computer Journal, 2014, v. 57, n. 12, p. 1790, doi. 10.1093/comjnl/bxt110
- By:
- Publication type:
- Article
Speeding Up Inference for Probabilistic Logic Programs.
- Published in:
- Computer Journal, 2014, v. 57, n. 3, p. 347, doi. 10.1093/comjnl/bxt096
- By:
- Publication type:
- Article
A Performance Optimization Mechanism for SSD in Virtualized Environment.
- Published in:
- Computer Journal, 2013, v. 56, n. 8, p. 991, doi. 10.1093/comjnl/bxt041
- By:
- Publication type:
- Article
Program Analysis Probably Counts.
- Published in:
- Computer Journal, 2010, v. 53, n. 6, p. 871, doi. 10.1093/comjnl/bxp033
- By:
- Publication type:
- Article
A Modal Logic for Full LOTOS based on Symbolic Transition Systems.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 55, doi. 10.1093/comjnl/45.1.55
- By:
- Publication type:
- Article
Relating Event and Trace Semantics of Hardware Description Languages.
- Published in:
- Computer Journal, 2002, v. 45, n. 1, p. 27, doi. 10.1093/comjnl/45.1.27
- By:
- Publication type:
- Article
A Logical Model for Information Retrieval based on Propositional Logic and Belief Revision.
- Published in:
- Computer Journal, 2001, v. 44, n. 5, p. 410, doi. 10.1093/comjnl/44.5.410
- By:
- Publication type:
- Article
Dynamic SEOF: An Adaptable Object Prefetch Policy for Object-oriented Database Systems.
- Published in:
- Computer Journal, 2000, v. 43, n. 6, p. 524, doi. 10.1093/comjnl/43.6.524
- By:
- Publication type:
- Article
Review: Book Review.
- Published in:
- 1998
- By:
- Publication type:
- Book Review
Review: Book Review.
- Published in:
- 1997
- By:
- Publication type:
- Book Review
Distributed Programming with a Logic Channel-based Coordination Model.
- Published in:
- Computer Journal, 1996, v. 39, n. 10, p. 876, doi. 10.1093/comjnl/39.10.876
- By:
- Publication type:
- Article
Using Part-of-Speech Tags as Deep-Syntax Indicators in Determining Short-Text Semantic Similarity.
- Published in:
- Computer Science & Information Systems, 2015, v. 12, n. 1, p. 1, doi. 10.2298/CSIS131127082B
- By:
- Publication type:
- Article
Specification of Data Schema Mappings using Weaving Models.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 2, p. 539, doi. 10.2298/CSIS110823010A
- By:
- Publication type:
- Article
Model Transformations to Bridge Concrete and Abstract Syntax of Web Rule Languages.
- Published in:
- Computer Science & Information Systems, 2009, v. 6, n. 2, p. 47, doi. 10.2298/CSIS0902047M
- By:
- Publication type:
- Article
Mapping Modern JVM Language Code to Analysis-Friendly Graphs: A Study with Kotlin.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 11/12, p. 1667, doi. 10.1142/S0218194022500735
- By:
- Publication type:
- Article
ENHANCING OWL ONTOLOGIES WITH RELATION SEMANTICS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2008, v. 18, n. 3, p. 327, doi. 10.1142/S0218194008003660
- By:
- Publication type:
- Article
SLICING EXECUTION FOR MODEL CHECKING C PROGRAMS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2006, v. 16, n. 5, p. 747, doi. 10.1142/S0218194006002987
- By:
- Publication type:
- Article
Semantics, Metadata, Geographical Information and Users.
- Published in:
- 2008
- By:
- Publication type:
- Editorial
A Model for Enhancing Algorithmic Thinking in Programming Education using PAAM.
- Published in:
- International Journal of Interactive Mobile Technologies, 2021, v. 15, n. 9, p. 37, doi. 10.3991/ijim.v15i09.20617
- By:
- Publication type:
- Article
Sharing Service Semantics using SOAP-Based and REST Web Services.
- Published in:
- IT Professional, 2006, v. 8, n. 2, p. 18, doi. 10.1109/MITP.2006.48
- By:
- Publication type:
- Article
Semantics in Service Discovery and QoS Measurement.
- Published in:
- IT Professional, 2005, v. 7, n. 2, p. 29, doi. 10.1109/MITP.2005.41
- By:
- Publication type:
- Article