Search results for "instantiation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Jan Camenisch, Nishanth Chandran, Victor Shoup	A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks.	EUROCRYPT	2009	DBLP DOI BibTeX RDF
15	Simona Orzan, Wieger Wesselink, Tim A. C. Willemse	Static Analysis Techniques for Parameterised Boolean Equation Systems.	TACAS	2009	DBLP DOI BibTeX RDF
15	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
15	Mahabir Prasad Jhanwar, Rana Barua	A Variant of Boneh-Gentry-Hamburg's Pairing-Free Identity Based Encryption Scheme.	Inscrypt	2008	DBLP DOI BibTeX RDF	Quadratic Residuosity Assumption, Pairing Map, IND-ID-CPA, Identity Based Encryption
15	Eduardo Figueiredo 0001, Cláudio Sant'Anna, Alessandro Garcia 0001, Thiago T. Bartolomei, Walter Cazzola, Alessandro Marchetto 0001	On the Maintainability of Aspect-Oriented Software: A Concern-Oriented Measurement Framework.	CSMR	2008	DBLP DOI BibTeX RDF
15	Éric Monfroy, Olivier Perrin 0001, Christophe Ringeissen	Dynamic Web Services Provisioning with Constraints.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	web service, privacy, provisioning, constraint reasoning
15	Matthias Gutheil, Bastian Kennel, Colin Atkinson 0001	A Systematic Approach to Connectors in a Multi-level Modeling Environment.	MoDELS	2008	DBLP DOI BibTeX RDF	Metamodeling, Association, Connector, Multi-Level Modeling
15	Jawad Makki, Anne-Marie Alquier, Violaine Prince	An NLP-based ontology population for a risk management generic structure.	CSTST	2008	DBLP DOI BibTeX RDF	instance recognition rules, information extraction, risk management, semantic analysis, ontology population, POS tagging
15	Surya Nepal, John Zic, Shiping Chen 0001	A Contract Language for Service-Oriented Dynamic Collaborations.	CollaborateCom	2008	DBLP DOI BibTeX RDF
15	Benjamin Köhncke, Wolf-Tilo Balke	Preference-driven personalization for flexible digital item adaptation.	Multim. Syst.	2007	DBLP DOI BibTeX RDF	Personalization, Multimedia systems, Skyline queries, Preference modeling, Digital item adaptation
15	Aggelos Kiayias, Moti Yung	Cryptanalyzing the polynomial-reconstruction based public-key system under optimal parameter choice.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classification 94A60
15	Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya	Beyond single-appearance schedules: Efficient DSP software synthesis using nested procedure calls.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	block diagram compiler, hierarchical graph decomposition, procedural implementation, embedded systems, design methodology, memory optimization, Synchronous dataflow
15	Yali Amit, Alain Trouvé	POP: Patchwork of Parts Models for Object Recognition.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	model estimation, multi-object configurations, deformable models, object detection
15	Remo Job, Claudio Mulatti	Do Computational Models of Reading Need a Bit of Semantics?	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
15	Thomas Jansen 0001, Madeleine Theile	Stability in the self-organized evolution of networks.	GECCO	2007	DBLP DOI BibTeX RDF	evolutionary algorithms, stability, self-organization, run time analysis
15	Manfred Schmidt-Schauß	Correctness of Copy in Calculi with Letrec.	RTA	2007	DBLP DOI BibTeX RDF
15	Aabhas V. Paliwal, Nabil R. Adam, Basit Shafiq, Christof Bornhövd	Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets.	CEC/EEE	2007	DBLP DOI BibTeX RDF
15	Zinovi Rabinovich, Jeffrey S. Rosenschein, Gal A. Kaminka	Dynamics based control with an application to area-sweeping problems.	AAMAS	2007	DBLP DOI BibTeX RDF	dynamics based control, target dynamics, robotics, multiagent systems, control
15	Rendong Bai, Mukesh Singhal	DOA: DSR over AODV Routing for Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	Ad hoc networks, scalability, MANET, routing protocols, AODV, hierarchical, DSR
15	Juan A. Garay, Philip D. MacKenzie, Ke Yang	Strengthening Zero-Knowledge Protocols Using Signatures.	J. Cryptol.	2006	DBLP DOI BibTeX RDF	Simulation soundness, Signatures, Zero knowledge, Non-malleability
15	Ming Zhao 0002, Jian Zhang 0005, Renato J. O. Figueiredo	Distributed File System Virtualization Techniques Supporting On-Demand Virtual Machine Environments for Grid Computing.	Clust. Comput.	2006	DBLP DOI BibTeX RDF	grid computing, virtual machine, distributed file system
15	Nuno Amálio, Susan Stepney, Fiona Polack	A Formal Template Language Enabling Metaproof.	FM	2006	DBLP DOI BibTeX RDF	formal development, patterns, templates, Z, proof
15	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
15	Xuesen Ma, Jianghong Han, Yang Lu, Zhenchun Wei	Research of Component-Based Hybrid Design Pattern for Real-Time Microkernel.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
15	Raoul F. Badaoui, Ranga Vemuri	Multi-Placement Structures for Fast and Optimized Placement in Analog Circuit Synthesis.	DATE	2005	DBLP DOI BibTeX RDF
15	Holger Kunz, Thorsten Schaaf, Jürgen Braun, Thomas Tolxdorff	Framework for an IT-Supported Balanced Scorecard in Health Care.	ICITA (2)	2005	DBLP DOI BibTeX RDF
15	Zhongjie Wang, Xiaofei Xu, De-chen Zhan	A Component Optimization Design Method based on Component Instance Set Decomposition: Decreasing Component Reuse CostExtended-DDF Modeling Embedded System Design: Adapting to IP Technology.	CIT	2005	DBLP DOI BibTeX RDF
15	Nuttapong Attrapadung, Hideki Imai	Graph-Decomposition-Based Frameworks for Subset-Cover Broadcast Encryption and Efficient Instantiations.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
15	Hoong Chuin Lau, Thomas Ou, Melvyn Sim	Robust Temporal Constraint Network.	ICTAI	2005	DBLP DOI BibTeX RDF	Uncertainty, Temporal constraints, Planning and Scheduling
15	John Malone-Lee	A General Construction for Simultaneous Signing and Encrypting.	IMACC	2005	DBLP DOI BibTeX RDF
15	Joachim Becker, Fabian Henrici, Yiannos Manoli	System-Level Analog Simulation of a Mixed-Signal Continuous-Time Field Programmable Analog Array.	IWSOC	2005	DBLP DOI BibTeX RDF
15	Jürgen Zimmer, Erica Melis	Constraint Solving for Proof Planning.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	constraint satisfaction, automated reasoning, proof plans
15	Luke K. McDowell, Oren Etzioni, Alon Y. Halevy	The Specification of Agent Behavior by Ordinary People: A Case Study.	ISWC	2004	DBLP DOI BibTeX RDF
15	Thomas Gschwind, Martin Pinzger 0001, Harald C. Gall	TUAnalyzer -- Analyzing Templates in C++ Code.	WCRE	2004	DBLP DOI BibTeX RDF
15	Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya	Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition.	SCOPES	2004	DBLP DOI BibTeX RDF
15	Martin Zimmermann 0001	Distributed Multimedia Networking Services: Dynamic Configuration and Change Management.	ECUMN	2004	DBLP DOI BibTeX RDF
15	Aggelos Kiayias, Moti Yung	Cryptanalyzing the Polynomial-Reconstruction Based Public-Key System Under Optimal Parameter Choice.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
15	Francis Rousseaux, Alain Bonardi	Reconcile art and culture on the web.	ICEC	2004	DBLP DOI BibTeX RDF	media mining, on-line music distribution, artificial intelligence, intelligent user interface, computing theory, content based indexing and retrieval, computer art
15	Mihir Bellare, Alexandra Boldyreva, Adriana Palacio	An Uninstantiable Random-Oracle-Model Scheme for a Hybrid-Encryption Problem.	EUROCRYPT	2004	DBLP DOI BibTeX RDF
15	Xin Li, Leen-Kiat Soh	Learning How to Plan and Instantiate a Plan in Multi-Agent Coalition Formation.	IAT	2004	DBLP DOI BibTeX RDF
15	Leen-Kiat Soh, Xin Li	Adaptive, Confidence-Based Multiagent Negotiation Strategy.	AAMAS	2004	DBLP DOI BibTeX RDF
15	Juan A. Garay, Philip D. MacKenzie, Ke Yang 0005	Strengthening Zero-Knowledge Protocols Using Signatures.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
15	Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm	Parametric shape analysis via 3-valued logic.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	3-valued logic, destructive updating, static analysis, Abstract interpretation, shape analysis, constraint solving, pointer analysis, alias analysis
15	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Parameterized object sensitivity for points-to and side-effect analyses for Java.	ISSTA	2002	DBLP DOI BibTeX RDF
15	Rajeev Alur, Radu Grosu, Insup Lee 0001, Oleg Sokolsky	Compositional Refinement for Hierarchical Hybrid Systems.	HSCC	2001	DBLP DOI BibTeX RDF
15	Merijn de Jonge, Joost Visser 0001	Grammers as Contracts.	GCSE	2000	DBLP DOI BibTeX RDF
15	Ryszard S. Michalski	Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation.	ISMIS	2000	DBLP DOI BibTeX RDF
15	Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar 0001, Insup Lee 0001	Modular Specification of Hybrid Systems in CHARON.	HSCC	2000	DBLP DOI BibTeX RDF
15	Joachim Bayer, Dirk Muthig, Tanya Widen	Customizable Domain Analysis.	GCSE	1999	DBLP DOI BibTeX RDF	Product Line Software Engineering, Domain Engineering, Domain Analysis
15	Alexander Runge, Bernd Schopp, Katarina Stanoevska-Slabeva	The Management of Business Transactions through Electronic Contracts.	DEXA Workshops	1999	DBLP DOI BibTeX RDF
15	Sebastian Maneth, Frank Neven	Structured Document Transformations Based on XSL.	DBPL	1999	DBLP DOI BibTeX RDF
15	J. Michael Ashley, R. Kent Dybvig	A Practical and Flexible Flow Analysis for Higher-Order Languages.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	abstract interpretation, higher-order languages
15	Sten Agerholm, Jacob Frost	An Isabelle-Based Theorem Prover for VDM-SL.	TPHOLs	1997	DBLP DOI BibTeX RDF
15	Karl-Filip Faxén	Polyvariance, Polymorphism and Flow Analysis.	LOMAPS	1996	DBLP DOI BibTeX RDF	polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms
15	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	A Pi-Calculus with Explicit Substitutions: the Late Semantics.	MFCS	1994	DBLP DOI BibTeX RDF
15	Hans-Jürgen Bürckert	Terminologies and Rules.	IS/KI	1994	DBLP DOI BibTeX RDF
15	Robert Balzer, K. Narayanaswamy	Mechanisms for Generic Process Support.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
15	Victor R. Basili, Gianluigi Caldiera, Giovanni Cantone	A Reference Architecture for the Component Factory.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	component factory, reusability, reference architecture, experience factory
15	James R. Cordy, Medha Shukla	Practical metaprogramming.	CASCON	1992	DBLP BibTeX RDF
15	Franz Baader	Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems.	RTA	1991	DBLP DOI BibTeX RDF
15	John R. Talburt, Donna M. Mooney	An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget's International Thesaurus.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF
15	Karl Rehmer	Ada software development using generics.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada
8	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
8	Bernhard Volz	A meta model for representing arbitrary meta model hierarchies.	SAC	2010	DBLP DOI BibTeX RDF	linguistic meta model, meta modeling
8	Anthony Monnet, Roger Villemaire	Scalable formula decomposition for propositional satisfiability.	C3S2E	2010	DBLP DOI BibTeX RDF	scalability, SAT, tree decomposition, propositional satisfiability, DPLL
8	Serban Iordache	Consultant-guided search: a new metaheuristic for combinatorial optimization problems.	GECCO	2010	DBLP DOI BibTeX RDF	combinatorial optimization, swarm intelligence, traveling salesman problem, metaheuristics
8	Jun Wu, Marcel Worring	Genre-specific semantic video indexing.	CIVR	2010	DBLP DOI BibTeX RDF	efficiency, semantic indexing, genre classification
8	Ittay Eyal, Idit Keidar, Raphael Rom	Distributed data classification in sensor networks.	PODC	2010	DBLP DOI BibTeX RDF	distributed classification, gossip
8	Alexander D. Rast, Xin Jin 0003, Francesco Galluppi, Luis A. Plana, Cameron Patterson, Stephen B. Furber	Scalable event-driven native parallel processing: the SpiNNaker neuromimetic system.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	universal neural processor, asynchronous, event-driven
8	Pablo Oliveira Antonino, Slawomir Duszynski, Christian Jung 0001, Manuel Rudolph	Indicator-based architecture-level security evaluation in a service-oriented environment.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	security, service-oriented architecture, evaluation method, indicator, security evaluation
8	Jakob Axelsson	Towards a process maturity model for evolutionary architecting of embedded system product lines.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	embedded systems, architecture, evolution, maturity model
8	Billy Schonenberg, Christoph Bartneck	Mysterious machines.	HRI	2010	DBLP DOI BibTeX RDF	religion, exhibition, chatbot, turing
8	Håkon Ording Bugge	An evaluation of Intel's core i7 architecture using a comparative approach.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	SPEC MPI2007, Nehalem, iCore7, Harpertown, Quad-Core, QuickPath Interconnect, Moore’s Law, Benchmarking, Stream, Micro-benchmarks
8	Xiang Zhang, Gong Cheng 0001, Weiyi Ge, Yuzhong Qu	Summarizing Vocabularies in the Global Semantic Web.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	vocabulary summarization, Semantic Web, RDF, pragmatics
8	Mohammed Belkhatir	An operational model based on knowledge representation for querying the image content with concepts and relations.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Semantic/Relational integration, Knowledge representation formalisms, Precision/Recall validation, Conceptual graphs, Image indexing and retrieval
8	John Black, Martin Cochran, Thomas Shrimpton	On the Impossibility of Highly-Efficient Blockcipher-Based Hash Functions.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Blockcipher-based hash functions, Provable security, Ideal-cipher model, Tweakable blockciphers, Collision-resistant hash functions
8	Jason Sawin, Atanas Rountev	Improving static resolution of dynamic class loading in Java using dynamically gathered environment information.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	String analysis, Dynamic class loading, Static analysis, Reflection
8	Vassilios Peristeras, Manuel Fradinho, Deirdre Lee, Wolfgang Prinz, Rudolf Ruland, Kashif Iqbal, Stefan Decker	CERA: a collaborative environment reference architecture for interoperable CWE systems.	Serv. Oriented Comput. Appl.	2009	DBLP DOI BibTeX RDF	Semantic web, Service oriented architecture, Interoperability, Reference architectures, E-collaboration, Collaborative work environments
8	Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata	Meta-Argumentation Modelling I: Methodology and Techniques.	Stud Logica	2009	DBLP DOI BibTeX RDF	Abstract Argumentation, Modelling, Artificial Intelligence, Reasoning
8	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
8	Qingxin Zhu, B. John Oommen	Estimation of distributions involving unobservable events: the case of optimal search with unknown Target Distributions.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Estimation of unobservable events, Unknown Target Distributions, Optimal search theory
8	Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond	Synchronous objects with scheduling policies: introducing safe shared memory in lustre.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams
8	Ehtesham Zahoor, Olivier Perrin 0001, Claude Godart	An Integrated Declarative Approach to Web Services Composition and Monitoring.	WISE	2009	DBLP DOI BibTeX RDF
8	Pushpendra Bahadur Singh, Banshi Dhar Chaudhary	A formal model of design-patterns based design.	ISEC	2009	DBLP DOI BibTeX RDF	specification, design patterns
8	David S. Kirk, Abigail Sellen, Stuart Taylor, Nicolas Villar, Shahram Izadi	Putting the physical into the digital: issues in designing hybrid interactive surfaces.	BCS HCI	2009	DBLP BibTeX RDF	direct-touch, hybrid surfaces, design, TUI, tangibility
8	Ewing L. Lusk	Using MPI to Implement Scalable Libraries.	PVM/MPI	2009	DBLP DOI BibTeX RDF
8	Kazuo Furuta, Yusuke Soraji, Taro Kanno, Hisae Aoyama, Daisuke Karikawa, Makoto Takahashi	Analysis of Team Communication and Collaboration in En-Route Air Traffic Control.	HCI (9)	2009	DBLP DOI BibTeX RDF	team cognitive model, human factors, task analysis, air traffic control, Aviation safety
8	Suriyati Razali, Nor Laila Md. Noor, Wan Adilah Wan Adnan	Structuring the Social Subsystem Components of the Community Based E-Museum Framework.	HCI (12)	2009	DBLP DOI BibTeX RDF	Community based e-museum, social subsystem, community concept, cultural heritage
8	Nicholas Pojman, Adrienne Behneman, Natalie Kintz, Robin Johnson, Gregory K. W. K. Chung, Sam O. Nagashima, Paul Espinosa, Chris Berka	Characterizing the Psychophysiological Profile of Expert and Novice Marksmen.	HCI (16)	2009	DBLP DOI BibTeX RDF	Electrocardiogram (EKG), Marksmanship, Neurocognitive testing, psychomotor skill acquisition, Electroencephalogram (EEG), Expert, Heart Rate Variability
8	Peter Liggesmeyer, Jens Heidrich, Jürgen Münch, Robert Kalcklösch, Henning Barthel, Dirk Zeckzer	Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control.	HCI (1)	2009	DBLP DOI BibTeX RDF	Software Project Control Centers, Visualization Mechanisms, Data Visualization, GQM
8	Giby Raphael, Chris Berka, Djordje Popovic, Gregory K. W. K. Chung, Sam O. Nagashima, Adrienne Behneman, Gene Davis, Robin Johnson	Peak Performance Trainer (PPTTM): Interactive Neuro-educational Technology to Increase the Pace and Efficiency of Rifle Marksmanship Training.	HCI (16)	2009	DBLP DOI BibTeX RDF	Haptics, EEG, Heart rate, Alpha, Theta
8	Emmanuel Adam, Thierry Berger, Yves Sallez, Damien Trentesaux	An Open-Control Concept for a Holonic Multiagent System.	HoloMAS	2009	DBLP DOI BibTeX RDF	open-control, flexible manufacturing systems, holonic manufacturing system
8	Thomas Tuerk	A Formalisation of Smallfoot in HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
8	Alen Vrecko, Danijel Skocaj, Nick Hawes, Ales Leonardis	A computer vision integration model for a multi-modal cognitive system.	IROS	2009	DBLP DOI BibTeX RDF
8	Alejandro Arbelaez, Youssef Hamadi	Exploiting weak dependencies in tree-based search.	SAC	2009	DBLP DOI BibTeX RDF	constraint programming, functional dependencies, constraint satisfaction problems, tree-search
8	Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira	Implementing rigorous web services with process algebra: navigation plan for web services.	SAC	2009	DBLP DOI BibTeX RDF	web services, workflow, implementation, software, process algebra, BPEL
8	Elder Cirilo, Ingrid Nunes, Uirá Kulesza, Camila Nunes, Carlos José Pereira de Lucena	Automatic product derivation of multi-agent systems product lines.	SAC	2009	DBLP DOI BibTeX RDF	multi-agent systems, software product lines, BDI agents, model-driven software development
8	Michaela Huhn, Axel Zechner	Analysing Dependability Case Arguments Using Quality Models.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Safety Case, Dependability Case, Argument Assessment, Quality models, Model-based development, Argument structures
8	Meike Reichle, Kerstin Bach, Klaus-Dieter Althoff	The SEASALT Architecture and Its Realization within the docQuery Project.	KI	2009	DBLP DOI BibTeX RDF
8	Mónica Pinto, Lidia Fuentes, Juan A. Valenzuela, Paulo F. Pires, Flávia Coimbra Delicato, Éberton Marinho	On the need of architectural patterns in AOSD for software evolution.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF