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 |
|