Works matching DE "PROGRAMMING language semantics"

Results: 241

On the Interpretation of Denotational Semantics.

Published in:

Philosophies, 2025, v. 10, n. 3, p. 54, doi. 10.3390/philosophies10030054

By:

Cardone, Felice

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:

Turner, Raymond

Publication type:

Article

Composition-nominative aspects of address programming.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 864, doi. 10.1007/s10559-009-9159-4

By:

Nikitchenko, M.

Publication type:

Article

Properties of a relational framework synthesized over a set of semantically atomic predicates.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 1008, doi. 10.1007/s10559-009-9165-6

By:

Panchenko, B.;
Pysanko, I.

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:

Aygün, Halis;
Güner, Elif;
Miñana, Juan-José;
Valero, Oscar

Publication type:

Article

Preface to special issue: EXPRESS/SOS 2016 + 2017.

Published in:

2020

By:

Peters, Kirstin;
Tini, Simone

Publication type:

Editorial

A trace-based service semantics guaranteeing deadlock freedom.

Published in:

Acta Informatica, 2012, v. 49, n. 2, p. 69, doi. 10.1007/s00236-012-0151-5

By:

Stahl, Christian;
Vogler, Walter

Publication type:

Article

Dual unbounded nondeterminacy, recursion, and fixpoints.

Published in:

Acta Informatica, 2007, v. 44, n. 5, p. 323, doi. 10.1007/s00236-007-0049-9

By:

Morris, Joseph;
Tyrrell, Malcolm

Publication type:

Article

Computational complexity via programming languages: constant factors do matter.

Published in:

Acta Informatica, 2000, v. 37, n. 2, p. 83, doi. 10.1007/s002360000038

By:

Ben-Amram, Amir M.;
Jones, Neil D.

Publication type:

Article

Semantic representations for knowledge modelling of a Natural Language Interface to Databases using ontologies.

Published in:

International Journal of Combinatorial Optimization Problems & Informatics, 2015, v. 6, n. 2, p. 28

By:

González, Juan J.;
Florencia-Juarez, Rogelio;
Fraire, Héctor J.;
Pazos, Rodolfo A.;
Cruz-Reyes, Laura;
Gómez, Claudia

Publication type:

Article

Data Management Systems versus Data Warehousing - What Really Matters.

Published in:

Drug Development, 2010, v. 5, p. 44

By:

Fritz, Norbert;
Mauron, Charlotte

Publication type:

Article

CHAMELEON: AN ADAPTIVE INSTRUCTIONAL IDE.

Published in:

Journal of Information Systems Technology & Planning, 2010, v. 3, n. 6, p. 42

By:

Shomper, Keith A.;
Erikson, Mark P.

Publication type:

Article

Improved Chinese Sentence Semantic Similarity Calculation Method Based on Multi-Feature Fusion.

Published in:

Journal of Advanced Computational Intelligence & Intelligent Informatics, 2021, v. 25, n. 4, p. 442, doi. 10.20965/jaciii.2021.p0442

By:

Liu, Liqi;
Wang, Qinglin;
Li, Yuan

Publication type:

Article

COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 801, doi. 10.1142/S012905411100843X

By:

COLLINS, PIETER;
ZAPREEV, IVAN S.;
Bournez, Oliver;
Potapov, Igor

Publication type:

Article

AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 119, doi. 10.1142/S0129054111007885

By:

BARBUTI, ROBERTO;
MAGGIOLO-SCHETTINI, ANDREA;
MILAZZO, PAOLO;
TINI, SIMONE;
Pérez-Jiménez, Mario J.

Publication type:

Article

Exploring the intersection of algebraic and computational thinking.

Published in:

Mathematical Thinking & Learning, 2021, v. 23, n. 2, p. 170, doi. 10.1080/10986065.2020.1779012

By:

Bråting, Kajsa;
Kilhamn, Cecilia

Publication type:

Article

Secure dissemination of software updates for intelligent mobility in future wireless networks.

Published in:

EURASIP Journal on Wireless Communications & Networking, 2016, v. 2016, n. 1, p. 1, doi. 10.1186/s13638-016-0746-6

By:

Lee, JongHyup;
Kwon, Taekyoung

Publication type:

Article

Mix and mash.

Published in:

ITNOW, 2007, v. 49, n. 3, p. 14, doi. 10.1093/itnow/bwl132

By:

Davies, John

Publication type:

Article

Realizing Operational Planning and Assessment in the Twenty-First-Century Air Operations Center.

Published in:

Air & Space Power Journal, 2013, v. 27, n. 3, p. 64

By:

Thompson, Redvers T.

Publication type:

Article

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:

Combemale, Benoit;
Gray, Jeff;
Jézéquel, Jean-Marc;
Rumpe, Bernhard

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:

Cheng, Zheng;
Monahan, Rosemary;
Power, James F.

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:

Gerth, Christian;
Küster, Jochen;
Luckey, Markus;
Engels, Gregor

Publication type:

Article

Specifying business rules in object-oriented analysis.

Published in:

Software & Systems Modeling, 2005, v. 4, n. 3, p. 297, doi. 10.1007/s10270-004-0064-z

By:

Devos, Frank;
Steegmans, Eric

Publication type:

Article

Unifying classes and processes.

Published in:

Software & Systems Modeling, 2005, v. 4, n. 3, p. 277, doi. 10.1007/s10270-005-0085-2

By:

Cavalcanti, Ana;
Sampaio, Augusto;
Woodcock, Jim

