Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
14	Adam Koprowski, Hans Zantema	Certification of Proving Termination of Term Rewriting by Matrix Interpretations.	SOFSEM	2008	DBLP DOI BibTeX RDF
14	Vladimir Stantchev, Christian Schröpfer	Techniques for service level enforcement in web-services based systems.	iiWAS	2008	DBLP DOI BibTeX RDF	architectural translucency, nonfunctional properties, web services, replication, system architecture, service levels, Formal representation
14	Mikolás Janota, Goetz Botterweck	Formal Approach to Integrating Feature and Architecture Models.	FASE	2008	DBLP DOI BibTeX RDF
14	Greg Bronevetsky, Bronis R. de Supinski	Complete Formal Specification of the OpenMP Memory Model.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	parallel programming, theorem proving, OpenMP, formal systems
14	Therrezinha Fernandes	A Kleene Algebra Framework for Data Flow Analysis.	ASWEC	2007	DBLP DOI BibTeX RDF
14	Shin Ando	Clustering Needles in a Haystack: An Information Theoretic Analysis of Minority and Outlier Detection.	ICDM	2007	DBLP DOI BibTeX RDF
14	Vladimir Kolovski, James A. Hendler, Bijan Parsia	Analyzing web access control policies.	WWW	2007	DBLP DOI BibTeX RDF	access control, description logics, XACML, policy analysis
14	Mikael Nilsson, Alistair J. Miles, Pete Johnston, Fredrik Enoksson	Formalizing Dublin Core Application Profiles - Description Set Profiles and Graph Constraints.	MTSR	2007	DBLP DOI BibTeX RDF
14	Daniel K. Lee, Karl Crary, Robert Harper 0001	Towards a mechanized metatheory of standard ML.	POPL	2007	DBLP DOI BibTeX RDF	language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety
14	Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu	Towards Translation of Legal Sentences into Logical Forms.	JSAI	2007	DBLP DOI BibTeX RDF
14	Matthias Weidlich 0001, Gero Decker, Mathias Weske	Efficient Analysis of BPEL 2.0 Processes Using p-Calculus.	APSCC	2007	DBLP DOI BibTeX RDF
14	Sun Wenhui, Liu Feng, Dai Gang, Zhang Jinyu	Formal Analysis of the VPN Service Management System.	PDCAT	2007	DBLP DOI BibTeX RDF
14	Michael Jackson 0001	What Can We Expect from Program Verification?	Computer	2006	DBLP DOI BibTeX RDF	software engineering, program verification, system reliability, software-intensive systems
14	Julien Narboux	Mechanical Theorem Proving in Tarski's Geometry.	Automated Deduction in Geometry	2006	DBLP DOI BibTeX RDF
14	Martin Fischer 0010	Formalizing Construction Knowledge for Concurrent Performance-Based Design.	EG-ICE	2006	DBLP DOI BibTeX RDF
14	Ahlem Ben Hassine, Shigeo Matsubara, Toru Ishida 0001	A Constraint-Based Approach to Horizontal Web Service Composition.	ISWC	2006	DBLP DOI BibTeX RDF
14	Sylvie Boldo, César A. Muñoz	Provably faithful evaluation of polynomials.	SAC	2006	DBLP DOI BibTeX RDF	formal verification, floating-point, polynomial evaluation
14	Christoph Sprenger 0001, Michael Backes 0001, David A. Basin, Birgit Pfitzmann, Michael Waidner	Cryptographically Sound Theorem Proving.	CSFW	2006	DBLP DOI BibTeX RDF
14	Michael J. May, Carl A. Gunter, Insup Lee 0001	Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.	CSFW	2006	DBLP DOI BibTeX RDF
14	Keiji Hirata 0001, Satoshi Tojo	Lattice for Musical Structure and Its Arithmetics.	JSAI	2006	DBLP DOI BibTeX RDF
14	Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide	Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
14	Erzsébet Csuhaj-Varjú, Sergey Verlan	Length-Separating Test Tube Systems.	DNA	2006	DBLP DOI BibTeX RDF
14	Ewa Dudek-Dyduch, Jaroslaw Was	Knowledge Representation of Pedestrian Dynamics in Crowd: Formalism of Cellular Automata.	ICAISC	2006	DBLP DOI BibTeX RDF
14	Dominik Raub, Rainer Steinwandt	An Algebra for Enterprise Privacy Policies Closed Under Composition and Conjunction.	ETRICS	2006	DBLP DOI BibTeX RDF
14	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
14	François Fages, Sylvain Soliman	Type Inference in Systems Biology.	CMSB	2006	DBLP DOI BibTeX RDF
14	Daniela Besozzi, Grzegorz Rozenberg	Formalizing Spherical Membrane Structures and Membrane Proteins Populations.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
14	Christian Jacobi 0002, Christoph Berg	Formal Verification of the VAMP Floating Point Unit.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	IEEE standard 754, formal verification, theorem proving, PVS, floating point unit
14	Francesca Arcelli Fontana, Stefano Masiero, Claudia Raibulet, Francesco Tisato	A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
14	Néstor Cataño	Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.	TPHOLs	2005	DBLP DOI BibTeX RDF
14	Chen Zhao 0001, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin	Representation and Reasoning on RBAC: A Description Logic Approach.	ICTAC	2005	DBLP DOI BibTeX RDF
14	Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto	A Universally Composable Secure Channel Based on the KEM-DEM Framework.	TCC	2005	DBLP DOI BibTeX RDF
14	Pierre Salverda, Grigore Rosu, Craig B. Zilles	Formally Defining and Verifying Master/Slave Speculative Parallelization.	FM	2005	DBLP DOI BibTeX RDF
14	Steffen Helke, Florian Kammüller	Structure Preserving Data Abstractions for Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
14	Davide Grossi, Frank Dignum, John-Jules Ch. Meyer	Contextual Terminologies.	CLIMA	2005	DBLP DOI BibTeX RDF
14	Miguel Goulão, Fernando Brito e Abreu	Formal Definition of Metrics Upon the CORBA Component Model.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
14	Richard Zanibbi, Dorothea Blostein, James R. Cordy	The Recognition Strategy Language.	ICDAR	2005	DBLP DOI BibTeX RDF
14	Fairouz Kamareddine, Manuel Maarek, J. B. Wells	Toward an Object-Oriented Structure for Mathematical Text.	MKM	2005	DBLP DOI BibTeX RDF
14	Leonid B. Sokolinsky	Survey of Architectures of Parallel Database Systems.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
14	Therrezinha Fernandes, Jules Desharnais	Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.	MPC	2004	DBLP DOI BibTeX RDF
14	Stephen A. Cook, Antonina Kolokolova	A Second-Order Theory for NL.	LICS	2004	DBLP DOI BibTeX RDF
14	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
14	Jianwen Chen, Yan Zhang 0003	A Multi-Agent System for Mobile Environments.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	extended logic programming, multi-agent system, mobile environments
14	Stefan Berghofer	Extracting a Normalization Algorithm in Isabelle/HOL.	TYPES	2004	DBLP DOI BibTeX RDF
14	Philippe Bretier, Ludovic Le Bigot, Franck Panaget, David Sadek	De la représentation de l'interlocuteur vers un modèle utilisateur formel pour le dialogue personne-machine.	IHM	2004	DBLP DOI BibTeX RDF	interlocutor model, user model, natural language, dialogue
14	Léonard Kwuida, Andreja Tepavcevic, Branimir Seselja	Negation in Contextual Logic.	ICCS	2004	DBLP DOI BibTeX RDF
14	Paolo Fiorucci, Francesco Gaetani, Riccardo Minciardi, Roberto Sacile, Eva Trasforini	Dynamic Resource Allocation For Forest Fire Risk Management.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
14	Michel Jaring, Jan Bosch	Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering.	QSIC	2004	DBLP DOI BibTeX RDF
14	Robert B. K. Brown, Aditya Ghose	Hierarchic Decomposition in Agent Oriented Conceptual Modelling.	QSIC	2004	DBLP DOI BibTeX RDF
14	Yuxi Fu, Xiaoju Dong	Formalizing the Environment View of Process Equivalence.	CIS	2004	DBLP DOI BibTeX RDF
14	Wei Zhao 0002, Barrett R. Bryant, Carol C. Burt, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston	Automated Glue/Wrapper Code Generation in Integration of Distributed and Heterogeneous Software Components.	EDOC	2004	DBLP DOI BibTeX RDF
14	Gueorgui I. Jojgov, Rob Nederpelt	A Path to Faithful Formalizations of Mathematics.	MKM	2004	DBLP DOI BibTeX RDF
14	Jörg Desel, Vesna Milijic, Christian Neumair	Model Validation in Controller Design.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
14	Laura I. Meikle, Jacques D. Fleuriot	Formalizing Hilbert's Grundlagen in Isabelle/Isar.	TPHOLs	2003	DBLP DOI BibTeX RDF
14	Mehmet Giritli	Who Can Connect in RCC?	KI	2003	DBLP DOI BibTeX RDF
14	Jérôme Siméon, Philip Wadler	The essence of XML.	POPL	2003	DBLP DOI BibTeX RDF	XML, validation, XPath, XQuery, XML schema
14	Leonor Prensa Nieto	The Rely-Guarantee Method in Isabelle/HOL.	ESOP	2003	DBLP DOI BibTeX RDF
14	Aldo Gangemi, Alessandra Prisco, Maria-Teresa Sagri, Geri Steve, Daniela Tiscornia	Some Ontological Tools to Support Legal Regulatory Compliance, with a Case Study.	OTM Workshops	2003	DBLP DOI BibTeX RDF
14	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	logical foundations of programming, object-based calculi with side-effects, program and system verification, logical frameworks, interactive theorem proving
14	Yasuhiko Minamide, Koji Okuma	Verifying CPS transformations in Isabelle/HOL.	MERLIN	2003	DBLP DOI BibTeX RDF	program transformation, theorem proving, correctness proofs
14	Uta Priss	Formalizing Botanical Taxonomies.	ICCS	2003	DBLP DOI BibTeX RDF
14	Ken Satoh	Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report.	CIA	2003	DBLP DOI BibTeX RDF
14	Gilles Vaucher	A Complex-Valued Spiking Machine.	ICANN	2003	DBLP DOI BibTeX RDF
14	Jan Scheffczyk, Uwe M. Borghoff, Peter Rödig, Lothar Schmitz	Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories.	ACM Symposium on Document Engineering	2003	DBLP DOI BibTeX RDF	consistency in document engineering, temporal logic, document management
14	Zhengwei Qi, Jinyuan You, Hongyan Mao	P Systems and Petri Nets.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
14	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	A graph-based formalism for RBAC.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	Access control in information systems, decentralized administration, permission management, role-based access control, correctness, graph transformations
14	Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005	Weakest Precondition for General Recursive Programs Formalized in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF	Formal Verification, Operational Semantics, Weakest Precondition, Coq
14	Aleksey Nogin	Quotient Types: A Modular Approach.	TPHOLs	2002	DBLP DOI BibTeX RDF
14	Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione	An Experience in Architectural Extensions: Active Objects in J2EE.	FIDJI	2002	DBLP DOI BibTeX RDF
14	Itsuki Noda	Hidden Markov Modeling for Multi-agent Systems.	PRICAI	2002	DBLP DOI BibTeX RDF
14	Stéphane Vaillant	A Finite First-Order Presentation of Set Theory.	TYPES	2002	DBLP DOI BibTeX RDF
14	Jonathan Ford, Natarajan Shankar	Formal Verification of a Combination Decision Procedure.	CADE	2002	DBLP DOI BibTeX RDF
14	Stefania Costantini, Arianna Tocchio	A Logic Programming Language for Multi-agent Systems.	JELIA	2002	DBLP DOI BibTeX RDF
14	Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto	Revisiting decomposition analysis of geometric constraint graphs.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	graph-based constraint solving, constraint solving, geometric constraints
14	Samiran Chattopadhyay, Chhanda Roy, Matangini Chattopadhyay	Expressing Constraint Models in Object Oriented Data Using UML and ODL.	IWDC	2002	DBLP DOI BibTeX RDF
14	Aarati Parmar	Formalizing Approximate Objects and Theories: Some Initial Results.	SARA	2002	DBLP DOI BibTeX RDF
14	Peter Fankhauser	XQuery Formal Semantics: State and Challenges.	SIGMOD Rec.	2001	DBLP DOI BibTeX RDF	XML, XML, databases, query languages, formal semantics
14	Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni	A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation.	CP	2001	DBLP DOI BibTeX RDF
14	S. Kazem Lellahi, Alexandre V. Zamulin	Object-Oriented Database as a Dynamic System with Implicit State.	ADBIS	2001	DBLP DOI BibTeX RDF	implicit state, object-oriented database, dynamic system, object modeling, state update
14	Hassan B. Diab, Marc Frappier, Richard St-Denis	Formalizing COSMIC-FFP Using ROOM.	AICCSA	2001	DBLP DOI BibTeX RDF
14	Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni	Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach.	ATAL	2001	DBLP DOI BibTeX RDF
14	Abdel Mokkedem, Tim Leonard	Formal Verification of the Alpha 21364 Network Protocol.	TPHOLs	2000	DBLP DOI BibTeX RDF
14	Bernhard Reus, Tatjana Hein	Towards a Machine-Checked Java Specification Book.	TPHOLs	2000	DBLP DOI BibTeX RDF
14	Leonor Prensa Nieto, Javier Esparza	Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL.	MFCS	2000	DBLP DOI BibTeX RDF
14	Kristofer Johannisson	Formalizing the Halting Problem in a Constructive Type Theory.	TYPES	2000	DBLP DOI BibTeX RDF
14	Tadeusz Szuba, Mohammed Almulla	Was Collective Intelligence before Life on Earth?	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
14	Farid Cerbah, Jérôme Euzenat	Integrating Textual Knowledge and Formal Knowledge for Improving Traceability (Short Paper).	EKAW	2000	DBLP DOI BibTeX RDF
14	Klaus Becker, Gerd Stumme, Rudolf Wille, Uta Wille, Monika Zickwolff	Conceptual Information Systems Discussed through in IT-Security Tool.	EKAW	2000	DBLP DOI BibTeX RDF
14	Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce	A Formal Model for Role-Based Access Control Using Graph Transformation.	ESORICS	2000	DBLP DOI BibTeX RDF
14	Luciano Baresi, Mauro Pezzè	A Formal Definition of Stuctured Analysis with Programmable Graph Grammars.	AGTIVE	1999	DBLP DOI BibTeX RDF
14	Marino Miculan	Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions.	ICALP	1999	DBLP DOI BibTeX RDF
14	J Strother Moore	Proving Theorems About Java-Like Byte Code.	Correct System Design	1999	DBLP DOI BibTeX RDF
14	Jason Hickey	Fault-Tolerant Distributed Theorem Proving.	CADE	1999	DBLP DOI BibTeX RDF
14	Alessandro Artale, Enrico Franconi	Reasoning with Enhanced Temporal Entity-Relationship Models.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	Reasoning, Temporal Databases, Entity-Relationship
14	Yun Bai 0001, Vijay Varadharajan	Authorization in Object Oriented Databases.	ACISP	1999	DBLP DOI BibTeX RDF	security, formal specification, object oriented databases, inheritance, authorization policy
14	Nicole Lévy, Francisca Losavio	Analyzing and Comparing Architectural Styles.	SCCC	1999	DBLP DOI BibTeX RDF
14	Peter Thiemann 0001	Formalizing Resourve Allocation in a Compiler.	Types in Compilation	1998	DBLP DOI BibTeX RDF
14	William D. Young	Comparing Verification Systems: Interactive Consistency in ACL2.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	fault tolerance, Formal verification, specification languages, computational logic, automatic theorem proving
14	Olaf Müller, Tobias Nipkow	Traces of I/O-Automata in Isabelle/HOLCF.	TAPSOFT	1997	DBLP DOI BibTeX RDF