Search results for "semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Silvio Peroni, Aldo Gangemi, Fabio Vitali	Dealing with markup semantics.	I-SEMANTICS	2011	DBLP DOI BibTeX RDF
27	Manolis Wallace, Ioannis Anagnostopoulos, Phivos Mylonas, Mária Bieliková	Semantics in Adaptive and Personalized Services: Methods, Tools and Applications.	Semantics in Adaptive and Personalized Services	2010	DBLP DOI BibTeX RDF
27	Alena Kovárová, Lucia Szalayová	Semantics in the Field of Widgets: A Case Study in Public Transportation Departure Notifications.	Semantics in Adaptive and Personalized Services	2010	DBLP DOI BibTeX RDF
27	Keye Martin, Michael W. Mislove	10232 Report - The Semantics of Information.	The Semantics of Information	2010	DBLP BibTeX RDF
27	Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz	10252 Executive Summary - Game Semantics and Program Verification.	Game Semantics and Program Verification	2010	DBLP BibTeX RDF
27	Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz	10252 Abstracts Collection - Game Semantics and Program Verification.	Game Semantics and Program Verification	2010	DBLP BibTeX RDF
27	Irene Celino, Francesco Corcoglioniti	Towards the formalization of interaction semantics.	I-SEMANTICS	2010	DBLP DOI BibTeX RDF
27	Stamatia Dasiopoulou, Ioannis Kompatsiaris, Michael G. Strintzis	Applying Fuzzy DLs in the Extraction of Image Semantics.	J. Data Semantics	2009	DBLP DOI BibTeX RDF
27	Olga De Troyer, Wesley Bille, Frederic Kleinermann	Defining the Semantics of Conceptual Modeling Concepts for 3D Complex Objects in Virtual Reality.	J. Data Semantics	2009	DBLP DOI BibTeX RDF
27	Sandipto Banerjee, Karen C. Davis	Modeling Data Warehouse Schema Evolution over Extended Hierarchy Semantics.	J. Data Semantics	2009	DBLP DOI BibTeX RDF
27	Chen Wu 0001, Vidyasagar M. Potdar, Elizabeth Chang 0001	Latent Semantic Analysis - The Dynamics of Semantics Web Services Discovery.	Advances in Web Semantics I	2009	DBLP DOI BibTeX RDF
27	Maja Hadzic, Elizabeth Chang 0001	Web Semantics for Intelligent and Dynamic Information Retrieval Illustrated within the Mental Health Domain.	Advances in Web Semantics I	2009	DBLP DOI BibTeX RDF
27	Ana Karla Alves de Medeiros, Wil M. P. van der Aalst	Process Mining towards Semantics.	Advances in Web Semantics I	2009	DBLP DOI BibTeX RDF
27	Kevin Lano	The Role of Semantics.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Hong Zhu 0002, Lijun Shan, Ian Bayley, Richard Amphlett	Formal Descriptive Semantics of UML and Its Applications.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Kevin Lano, David Clark 0001	Axiomatic Semantics of State Machines.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Kevin Lano	Axiomatic Semantics of UML Class Diagrams.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Anneke Kleppe	Object Constraint Language: Metamodeling Semantics.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Kevin Lano	Semantics of Activity Diagrams.	UML 2 Semantics and Applications	2009	DBLP DOI BibTeX RDF
27	Bartek Klin	Structural Operational Semantics for Weighted Transition Systems.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
27	Amal Ahmed 0001, Nick Benton, Martin Hofmann 0001, Greg Morrisett	08061 Abstracts Collection -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
27	Amal Ahmed 0001, Nick Benton, Martin Hofmann 0001, Greg Morrisett	08061 Executive Summary -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
27	Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (eds.)	Journal on Data Semantics VI: Special Issue on Emergent Semantics	J. Data Semantics	2006	DBLP DOI BibTeX RDF
27	Anna Queralt, Ernest Teniente	Specifying the Semantics of Operation Contracts in Conceptual Modeling.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
27	Taehee Lee 0001, Junho Shim, Hyunja Lee, Sang-goo Lee	A Pragmatic Approach to Model and Exploit the Semantics of Product Information.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
27	Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks 0001	f-SWRL: A Fuzzy Extension of SWRL.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
27	Yosi Ben-Asher, Shlomo Berkovsky	Semantic Data Management in Peer-to-Peer E-Commerce Applications.	J. Data Semantics	2006	DBLP DOI BibTeX RDF	Ontology, E-Commerce, Data Management, Peer-to-Peer Systems
27	Avigdor Gal	Managing Uncertainty in Schema Matching with Top-K Schema Mappings.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
27	Naren Kodali, Csilla Farkas, Duminda Wijesekera	Enforcing Semantics-Aware Security in Multimedia Surveillance.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
27	David J. Pym	Notes Towards a Semantics for Proof-search.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
27	Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen	A Programmer's Reduction Semantics for Classes and Mixins.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
27	Peter Buneman, Susan B. Davidson, Anthony Kosky	Semantics of Database Transformations.	Semantics in Databases	1995	DBLP DOI BibTeX RDF
27	Leonid Libkin	A Semantics-based Approach to Design of Query Languages for Partial Information.	Semantics in Databases	1995	DBLP DOI BibTeX RDF
27	Georg Gottlob, Gerti Kappel, Michael Schrefl	The Evolving Algebra Semantics of Class and Role Hierarchies.	Semantics in Databases	1995	DBLP DOI BibTeX RDF
27	Bart Kuijpers, Jan Paredaens, Luc Vandeurzen	Semantics in Spatial Databases.	Semantics in Databases	1995	DBLP DOI BibTeX RDF
27	D. J. Andrews, Jan Friso Groote, Cornelis A. Middelburg (eds.)	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993	Semantics of Specification Languages	1994	DBLP DOI BibTeX RDF
27	Peter Gorm Larsen	Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	T. B. Dinesh	Type-Checking Revisited: Modular Error-Handling.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Michael Schenke	A Timed Specification Language for Concurrent Reactive Systems.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Gerard R. Renardel de Lavalette	From Implicit via Inductive to Explicit Definitions.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Stephan Kleuker	Case Study: Stepwise Development of a Communication Processor Using Trace Logic.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Loe M. G. Feijs	An Overview of the Development of COLD.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	John S. Fitzgerald, R. Moore	Experiences in Developing a Proof Theory for VDM Specifications.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Hans Toetenel	Loose Real-Time Communicating Agents.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Gerard R. Renardel de Lavalette	The Static Part of the Design Language COLD-K.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Egidio Astesiano, Maura Cerioli	Multiparadigm Specification Languages: A First Attempt at Foundations.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Stephen Brien	The Development of Z.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Jan Friso Groote, Alban Ponse	Proof Theory for µCRL: A Language for Processes with Data.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Bart Botma	Rendez-vous with Bundle Event Structures.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Rix Groenboom, Gerard R. Renardel de Lavalette	Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	M. P. A. Sellink	Verifying Process Algebra Proofs in Type Theory.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Flemming M. Damm, Bo Stig Hansen	Generation of Proof Obligations for Type Consistency.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Robert Milne	The Formal Basis for the RAISE Specification Language.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Djamel-Eddine Saïdouni, Jean-Pierre Courtiat	Syntactic Action Refinement in Presence of Multiway Synchronization.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
27	Gérard Boudol, Ilaria Castellani	Three Equivalent Semantics for CCS.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
27	Egidio Astesiano, Alessandro Giovini, Gianna Reggio	Processes as Data Types: Observational Semantics and Logic.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
27	Jifeng He 0001, C. A. R. Hoare	Categorical Semantics for Programming Languages.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
27	Maria Zamfir, David L. Martin 0001	On the Syntax and Semantics of Concurrent Computing.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
27	Naphtali Rishe	Postconditional Semantics of Data Base Queries.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
27	Luca Cardelli	A Semantics of Multiple Inheritance.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
27	Mariangiola Dezani-Ciancaglini, Ines Margaria	F-Semantics for Intersection Type Discipline.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
27	Kim B. Bruce, Albert R. Meyer	The Semantics of Second Order Polymorphic Lambda Calculus.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
27	Thierry Despeyroux	Executable Specification of Static Semantics.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
27	Harald Ganzinger	Transforming denotational semantics into practical attribute grammars.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
27	Neil D. Jones, David A. Schmidt	Compiler generation from denotational semantics.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
27	Ole Lehrmann Madsen	On defining semantics by means of extended attribute grammars.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF
27	Amir Pnueli	The Temporal Semantics of Concurrent Programs.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
27	Jerald S. Schwartz	Denotational Semantics of Parallelism.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
27	Donald E. Knuth	Examples of formal semantics.	Symposium on Semantics of Algorithmic Languages	1971	DBLP DOI BibTeX RDF
27	Shigeru Igarashi	Semantics of algol-like statements.	Symposium on Semantics of Algorithmic Languages	1971	DBLP DOI BibTeX RDF
26	Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic	2nd UML 2 Semantics Symposium: Formal Semantics for UML.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML, Formal Semantics
26	Guy De Tré, Rita M. M. De Caluwe, Henri Prade	Null Values Revisited in Prospect of Data Integration.	ICSNW	2004	DBLP DOI BibTeX RDF	data integration, many-valued logic, data semantics, database modelling, Null values
26	Huibiao Zhu, Jifeng He 0001, Jing Li 0062	Unifying Denotational Semantics with Operational Semantics for Web Services.	ICDCIT	2007	DBLP DOI BibTeX RDF
26	Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001	Deriving Operational Semantics from Denotational Semantics for Verilog.	APSEC	2001	DBLP DOI BibTeX RDF
26	Walid Taha	A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract).	PEPM	2000	DBLP DOI BibTeX RDF
26	John Hannan	Searching For Semantics.	PEPM	1993	DBLP DOI BibTeX RDF
26	Joylyn Reed	Semantics-Based Tools for a Specification-Support Environment.	MFPS	1987	DBLP DOI BibTeX RDF
26	Koen V. Hindriks, John-Jules Ch. Meyer	Toward a programming theory for rational agents.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Verification logic, State-based semantics, Programming theory, Denotational semantics, Rational agents
26	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Relational parametricity for references and recursive types.	TLDI	2009	DBLP DOI BibTeX RDF	general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics
26	Ying Liu, Naixiao Zhang	On Concept-Based Definition of Domain-Specific Languages.	ICFEM	2002	DBLP DOI BibTeX RDF	Evolving Algebra, Language Concept, Reuse, Domain-Specific Languages, Attribute Grammar, Dynamic Semantics, Static Semantics
26	Frits W. Vaandrager	Expressive Results for Process Algebras.	REX Workshop	1992	DBLP DOI BibTeX RDF	process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
26	Gérard Boudol, Gustavo Petri	Relaxed memory models: an operational approach.	POPL	2009	DBLP DOI BibTeX RDF	operational semantics, memory models
26	Asuman Dogac, Yildiray Kabak, Gokce Laleci, Carl Mattocks, Farrukh Najmi, Jeff Pollock	Enhancing ebXML Registries to Make them OWL Aware.	Distributed Parallel Databases	2005	DBLP DOI BibTeX RDF	ebXML registry, semantic web service discovery, semantics, Web Ontology Language (OWL)
26	Michael W. Mislove, Frank J. Oles	Full Abstraction and Unnested Recursion.	REX Workshop	1992	DBLP DOI BibTeX RDF	algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy
26	Pietro Baroni, Massimiliano Giacomin	Solving Semantic Problems with Odd-Length Cycles in Argumentation.	ECSQARU	2003	DBLP DOI BibTeX RDF
26	Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos	The Computational Description of Analogue System Behaviour.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
26	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
26	Zoran Majkic	Intensional First-Order Logic for P2P Database Systems.	J. Data Semantics	2009	DBLP DOI BibTeX RDF
26	Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset	Combining a Logical and a Numerical Method for Data Reconciliation.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Reference reconciliation, Equation system, Iterative resolution, Ontologies, Semantic Data Integration, Automatic reasoning
26	José Meseguer 0001	Order-Sorted Parameterization and Induction.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
26	Shenghui Wang 0001, Jeff Z. Pan	Semantically Processing Parallel Colour Descriptions.	J. Data Semantics	2008	DBLP DOI BibTeX RDF
26	Stefanie Rinderle, Manfred Reichert	A Formal Framework for Adaptive Access Control Models.	J. Data Semantics	2007	DBLP DOI BibTeX RDF
26	Jordi Cabot, Ruth Raventós	Conceptual Modelling Patterns for Roles.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
26	Hans-Joachim Klein 0001	Null Values in Relational Databases and Sure Information Answers.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
26	Ursula Goltz	CCS and Petri Nets.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Luc Bougé, Patrick Garda	Towards a Semantic Approach to SIMD Architectures and their Languages.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Luca Aceto, Matthew Hennessy	Termination, Deadlock and Divergence.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
26	A. W. Roscoe 0001, Geoff Barrett	Unbounded Nondeterminism in CSP.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
25	David DeHaan	Equivalence of nested queries with mixed semantics.	PODS	2009	DBLP DOI BibTeX RDF	bag-set semantics, normalized bags, set semantics, aggregation, conjunctive queries, query equivalence