Publication type:

Article

Problem frame semantics for software development.

Published in:

Software & Systems Modeling, 2005, v. 4, n. 2, p. 189, doi. 10.1007/s10270-004-0062-1

By:

Hall, Jon G.;
Rapanotti, Lucia;
Jackson, Michael

Publication type:

Article

PROOF OF EQUIVALENCE OF SEMANTIC METHODS FOR A SELECTED DOMAIN-SPECIFIC LANGUAGE.

Published in:

Journal of Applied Mathematics & Computational Mechanics, 2024, v. 23, n. 2, p. 79, doi. 10.17512/jamcm.2024.2.07

By:

Steingartner, William;
Novitzká, Valerie;
Schreiner, Wolfgang

Publication type:

Article

A COMPARISON OF BIG-STEP SEMANTICS DEFINITION STYLES.

Published in:

Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica, 2024, v. 57, p. 117, doi. 10.71352/ac.57.141

By:

Bereczky, Péter;
Horpácsi, Dániel;
Thompson, Simon

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:

Song, JaeSeung;
Cadar, Cristian;
Pietzuch, Peter

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:

Bartoletti, Massimo;
Degano, Pierpaolo;
Ferrari, Gian Luigi;
Zunino, Roberto

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:

Strein, Dennis;
Lincke, Rüdiger;
Lundberg, Jonas;
Löwe, Welf

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:

Kung-Kiu Lau;
Zheng Wang

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:

Chao Liu;
Long Fei;
Xifeng Yan;
Jiawei Han;
Midkiff, Samuel P.

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:

Mori, Giulio;
Paternò, Fabio;
Santoro, Carmen

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:

Cheng, Betty H.C.;
Wang, Enoch Y.

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:

Paulo, Fabiano Borges;
Masiero, Paulo Ceasar;
de Oliveira, Maria Cristina Ferreira

Publication type:

Article

MATCHING EXACTLY OR SEMANTICALLY? AN EXAMINATION OF THE EFFECTIVENESS OF SYNONYM-BASED MATCHING STRATEGY IN CHINESE PAID SEARCH MARKET.

Published in:

Journal of Electronic Commerce Research, 2017, v. 18, n. 1, p. 32

By:

Shuai Yang;
Yiping Song;
Pancras, Joseph

Publication type:

Article

Multilanguage Semantic Interoperability in Distributed Applications.

Published in:

Journal of Engineering (2314-4912), 2013, p. 1, doi. 10.1155/2013/182525

By:

Poggi, Agostino;
Tomaiuolo, Michele

Publication type:

Article

Exploring college students' conceptions of learning computer science: a draw-a-picture technique study.

Published in:

Computer Science Education, 2021, v. 31, n. 1, p. 60, doi. 10.1080/08993408.2020.1783155

By:

Xu, Zhen;
Ritzhaupt, Albert D.;
Umapathy, Karthikeyan;
Ning, Yang;
Tsai, Chin-Chung

Publication type:

Article

Categorizing student software designs: Methods, results, and implications.

Published in:

Computer Science Education, 2006, v. 16, n. 3, p. 197, doi. 10.1080/08993400600912376

By:

Eckerdal, Anna;
McCartney, Robert;
Moström, Jan Erik;
Ratcliffe, Mark;
Zander, Carol

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:

Ghasab, Ehsan Lotfali;
Chaharpashlou, Reza;
Lopes, António M.

Publication type:

Article

ADVANTAGES OF SEMANTIC WEB TECHNOLOGIES IN THE KNOWLEDGE BASED SOCIETY.

Published in:

Scientific Annals of the 'Alexandru Ioan Cuza' University of Iasi: Economic Sciences Series, 2010, p. 417

By:

Varlan, Simona Elena

Publication type:

Article

Modal dependence logics: axiomatizations and model-theoretic properties.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 773, doi. 10.1093/jigpal/jzx023

By:

FAN YANG

Publication type:

Article

Decidability of interpretability logics ILM<sub>0</sub> and ILW.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 5, p. 758, doi. 10.1093/jigpal/jzx027

By:

MIKEC, LUKA;
PERKOV, TIN;
VUKOVIĆ, MLADEN

Publication type:

Article

Tool Support for fUML Models.

Published in:: International Journal of Computers, Communications & Control, 2010, v. 5, n. 5, p. 775, doi. 10.15837/ijccc.2010.5.2237
Publication type:: Article

Efficient Querying of Web Services Using Ontologies.

Published in:

Journal of Algorithms & Computational Technology, 2010, v. 4, n. 4, p. 575, doi. 10.1260/1748-3018.4.4.575

By:

Saravanan, K.;
Kripeshwari, S.;
Thangavelu, Arunkumar

Publication type:

Article

Semantic Evaluation and Deformation of Curves Based on Aesthetic Criteria.

Published in:

Computer-Aided Design & Applications, 2011, v. 8, n. 3, p. 449, doi. 10.3722/cadaps.2011.449-464

By:

Giannini, Franca;
Montani, Erika;
Monti, Marina;
Pernot, Jean-Philippe

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:

Pradhan, Sameer S.;
Ward, Wayne;
Martin, James H.

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:

Punyakanok, Vasin;
Roth, Dan;
Wen-tau Yih

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:

Moschitti, Alessandro;
Pighin, Daniele;
Basili, Roberto

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:

Toutanova, Kristina;
Haghighi, Aria;
Manning, Christopher D.

Publication type:

Article