Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
17	Eduard Diepstraten, Ruurd Kuiper 0001	Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
17	Hans-Dieter Ehrich, Amílcar Sernadas	Algebraic Implementation of Objects over Objects.	REX Workshop	1989	DBLP DOI BibTeX RDF	object morphisms, process morphisms, semantic fundamentals, algebraic implementation, refinement, processes, objects, extension, encapsulation, object-oriented systems, reification
17	Michael Merritt	Completeness Theorems for Automata.	REX Workshop	1989	DBLP DOI BibTeX RDF	state mappings, Specification, implementation, products, completeness, automata
17	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	1989	DBLP DOI BibTeX RDF	Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
17	Bernhard Josko	Verifying the Correctness of AADL Modules Using Model Checking.	REX Workshop	1989	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, computer architecture, expressiveness, modular specification
17	Rob J. van Glabbeek, Ursula Goltz	Refinement of Actions in Causality Based Models.	REX Workshop	1989	DBLP DOI BibTeX RDF	Petri nets, Concurrency, action refinement, event structures
17	Simon S. Lam, A. Udaya Shankar	Refinement and Projection of Relational Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, protocols, Specification, temporal logic, refinement
17	Rob Gerth	Foundations of Compositional Program Refinement - Safety Properties.	REX Workshop	1989	DBLP DOI BibTeX RDF	algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables
17	Paritosh K. Pandya	Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	Assumption Commitment Framework, Compositional Verification, Inductive Inference, Liveness properties
17	Manfred Broy	Functional Specification of Time Sensitive Communicating Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF
17	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
17	Nancy A. Lynch	Multivalued Possibilities Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	abstraction mapping, possibilities mapping, history variables, distributed algorithms, mapping, garbage collection, transaction processing, safety property, time bounds, Alternating Bit Protocol
17	Robert P. Kurshan	Analysis of Discrete Event Coordination.	REX Workshop	1989	DBLP DOI BibTeX RDF	coordination analysis, formal verification, refinement, reduction, homomorphism
17	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
17	Frank A. Stomp	A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning.	REX Workshop	1989	DBLP DOI BibTeX RDF
17	Martín Abadi, Leslie Lamport	Composing Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF
17	Kim Guldstrand Larsen	Compositional Theories Based on an Operational Semantics of Contexts.	REX Workshop	1989	DBLP DOI BibTeX RDF	Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
17	Job Zwiers	Predicated, Predicate Transformers and Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF
17	Tobias Nipkow	Formal Verification of Data Type Refinement - Theory and Practice.	REX Workshop	1989	DBLP DOI BibTeX RDF	Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types
17	Bengt Jonsson 0001	On Decomposing and Refining Specifications of Distributed Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF	Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality
17	Brian H. Mayoh	On Formalisms.	BIT	1988	DBLP DOI BibTeX RDF
17	J. C. P. Woodcock	Formalisms.	ACM SIGSOFT Softw. Eng. Notes	1988	DBLP DOI BibTeX RDF
17	David Harel	On Visual Formalisms.	Commun. ACM	1988	DBLP DOI BibTeX RDF
17	Jan Paredis	Qualified Logic as a Means of Integrating Conceptual Formalisms.	ECAI	1988	DBLP BibTeX RDF
17	Peter Pepper	An Algebraic View of Local Formalisms.	ADT	1988	DBLP BibTeX RDF
17	John Shawe-Taylor	Information and its Relation to Formalisms for the Complexities of the Real World.	J. Inf. Technol.	1987	DBLP DOI BibTeX RDF
17	Alan W. Black, Graeme D. Ritchie, Stephen G. Pulman, Graham Russell	Formalisms For Morphographemic Description.	EACL	1987	DBLP BibTeX RDF
17	Aravind K. Joshi	Unification and Some New Grammatical Formalisms.	TINLAP	1987	DBLP BibTeX RDF
17	Gerald Gazdar	The New Grammar Formalisms - A Tutorial Survey (Abstract).	IJCAI	1987	DBLP BibTeX RDF
17	K. Vijay-Shanker, David J. Weir, Aravind K. Joshi	Characterizing Structural Descriptions produced by Various Grammatical Formalisms.	ACL	1987	DBLP BibTeX RDF
17	Raymond T. Boute	Functional Formalisms for System Description: Current Research Topics.	Embedded Systems	1986	DBLP DOI BibTeX RDF
17	Eric Horvitz, David Heckerman, Curtis P. Langlotz	A Framework for Comparing Alternative Formalisms for Plausible Reasoning.	AAAI	1986	DBLP BibTeX RDF
17	A. J. Kfoury, Pawel Urzyczyn	Necessary and Sufficient Conditions for the Universality of Programming Formalisms.	Acta Informatica	1985	DBLP DOI BibTeX RDF
17	Joseph C. H. Park, Kwang-Moo Choe, C. H. Chang	A New Analysis of LALR Formalisms.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
17	Richard A. Frost	Using Semantic Concepts to Characterise Various Knowledge Representation Formalisms: A Method of Facilitating the Interface of Knowledge Base System Components.	Comput. J.	1985	DBLP DOI BibTeX RDF
17	B. Chandrasekaran 0001, Michael C. Tanner	Uncertainty Handling in Expert Systems: Uniform vs. Task-Specific Formalisms.	UAI	1985	DBLP BibTeX RDF
17	John F. Sowa, Peter P. Chen, Peter Freeman, Sharon C. Salveter, Roger C. Schank	Mapping Specifications to Formalisms - Panel Session.	ER	1985	DBLP BibTeX RDF
17	Stuart M. Shieber	Using Restriction to Extend Parsing Algorithms for Complex-Feature-Based Formalisms.	ACL	1985	DBLP BibTeX RDF
17	Fernando C. N. Pereira	A Structure-Sharing Representation for Unification-Based Grammar Formalisms.	ACL	1985	DBLP BibTeX RDF
17	Fernando C. N. Pereira, Stuart M. Shieber	The Semantics of Grammar Formalisms Seen as Computer Languages.	COLING	1984	DBLP BibTeX RDF
17	Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos	Metal: A Formalism to Specify Formalisms.	Sci. Comput. Program.	1983	DBLP DOI BibTeX RDF
17	Bente Maegaard	Regelformalismer til brug ved datamatisk lingvistik (Rule formalisms for use in computational linguistics) [In Danish].	NODALIDA	1983	DBLP BibTeX RDF
17	A. J. Kfoury, Pawel Urzyczyn	Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report).	Logic of Programs	1983	DBLP DOI BibTeX RDF
17	Harry M. Markowitz, Ashok Malhotra, Donald P. Pazel	The ER and EAS Formalisms for System Modelling, and the EAS-E Language.	ER	1981	DBLP BibTeX RDF
17	John McCarthy 0001	Addendum: Circumscription and other Non-Monotonic Formalisms.	Artif. Intell.	1980	DBLP DOI BibTeX RDF
17	Clesio Saraiva dos Santos	The Quest for Comprehensive Semantic Formalisms.	VLDB	1979	DBLP BibTeX RDF
17	J. Schwarz	Generic Commands - A Tool for Partial Correctness Formalisms.	Comput. J.	1977	DBLP DOI BibTeX RDF
17	Frank DeRemer	Review of Formalisms and Notation.	Compiler Construction	1976	DBLP DOI BibTeX RDF
17	Vinton G. Cerf	Formalisms for interprocess communication.	SIGCOMM/SIGOPS Workshop on Interprocess Communications	1975	DBLP DOI BibTeX RDF
17	Robert L. Constable, Allan Borodin	On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract)	SWAT	1970	DBLP DOI BibTeX RDF
17	Robert L. Constable	On the Size of Programs in Subrecursive Formalisms	STOC	1970	DBLP DOI BibTeX RDF
17	Patrick C. Fischer	On Formalisms for Turing Machines.	J. ACM	1965	DBLP DOI BibTeX RDF
17	Patrick C. Fischer	On formalisms for Turing machines	SWCT	1964	DBLP DOI BibTeX RDF
17	Stephen Cole Kleene	An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.	J. Symb. Log.	1963	DBLP DOI BibTeX RDF
17	Stephen Cole Kleene	Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.	J. Symb. Log.	1962	DBLP DOI BibTeX RDF
14	Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes	On Preferring and Inspecting Abductive Models.	PADL	2009	DBLP DOI BibTeX RDF	XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction
14	Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor	Psi-calculi: Mobile Processes, Nominal Data, and Logic.	LICS	2009	DBLP DOI BibTeX RDF
14	Rik Eshuis	Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.	FM	2009	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz	Uncertainty in the Semantic Web.	SUM	2009	DBLP DOI BibTeX RDF
14	Frank Raiser	Research Summary.	ICLP	2009	DBLP DOI BibTeX RDF
14	Luc De Raedt	Probabilistic Logic Learning - A Tutorial Abstract.	ICLP	2009	DBLP DOI BibTeX RDF	probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
14	Thomas Lukasiewicz	Uncertainty Reasoning for the Semantic Web.	RR	2009	DBLP DOI BibTeX RDF
14	Fernando J. Barros	Modeling and simulation of parallel adaptive divide-and-conquer algorithms.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Dynamic structure models, Simulation, Adaptive algorithms
14	Stephen Gilmore, Jane Hillston	Foreword.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
14	Krzysztof R. Apt, Francesca Rossi 0001, Kristen Brent Venable	Comparing the notions of optimality in CP-nets, strategic games and soft constraints.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 91B10, 91B50, 68T01, 68T30
14	Grégoire Jacob, Eric Filiol, Hervé Debar	Malware as interaction machines: a new framework for behavior modelling.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
14	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
14	María Isabel Sánchez Segura, Javier García 0001, Antonio de Amescua Seco, Fuensanta Medina-Domínguez, Arturo Mora-Soto	A Study on How Software Engineering Supports Projects Management.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
14	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki	A Formal Definition of Complex Software.	ICSEA	2008	DBLP DOI BibTeX RDF
14	Hossein Hojjat, Mohammad Reza Mousavi 0001, Marjan Sirjani	A framework for performance evaluation and functional verification in stochastic process algebras.	SAC	2008	DBLP DOI BibTeX RDF
14	Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff	Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
14	Hendrik Blockeel	Exposing the Causal Structure of Processes by Learning CP-Logic Programs.	PRICAI	2008	DBLP DOI BibTeX RDF
14	Pau Fonseca	SDL distributed simulator.	WSC	2008	DBLP DOI BibTeX RDF
14	Pierluigi Del Nostro, Stefano Paolozzi, Paolo Atzeni	Extending MIDST to Semantic Annotation.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Semantic Web, Interoperability, Semantic annotation, Model management
14	Lidia Ogiela	Syntactic Approach to Cognitive Interpretation of Medical Patterns.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	medical pattern recognition, UBIAS sytems, image interpretation, cognitive analysis
14	Philippe Ramadour, Corine Cauvet	An Ontology-Based Support for Asset Design and Reuse.	ENC	2008	DBLP DOI BibTeX RDF
14	Luc De Raedt, Kristian Kersting	Probabilistic Inductive Logic Programming.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
14	Kenneth A. Ross, Julia Stoyanovich	Schema polynomials and applications.	EDBT	2008	DBLP DOI BibTeX RDF
14	Roman Gumzej, Wolfgang A. Halang	QoS-oriented design of embedded systems with specification PEARL.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Specification PEARL, UML profiles and patterns, Security, Quality-of-Service, Real-time systems, Reliability, Embedded systems, Dependability, Safety, Flexibility, Portability, Determinism, Co-design, Timeliness, Co-simulation, Readiness
14	Steven Schockaert, Martine De Cock	Reasoning about vague topological information.	CIKM	2007	DBLP DOI BibTeX RDF
14	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
14	Feng Chen 0006, Grigore Rosu	Mop: an efficient and generic runtime verification framework.	OOPSLA	2007	DBLP DOI BibTeX RDF	monitoring-oriented programming, aspect-oriented programming, runtime verification
14	John S. Fitzgerald, Peter Gorm Larsen	Balancing Insight and Effort: The Industrial Uptake of Formal Methods.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
14	Yael Cohen-Sygal, Shuly Wintner	The Non-associativity of Polarized Tree-Based Grammars.	CICLing	2007	DBLP DOI BibTeX RDF
14	Sophie Pinchinat	A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies.	ATVA	2007	DBLP DOI BibTeX RDF
14	Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi	LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.	SpringSim (2)	2007	DBLP BibTeX RDF	computer generated forces, discrete event modeling and simulation, variable/dynamic structure, DEVS, hierarchical structure
14	Samson W. Tu	Guideline Models, Process Specification, and Workflow.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
14	James D. Jones, Susanna Badiola, Daley Seeker	A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus
14	Piero A. Bonatti	Nonmonotonic Description Logics - Requirements, Theory, and Implementations.	TABLEAUX	2007	DBLP DOI BibTeX RDF
14	Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel	Learning Directed Probabilistic Logical Models Using Ordering-Search.	ILP	2007	DBLP DOI BibTeX RDF
14	Nic Wilson	A logic of soft constraints based on partially ordered preferences.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Semiring-based CSPs, Preferences, Soft constraints, Possibilistic logic
14	Clara Bertolissi, Horatiu Cirstea, Claude Kirchner	Expressing combinatory reduction systems derivations in the rewriting calculus.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Rewriting calculus, Combinatory reduction systems, Matching
14	Thi Minh Luan Nguyen, Christophe Lecerf, Ivan Lavallée	A space aware agent-based modeling process for the study of hierarchical complex systems.	SAC	2006	DBLP DOI BibTeX RDF	DEV&DESS, agent-based spatial simulation, multilevel and multi-scale modeling, complex system, hierarchical graph
14	Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou	Verification of communicating data-driven web services.	PODS	2006	DBLP DOI BibTeX RDF
14	Luc Steels, Joachim De Beule	Unify and Merge in Fluid Construction Grammar.	EELC	2006	DBLP DOI BibTeX RDF
14	Uta Priss, L. John Old	An Application of Relation Algebra to Lexical Databases.	ICCS	2006	DBLP DOI BibTeX RDF
14	Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter	Reasoning About Actions Using Description Logics with General TBoxes.	JELIA	2006	DBLP DOI BibTeX RDF
14	Cédric Pralet, Thomas Schiex, Gérard Verfaillie	Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.	CP	2006	DBLP DOI BibTeX RDF
14	Riccardo Rosati 0001	The limits and possibilities of combining Description Logics and Datalog.	RuleML	2006	DBLP DOI BibTeX RDF