Search results for "Compositionality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Sanja Fidler, Ales Leonardis	Towards Scalable Representations of Object Categories: Learning a Hierarchy of Parts.	CVPR	2007	DBLP DOI BibTeX RDF
11	Hongxia Tong, Jian Cao 0001, Shensheng Zhang	A Distributed Genetic Algorithm for Optimizing the Quality of Grid Workflow.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF
11	Björn Ommer, Joachim M. Buhmann	Compositional Object Recognition, Segmentation, and Tracking in Video.	EMMCVPR	2007	DBLP DOI BibTeX RDF
11	Moez Krichen, Stavros Tripakis	Interesting Properties of the Real-Time Conformance Relation.	ICTAC	2006	DBLP DOI BibTeX RDF
11	Anca Mariana Molnos, Marc J. M. Heijligers, Sorin Dan Cotofana, Jos T. J. van Eijndhoven	Compositional, efficient caches for a chip multi-processor.	DATE	2006	DBLP DOI BibTeX RDF
11	Alejandro Russo, Andrei Sabelfeld	Securing Interaction between Threads and the Scheduler.	CSFW	2006	DBLP DOI BibTeX RDF
11	Lennart Beringer, Martin Hofmann 0001	A Bytecode Logic for JML and Types.	APLAS	2006	DBLP DOI BibTeX RDF
11	Josefina Sierra-Santibáñez	Propositional Logic Syntax Acquisition.	EELC	2006	DBLP DOI BibTeX RDF
11	Vassiliki Alevizou, Dimitris Plexousakis	Enhanced Specifications for Web Service Composition.	ECOWS	2006	DBLP DOI BibTeX RDF
11	Anca Mariana Molnos, Sorin Dan Cotofana, Marc J. M. Heijligers, Jos T. J. van Eijndhoven	Static cache partitioning robustness analysis for embedded on-chip multi-processors.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	robustness, cache partitioning, multi-processors
11	Gregor Gößler	Compositional Reachability Analysis of Genetic Networks.	CMSB	2006	DBLP DOI BibTeX RDF
11	Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional Reactive Simulatability.	ESORICS	2006	DBLP DOI BibTeX RDF
11	Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary	Synchronous Elastic Networks.	FMCAD	2006	DBLP DOI BibTeX RDF
11	Björn Ommer, Joachim M. Buhmann	Learning Compositional Categorization Models.	ECCV (3)	2006	DBLP DOI BibTeX RDF
11	David Kinny	Algebraic specification of agent computation.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
11	Barbara König 0001	A general framework for types in graph rewriting.	Acta Informatica	2005	DBLP DOI BibTeX RDF
11	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	search, heuristic, constraint, control, abstraction, local search, meta-heuristic, incremental, neighborhood
11	Catharine M. Wyss, Edward L. Robertson	Relational languages for metadata integration.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	federated data model, metadata querying, relational query algebra, transformational completeness, interoperability, Data integration, schema integration, multidatabases, federated databases, metadata integration
11	Paul Tarau	Agent oriented logic programming in Jinni 2004.	SAC	2005	DBLP DOI BibTeX RDF	agent programming constructs, agents and logic programming, multi-threaded prolog systems, distributed AI, agent communication protocols
11	Barry Norton, Simon Foster 0001, Andrew Hughes	A Compositional Operational Semantics for OWL-S.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
11	Antti Puhakka	Using Fairness Constraints in Process-Algebraic Verification.	ICTAC	2005	DBLP DOI BibTeX RDF
11	Anca Mariana Molnos, Marc J. M. Heijligers, Sorin Dan Cotofana, Jos T. J. van Eijndhoven	Compositional Memory Systems for Multimedia Communicating Tasks.	DATE	2005	DBLP DOI BibTeX RDF
11	Dohyung Kim 0007, Soonhoi Ha	Static analysis and automatic code synthesis of flexible FSM model.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Hanna Kozankiewicz, Krzysztof Stencel, Kazimierz Subieta	Distributed Query Optimization in the Stack-Based Approach.	HPCC	2005	DBLP DOI BibTeX RDF
11	Nabil Abdullah, Richard A. Frost	Adjectives: A Uniform Semantic Approach.	Canadian AI	2005	DBLP DOI BibTeX RDF
11	Insik Shin, Insup Lee 0001	A Compositional Framework for Real-Time Embedded Systems.	ISAS	2005	DBLP DOI BibTeX RDF
11	Irene Tollinger, Richard L. Lewis, Michael McCurdy, Preston Tollinger, Alonso H. Vera, Andrew Howes, Laura Pelton	Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based modeling.	CHI	2005	DBLP DOI BibTeX RDF	tools for usability evaluationm, user modeling
11	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	Tag machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS, tagged systems
11	Kung-Kiu Lau, Mario Ornaghi, Zheng Wang 0015	A Software Component Model and Its Preliminary Formalisation.	FMCO	2005	DBLP DOI BibTeX RDF
11	Bassam Haddad, Mustafa Yaseen	A Compositional Approach Towards Semantic Representation and Construction of ARABIC.	LACL	2005	DBLP DOI BibTeX RDF
11	Alwen Fernanto Tiu	Model Checking for pi-Calculus Using Proof Search.	CONCUR	2005	DBLP DOI BibTeX RDF
11	Hridesh Rajan, Kevin J. Sullivan	Classpects: unifying aspect- and object-oriented language design.	ICSE	2005	DBLP DOI BibTeX RDF	classpect, join point-method binding, aspect-oriented
11	Mehdi Dastani, Farhad Arbab, Frank S. de Boer	Coordination and composition in multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, coordination, composition
11	Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura	Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
11	Ralf H. Reussner, Jens Happe, Annegret Habel	Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars.	FASE	2005	DBLP DOI BibTeX RDF
11	Ruifeng Xu, Qin Lu 0001	A Multi-stage Chinese Collocation Extraction System.	ICMLC	2005	DBLP DOI BibTeX RDF
11	Björn Ommer, Joachim M. Buhmann	Object Categorization by Compositional Graphical Models.	EMMCVPR	2005	DBLP DOI BibTeX RDF
11	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav	Efficient Verification of Sequential and Concurrent C Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
11	Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer	Compositional Model-Views with Generic Graphical User Interfaces.	PADL	2004	DBLP DOI BibTeX RDF
11	Markus Pizka, Andreas Bauer 0002	A Brief Top-Down and Bottom-Up Philosophy on Software Evolution.	IWPSE	2004	DBLP DOI BibTeX RDF
11	Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle 0001, Steffen Zschaler	Models for Non-functional Aspects of Component-Based Software (NfC'04).	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
11	Annalisa Bossi, Carla Piazza, Sabina Rossi	Modelling Downgrading in Information Flow Security.	CSFW	2004	DBLP DOI BibTeX RDF
11	Michael Baldamus, Joachim Parrow, Björn Victor	Spi Calculus Translated to ?--Calculus Preserving May-Tests.	LICS	2004	DBLP DOI BibTeX RDF
11	Peter H. Welch, Fred R. M. Barnes	Communicating Mobile Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
11	Gerald Lüttgen, Walter Vogler	Bisimulation on Speed: Lower Time Bounds.	FoSSaCS	2004	DBLP DOI BibTeX RDF
11	Paul Tarau	Agent Oriented Logic Programming Constructs in Jinni 2004.	ICLP	2004	DBLP DOI BibTeX RDF
11	Olivier Ly	Compositional Verification: Decidability Issues Using Graph Substitutions.	MFCS	2004	DBLP DOI BibTeX RDF	Tree Automata, Compositional Verification, Monadic Second-Order Logic
11	Soon Ae Chun, Yugyung Lee, James Geller	Ontological and Pragmatic Knowledge Management for Web Service Composition.	DASFAA	2004	DBLP DOI BibTeX RDF
11	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints.	ICCAD	2004	DBLP DOI BibTeX RDF
11	Luciano Gerber, Alvaro A. A. Fernandes	An Abstract Algebra for Knowledge Discovery in Databases.	ADBIS	2004	DBLP DOI BibTeX RDF
11	Antonio Brogi	On the Semantics of Logic Program Composition.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
11	Sabine Moisan, Annie Ressouche, Jean-Paul Rigault	Towards Formalizing Behavioral Substitutability in Component Frameworks.	SEFM	2004	DBLP DOI BibTeX RDF
11	Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez	Lambda Goes to Hollywood.	PADL	2003	DBLP DOI BibTeX RDF	distributed computing, design patterns, Functional programming, concurrent programming, real-world applications
11	António Porto	An Integrated Information System Powered by Prolog.	PADL	2003	DBLP DOI BibTeX RDF
11	Subash Shankar, Sinan Asa	Formal Semantics of UML with Real-Time Constructs.	UML	2003	DBLP DOI BibTeX RDF
11	Michel Charpentier	Composing Invariants.	FME	2003	DBLP DOI BibTeX RDF	formal specification, temporal logic, invariants, compositional verification
11	Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli	A Simple Language for Real-Time Cryptographic Protocol Analysis.	ESOP	2003	DBLP DOI BibTeX RDF
11	Peter Gorniak, Deb Roy	A visually grounded natural language interface for reference to spatial scenes.	ICMI	2003	DBLP DOI BibTeX RDF	vision based semantics, cognitive modelling, natural language understanding, computational semantics
11	Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi	Information Flow Security and Recursive Systems.	ICTCS	2003	DBLP DOI BibTeX RDF
11	Gregor Gößler, Joseph Sifakis	Priority Systems.	FMCO	2003	DBLP DOI BibTeX RDF
11	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	CP	2003	DBLP DOI BibTeX RDF
11	Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort	Modelling Predictable Component-Based Distributed Control Architectures.	WORDS Fall	2003	DBLP DOI BibTeX RDF
11	David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro	ARMISTICE: an experience developing management software with Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF	distributed computing, design patterns, functional programming, concurrent programming, business logic, client/server architecture
11	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Bisimulation and Unwinding for Verifying Possibilistic Security Properties.	VMCAI	2003	DBLP DOI BibTeX RDF
11	Sea Ling, Seng Wai Loke	A formal compositional model of multiagent interaction.	AAMAS	2003	DBLP DOI BibTeX RDF	compositional specifications, petri nets, agent-oriented software engineering, interaction protocols
11	Stephan Merz, Martin Wirsing, Júlia Zappe	A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.	FASE	2003	DBLP DOI BibTeX RDF
11	Björn Ommer, Joachim M. Buhmann	A Compositionally Architecture for Perceptual Feature Grouping.	EMMCVPR	2003	DBLP DOI BibTeX RDF
11	John Derrick, Eerke A. Boiten	Combining Component Specifications in Object-Z and CSP.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Components, Refinement, CSP, Viewpoints, LOTOS, Object-Z
11	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
11	Paulo Tabuada, George J. Pappas, Pedro U. Lima	Composing Abstractions of Hybrid Systems.	HSCC	2002	DBLP DOI BibTeX RDF
11	Andreas Speck, Elke Pulvermüller, Ragnhild Van Der Straeten, Ralf H. Reussner, Matthias Clauß	Model-Based Software Reuse.	ECOOP Workshops	2002	DBLP DOI BibTeX RDF
11	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Synchronized Parallel Composition of Event Systems in B.	ZB	2002	DBLP DOI BibTeX RDF
11	Christoph M. Kirsch	Principles of Real-Time Programming.	EMSOFT	2002	DBLP DOI BibTeX RDF
11	Gerald Lüttgen, Michael Mendler	Axiomatizing an Algebra of Step Reactions for Synchronous Languages.	CONCUR	2002	DBLP DOI BibTeX RDF
11	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	UPPAAL Implementation Secrets.	FTRTFT	2002	DBLP DOI BibTeX RDF
11	Thomas Santen, Maritta Heisel, Andreas Pfitzmann	Confidentiality-Preserving Refinement is Compositional - Sometimes.	ESORICS	2002	DBLP DOI BibTeX RDF
11	Rogier M. van Eijk	Semantics of Agent Communication: An Introduction.	Foundations and Applications of Multi-Agent Systems	2002	DBLP DOI BibTeX RDF
11	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini	DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	Model Objects, Performance Analysis Framework, Model composition
11	Ugo Montanari, Leila Ribeiro 0001	Linear Ordered Graph Grammars and Their Algebraic Foundations.	ICGT	2002	DBLP DOI BibTeX RDF
11	Franck Barbier	Composability for Software Components: An Approach Based on the Whole-Part Theory.	ICECCS	2002	DBLP DOI BibTeX RDF
11	Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini	Design Validation of Embedded Dependable Systems.	IEEE Micro	2001	DBLP DOI BibTeX RDF
11	Lawrence C. Paulson	Mechanizing a theory of program composition for UNITY.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
11	Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren	MoDeST - A Modelling and Description Language for Stochastic Timed Systems.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
11	Simona Bernardi 0001, Susanna Donatelli	Performance Validation of Fault-Tolerance Software: A Compositional Approach.	DSN	2001	DBLP DOI BibTeX RDF
11	Marcin Chady	Modelling Higher Cognitive Functions with Hebbian Cell Assemblies.	Emergent Neural Computational Architectures Based on Neuroscience	2001	DBLP DOI BibTeX RDF
11	Michal Walicki, Adis Hodzic, Sigurd Meldal	Compositional Homomorphisms of Relational Structures.	FCT	2001	DBLP DOI BibTeX RDF
11	David Kinny	Reliable Agent Computation: An Algebraic Approach.	PRIMA	2001	DBLP DOI BibTeX RDF
11	Sebastian Link	Consistency Enforcement in Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
11	Antti Puhakka, Antti Valmari	Liveness and Fairness in Process-Algebraic Verification.	CONCUR	2001	DBLP DOI BibTeX RDF
11	Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala	Compositional Methods for Probabilistic Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
11	David Kinny	The Psi Calculus: An Algebraic Agent Language.	ATAL	2001	DBLP DOI BibTeX RDF
11	Yonit Kesten, Amir Pnueli	Control and Data Abstraction: The Cornerstones of Practical Formal Verification.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant
11	Charles Lakos	Composing Abstractions of Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Refinement, Abstraction
11	Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis	Parametric Stochastic Well-Formed Nets and Compositional Modelling.	ICATPN	2000	DBLP DOI BibTeX RDF
11	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Information Flow Analysis in a Discrete-Time Process Algebra.	CSFW	2000	DBLP DOI BibTeX RDF	Security, Real-time, Process Algebra, Non interference
11	Andrei Sabelfeld, David Sands 0001	Probabilistic Noninterference for Multi-Threaded Programs.	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
11	Yih-Kuen Tsay	Compositional Verification in Linear-Time Temporal Logic.	FoSSaCS	2000	DBLP DOI BibTeX RDF
11	Kai Engelhardt, Ron van der Meyden, Yoram Moses	A Program Refinement Framework Supporting Reasoning about Knowledge and Time.	FoSSaCS	2000	DBLP DOI BibTeX RDF
11	Kung-Kiu Lau, Mario Ornaghi	Isoinitial Semantics for Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
11	Antti Valmari	Composition and Abstraction.	MOVEP	2000	DBLP DOI BibTeX RDF