|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18708 occurrences of 5441 keywords
|
|
|
Results
Found 36096 publication records. Showing 36096 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Allen Renear, David Dubin, C. M. Sperberg-McQueen |
Towards a semantics for XML markup. |
ACM Symposium on Document Engineering |
2002 |
DBLP DOI BibTeX RDF |
XML, semantics, knowledge representation, SGML, markup |
32 | Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
UML semantics, extension mechanisms, dynamic meta modeling, multimedia, graph transformation |
32 | Pavel Krcál, Radek Pelánek |
On Sampled Semantics of Timed Systems. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Richard B. Kieburtz |
Implementing Closed Domain-Specific Languages. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Cees Witteveen, Wiebe van der Hoek |
Revising and Updating Using a Back-Up Semantics. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
Updating, Nonmonotonic Reasoning, Theory Revision |
32 | Teodor C. Przymusinski |
Semantics of Disjunctive Logic Programs and Deductive Databases. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Hanne Gottliebsen, Kristoffer H. Rose |
Converting between Combinatory Reduction Systems and Big Step Semantics. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Sven Herschel, Ralf Heese, Jens Bleiholder, Christian Czekay |
An Architecture for Emergent Semantics. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Huiyong Xiao, Isabel F. Cruz |
Integrating and Exchanging XML Data Using Ontologies. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Nectaria Tryfona, Dieter Pfoser |
Data Semantics in Location-Based Services. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Jim Alves-Foss, Fong Shing Lam |
Dynamic Denotational Semantics of Java. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
32 | S. Kamal Abdali, David S. Wise |
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
31 | Louise Guthrie |
The Semantics of Semantics in Language Processing. |
TSD |
2009 |
DBLP DOI BibTeX RDF |
|
31 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
On the Unification of Process Semantics: Observational Semantics. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen |
From Algebraic Semantics to Denotational Semantics for Verilog. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Pascal Hitzler, Matthias Wendt |
The Well-Founded Semantics Is a Stratified Fitting Semantics. |
KI |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Giacobazzi |
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. |
STACS |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Stefan Brass, Jürgen Dix, Teodor C. Przymusinski |
Super logic programs. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models |
31 | Max J. Egenhofer |
Toward the semantic geospatial web. |
ACM-GIS |
2002 |
DBLP DOI BibTeX RDF |
semantic geospatial web, semantic spatial web, spatial information geographic information systems, semantics |
31 | Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt |
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web. |
J. Data Semantics |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling |
31 | Rik Eshuis, Juliane Dehnert |
Reactive Petri Nets for Workflow Modeling. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Fei Xie, James C. Browne, Robert P. Kurshan |
Translation-Based Compositional Reasoning for Software Systems. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Translation-based compositional reasoning, model checking, compositional reasoning, model translation |
31 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Hai H. Wang, Jun Sun 0001 |
Reasoning About ORA-SS Data Models Using the Semantic Web. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
ORA-SS, Semantic Web, Formal Verification, Semistructured Data, Ontology Web Language |
30 | Ivan Kramosil |
Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
First-order predicate calculus, Standard semantics, Boolean-like semantics, Frequentistic semantics, Completeness theorems |
30 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A declarative semantics for Bousi~Prolog. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics |
30 | Nivedita R. Kadaba, Pourang Irani, Jason Leboe |
Visualizing Causal Semantics Using Animations. |
IEEE Trans. Vis. Comput. Graph. |
2007 |
DBLP DOI BibTeX RDF |
animated graphs, visualizing cause and effect, graph semantics, visualization, semantics, perception, Causality |
30 | Mohammad Reza Mousavi 0001, Michel A. Reniers |
Orthogonal Extensions in Structural Operational Semantics. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality |
30 | Michael von der Beeck |
A structured operational semantics for UML-statecharts. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts |
30 | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001 |
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints |
30 | Piero Fraternali, Letizia Tanca |
A Structured Approach for the Definition of the Semantics of Active Databases. |
ACM Trans. Database Syst. |
1995 |
DBLP DOI BibTeX RDF |
database rule processing, semantics, events, rules, active database systems, fixpoint semantics |
30 | Bernd J. Krämer, Luqi, Valdis Berzins |
Compositional Semantics of a Real-Time Prototyping Language. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior |
30 | Maurizio Gabbrielli, Maria Chiara Meo |
A compositional semantics for CHR. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Semantics |
30 | Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 |
Well-Founded and Partial Stable Semantics Logical Aspects. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics |
30 | Daniel A. Sadilek |
Prototyping domain-specific language semantics. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
language engineering, domain-specific languages, metamodelling, operational semantics |
30 | Xinguo Yu, Xin Yan 0001, Liyuan Li, Hon Wai Leong |
An instant semantics acquisition system of live soccer video with application to live event alert and on-the-fly language selection. |
CIVR |
2008 |
DBLP DOI BibTeX RDF |
Gamelog, icon-based input, instant semantics acquisition, live event alert, on-the-fly language selection, sports video |
30 | Xi-Shun Zhao, Yu-Ping Shen |
Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program |
30 | Ben Denckla |
Many cyclic block diagrams do not need parallel semantics. |
ACM SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
semantics, haskell, Haskell, esterel, block diagrams, ptolemy |
30 | Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury |
Formal semantics of weak references. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
weak references, garbage collection, formal semantics |
30 | Andrew Butterfield, Jim Woodcock 0001 |
prialt in Handel-C: an operational semantics. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Operational semantics, Priority, Handel-C |
30 | Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin |
Almost ASAP semantics: from timed models to timed implementations. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Timed and Hybrid Automata, Verification, Semantics, Implementability |
30 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Abstract Operational Semantics for Use Case Maps. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps |
30 | Sabine Glesner, Wolf Zimmermann |
Natural semantics as a static program analysis framework. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics |
30 | Fausto Spoto, Thomas P. Jensen |
Class analyses as abstract interpretations of trace semantics. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Abstract interpretation, denotational semantics, class analysis |
30 | Miroslaw Truszczynski |
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
logic here-and-there, answer-set programming, Stable models |
30 | Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc |
Single global lock semantics in a weakly atomic STM. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
Java |
30 | Franco Turini |
The Semantics of Ugo Montanari. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Mila E. Majster-Cederbaum, Christoph Minnameier |
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses |
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001 |
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian |
The PARK Semantics for Active Rules. |
EDBT |
1996 |
DBLP DOI BibTeX RDF |
|
30 | John S. Schlipf |
The Expressive Powers of the Logic Programming Semantics. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Leivant |
Structural Semantics for Polymorphic Data Types. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
30 | Pasquale De Meo, Giovanni Quattrone, Giorgio Terracina, Domenico Ursino |
Semantics-Guided Clustering of Heterogeneous XML Schemas. |
J. Data Semantics |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Egon Börger, Wolfram Schulte |
A Programmer Friendly Modular Definition of the Semantics of Java. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Pieter H. Hartel, Michael J. Butler, Moshe Levy |
The Operational Semantics of a Java Secure Processor. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
30 | John W. Gray |
Initial Algebra Semantics for Lambda Calculi. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Martin R. Raskovsky, Philip A. Collier |
From standard to implementation denotational semantics. |
Semantics-Directed Compiler Generation |
1980 |
DBLP DOI BibTeX RDF |
|
29 | Huibiao Zhu, Fan Yang, Jifeng He 0001, Jonathan P. Bowen, Jeff W. Sanders |
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking |
29 | Roberto Giacobazzi, Isabella Mastroeni |
Compositionality in the puzzle of semantics. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation |
29 | Klaus-Dieter Schewe, Bernhard Thalheim |
Semantics in Data and Knowledge Bases. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Esteban Zimányi, Sabri Skhiri dit Gabouje |
Semantic Visualization of Biochemical Databases. |
ICSNW |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Véronique Royer |
Transformations of denotational semantics in semantics directed compiler generation. |
SIGPLAN Symposium on Compiler Construction |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli |
New Semantic Tools for Logic Programming. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
logic programming, operational semantics, declarative semantics |
28 | Roberto Gorrieri, Ugo Montanari |
Distributed Implementation of CCS. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics |
28 | Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang |
On the formal definition of ADA. |
Semantics-Directed Compiler Generation |
1980 |
DBLP DOI BibTeX RDF |
semantics, Programming Languages, programming environment |
28 | Frank DeRemer, Richard Jüllig |
Tree-affix dendrogrammars for languages and compilers. |
Semantics-Directed Compiler Generation |
1980 |
DBLP DOI BibTeX RDF |
context-sensitive syntax, affix grammars, language specification, attribute grammars, compiler generation, abstract syntax, static semantics, concrete syntax, translator writing system |
28 | Avigdor Gal, Maria Vanina Martinez, Gerardo I. Simari, V. S. Subrahmanian |
Aggregate Query Answering under Uncertain Schema Mappings. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki |
View selection for real conjunctive queries. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Emad Saad, Enrico Pontelli |
Hybrid Probabilistic Logic Programs with Non-monotonic Negation. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Rik Eshuis, Roel J. Wieringa |
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Patrick Cousot |
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik |
Type Checking Evolving Languages with MSOS. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Marko Brunzel, Myra Spiliopoulou |
Discovering Groups of Sibling Terms from Web Documents with XTREEM-SG. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Don Syme |
Proving Java Type Soundness. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Tye Rattenbury, Nathaniel Good, Mor Naaman |
Towards automatic extraction of event and place semantics from flickr tags. |
SIGIR |
2007 |
DBLP DOI BibTeX RDF |
event identification, place identification, tag semantics, word semantics, tagging systems |
27 | Juliusz Chroboczek |
Game Semantics and Subtyping. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
Semantics, Type Systems, Game Semantics |
27 | Volker Haarslev |
Formal Semantics of Visual Languages using Spatial Reasoning. |
VL |
1995 |
DBLP DOI BibTeX RDF |
qualitative spatial relationships, description logic theory, convex regions, semantics specifications, Pictorial Janus, graphical theorem proving, formal specification, visual programming, visual languages, visual languages, formal semantics, algebraic specification, spatial reasoning, spatial reasoning, points, automatic verification, lines, spatial logic, visual reasoning, geometrical objects |
27 | Isabelle Attali, Denis Caromel, Andrew L. Wendelborn |
From a formal dynamic semantics of Sisal to a Sisal environment. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines |
27 | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001 |
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages |
27 | Christian Körner, Dominik Benz, Andreas Hotho, Markus Strohmaier, Gerd Stumme |
Stop thinking, start tagging: tag semantics emerge from collaborative verbosity. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
semantics, tagging, folksonomies, pragmatics, user characteristics |
27 | Lenwood S. Heath, Allan A. Sioson |
Semantics of Multimodal Network Models. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
Multimodal network, biot, graph, hypergraph, denotational semantics, mode, biological networks, biological model |
27 | Keita Fujii, Tatsuya Suda |
Semantics-based context-aware dynamic service composition. |
ACM Trans. Auton. Adapt. Syst. |
2009 |
DBLP DOI BibTeX RDF |
service oriented framework, context-aware, semantics, Dynamic service composition |
27 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Operational Semantics for Declarative Networking. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, programming language semantics, Declarative networking |
27 | Baba Piprani |
Towards a Common Platform to Support Business Processes, Services and Semantics. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
TR9007, SOA, Semantics, Services, Business process, Conceptual Schema, ORM |
27 | Robert J. Simmons, Frank Pfenning |
Linear logical approximations. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
bottom-up linear logic programming, abstract interpretation, operational semantics |
27 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, Malware detection, trace semantics |
27 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures |
27 | Christie Bolton, Jim Davies |
A singleton failures semantics for Communicating Sequential Processes. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types |
27 | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip |
An operational semantics and type safety prooffor multiple inheritance in C++. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
semantics, C++, type safety, multiple inheritance |
27 | Jin Li 0008, De-chen Zhan, Zhongjie Wang |
A Feature-Based Semantics Model of Reusable Component. |
APWeb Workshops |
2006 |
DBLP DOI BibTeX RDF |
Semantics, Component, Feature |
27 | Alberto Verdejo, Narciso Martí-Oliet |
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude |
27 | Sara Cohen, Yaron Kanza, Benny Kimelfeld, Yehoshua Sagiv |
Interconnection semantics for keyword search in XML. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
interconnection semantics, XML, keyword search |
27 | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny |
Semantics of Framed Temporal Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
Temporal logic programming, semantics, framing, monotonicity, minimal model |
27 | Eric Louie, Tsau Young Lin |
Semantics and Syntactic Patterns in Data. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
interesting-ness, undirected association rules, Data mining, semantics, isomorphism |
27 | Shuly Wintner |
On the Semantics of Unification Grammars. |
Grammars |
2003 |
DBLP DOI BibTeX RDF |
unification grammars, modularity, semantics of programming languages |
27 | Alberto Verdejo |
Building Tools for LOTOS Symbolic Semantics in Maude. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language |
27 | Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
UML meta model, precise behavioral semantics, graph transformation, statechart diagrams |
27 | John Hannan |
Operational Semantics-Directed Compilers and Machine Architectures. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
pass separation, semantics-based compilation, abstract machines |
27 | Jianhua Chen 0003 |
The BLM semantics may be inconsistent. |
ACM Southeast Regional Conference |
1992 |
DBLP DOI BibTeX RDF |
Logic program, Consistency, Declarative semantics, Derived rules |
27 | Christian Dimitrovici, Udo Hummert, Laure Petrucci |
Semantics, composition and net properties of algebraic high-level nets. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms |
Displaying result #101 - #200 of 36096 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|