Search results for "instantiation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Chaorong Peng, Chang Wen Chen	A New Network Layer for Mobile Ad Hoc Wireless Networks Based on Assignment Router Identity Protocol.	ICCCN	2007	DBLP DOI BibTeX RDF
8	Raphael C.-W. Phan, Serge Vaudenay	Security-Preserving Asymmetric Protocol Encapsulation.	ICISC	2007	DBLP DOI BibTeX RDF
8	Joachim Becker, Stanis Trendelenburg, Fabian Henrici, Yiannos Manoli	A field programmable Gm-C filter array (FPAA) for online adaptation to environmental changes.	AHS	2007	DBLP DOI BibTeX RDF
8	Brent Barton, Evan Campbell	Implementing a Professional Services Organization Using Type C Scrum.	HICSS	2007	DBLP DOI BibTeX RDF
8	Christian Emig, Kim Langer, Jürgen Biermann, Sebastian Abeck	Semantic Integration of Identity Data Repositories.	KiVS	2007	DBLP DOI BibTeX RDF
8	Anthony Jones 0002, Dan Cornford	Defining the Fluid Framework.	IRI	2007	DBLP DOI BibTeX RDF
8	Kevin Gary, Bradley Szabo, Lavanya Vijayan, Braden Chapman, Jayavarshini Radhakrishnan, Aishwarya Sivaraman	JMaPSS: Spreading Activation Search for the Semantic Web.	IRI	2007	DBLP DOI BibTeX RDF
8	Christoph Bockisch, Mira Mezini	A flexible architecture for pointcut-advice language implementations.	VMIL	2007	DBLP DOI BibTeX RDF
8	Andrea Calimera, Antonio Pullini, Ashoka Visweswara Sathanur, Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino	Design of a family of sleep transistor cells for a clustered power-gating flow in 65nm technology.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	layout, leakage power, insertion, standard-cell, sleep transistor
8	Sorin Stratulat	'Descente Infinie' Induction-Based Saturation Procedures.	SYNASC	2007	DBLP DOI BibTeX RDF
8	Michel Abdalla, Eike Kiltz, Gregory Neven	Generalized Key Delegation for Hierarchical Identity-Based Encryption.	ESORICS	2007	DBLP DOI BibTeX RDF
8	María José Abásolo, José Mariano Della	Magallanes: 3D navigation for everybody.	GRAPHITE	2007	DBLP DOI BibTeX RDF	accessibility, VRML, virtual worlds, wayfinding, navigation aids
8	Xubin Luo, Bin Wang 0002	Service provisioning under a scheduled traffic model using light-trails in WDM optical networks.	BROADNETS	2007	DBLP DOI BibTeX RDF
8	Shai Halevi	Invertible Universal Hashing and the TET Encryption Mode.	CRYPTO	2007	DBLP DOI BibTeX RDF
8	Asad Awan, Suresh Jagannathan, Ananth Grama	Macroprogramming heterogeneous sensor networks using cosmos.	EuroSys	2007	DBLP DOI BibTeX RDF	wireless sensor networks, heterogeneous networks, dataflow, macroprogramming
8	Zhengjun Cao, Lihua Liu	Boudot's Range-Bounded Commitment Scheme Revisited.	ICICS	2007	DBLP DOI BibTeX RDF	range-bounded commitment, knowledge of a discrete logarithm, zero-knowledge proof
8	Stephan Grimm	Intersection-Based Matchmaking for Semantic Web Service Discovery.	ICIW	2007	DBLP DOI BibTeX RDF
8	Jeffrey L. Krichmar, Gerald M. Edelman	Design Principles and Constraints Underlying the Construction of Brain-Based Devices.	ICONIP (2)	2007	DBLP DOI BibTeX RDF	neuroanatomy, value systems, embodiment, neural modeling
8	Sang-Moon Soak, David W. Corne, Byung-Ha Ahn	The Edge-Window-Decoder Representation for Tree-Based Problems.	IEEE Trans. Evol. Comput.	2006	DBLP DOI BibTeX RDF
8	Ling Yuan, Jin Song Dong, Jing Sun 0002, Hamid Abdul Basit	Generic Fault Tolerant Software Architecture Reasoning and Customization.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
8	Yadollah Eslami, Ali Sheikholeslami, P. Glenn Gulak, Shoichi Masui, Kenji Mukaida	An area-efficient universal cryptography processor for smart cards.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
8	Jaesoo Lee, Saehwa Kim, Jiyong Park, Seongsoo Hong	Q-SCA: Incorporating QoS support into software communications architecture for SDR waveform processing.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Software communications architecture, QoS, Resource allocation, Software defined radio
8	Thomas Ellman	Specification and synthesis of hybrid automata for physics-based animation.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF
8	Robert L. Goldstone, A. Jones, Michael E. Roberts	Group path formation.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
8	Nihar Jindal	MIMO Broadcast Channels With Finite-Rate Feedback.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
8	Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch	Intrusion-tolerant middleware: the road to automatic security.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
8	Wahid Chrabakh, Richard Wolski	GridSAT: Design and Implementation of a Computational Grid Application.	J. Grid Comput.	2006	DBLP DOI BibTeX RDF	Scheduling, Parallel, Distributed, Satisfiability, Computational Grid
8	Danna Voth, Benjamin Alfonsi	In the News.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	machine learning, speech recognition, pattern matching, molecular computers, chatbot
8	Aurélien Martinet, Cyril Soler, Nicolas Holzschuch, François X. Sillion	Accurate detection of symmetries in 3D shapes.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF
8	Alin Alecu, Adrian Munteanu 0001, Jan Cornelis 0001, Peter Schelkens	Wavelet-based scalable L-infinity-oriented compression.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
8	Arvind Arasu, Shivnath Babu, Jennifer Widom	The CQL continuous query language: semantic foundations and query execution.	VLDB J.	2006	DBLP DOI BibTeX RDF	Query processing, Data streams, Query language, Continuous queries
8	William J. O'Brien, Joachim Hammer, Mohsin Siddiqui	From SEEKing Knowledge to Making Connections: Challenges, Approaches and Architectures for Distributed Process Integration.	EG-ICE	2006	DBLP DOI BibTeX RDF
8	Cheng Zeng, Haiyang Zhou, Bing Yan	Cross-Media Database Retrieval System Based on TOTEM.	WISE Workshops	2006	DBLP DOI BibTeX RDF
8	N. Pete Sedcole, Peter Y. K. Cheung, George A. Constantinides, Wayne Luk	On-Chip Communication in Run-Time Assembled Reconfigurable Systems.	ICSAMOS	2006	DBLP DOI BibTeX RDF
8	Willy Susilo, Yi Mu 0001	Separable Identity-Based Deniable Authentication: Cryptographic Primitive for Fighting Phishing.	EuroPKI	2006	DBLP DOI BibTeX RDF	repudiable, authentication, email, phishing, separable, ID-based, deniable
8	Yali Amit, Alain Trouvé	Generative Models for Labeling Multi-object Configurations in Images.	Toward Category-Level Object Recognition	2006	DBLP DOI BibTeX RDF
8	Raoni Kulesza, Uirá Kulesza, Graça Bressan	Implementing an Adaptation Layer for Multimedia Servers using Aspect-Oriented Programming.	WebMedia	2006	DBLP DOI BibTeX RDF	adaptive software design, aspect oriented programming and separation of concerns, multimedia networked application, adaptation
8	Woralak Kongdenfha, Régis Saint-Paul, Boualem Benatallah, Fabio Casati	An Aspect-Oriented Framework for Service Adaptation.	ICSOC	2006	DBLP DOI BibTeX RDF
8	Michael Pantazoglou, Aphrodite Tsalgatidou, George Athanasopoulos	Discovering Web Services and JXTA Peer-to-Peer Services in a Unified Manner.	ICSOC	2006	DBLP DOI BibTeX RDF
8	Kazuhiko Minematsu	Improved Security Analysis of XEX and LRW Modes.	Selected Areas in Cryptography	2006	DBLP DOI BibTeX RDF
8	Iyad Rahwan, Leila Amgoud	An Argumentation-Based Approach for Practical Reasoning.	ArgMAS	2006	DBLP DOI BibTeX RDF
8	Naiyana Sahavechaphan, Kajal T. Claypool	XSnippet: mining For sample code.	OOPSLA	2006	DBLP DOI BibTeX RDF	code assistants, code mining, ranking code samples, code reuse
8	Takuya Umedachi, Akio Ishiguro	A Development of a Fully Self-contained Real-time Tunable Spring.	IROS	2006	DBLP DOI BibTeX RDF
8	Andreas Abel 0001	Towards Generic Programming with Sized Types.	MPC	2006	DBLP DOI BibTeX RDF
8	David Bainbridge 0001, Wendy Osborn, Ian H. Witten, David M. Nichols	Extending Greenstone for Institutional Repositories.	ICADL	2006	DBLP DOI BibTeX RDF
8	Zhi-hua Jiang, Yun-fei Jiang	Planning with Domain Rules Based on State-Independent Activation Sets.	PKAW	2006	DBLP DOI BibTeX RDF	Deterministic planning, Domain rules, activation sets
8	Katie Atkinson, Trevor J. M. Bench-Capon, Sanjay Modgil	Argumentation for Decision Support.	DEXA	2006	DBLP DOI BibTeX RDF
8	José Nuno Oliveira, César Jesus Rodrigues	Pointfree Factorization of Operation Refinement.	FM	2006	DBLP DOI BibTeX RDF	reusable theories, refinement, Theoretical foundations, calculation
8	Michael Rathjen	Models of Intuitionistic Set Theories over Partial Combinatory Algebras.	TAMC	2006	DBLP DOI BibTeX RDF
8	Farshad A. Samimi, Philip K. McKinley, Seyed Masoud Sadjadi	Mobile Service Clouds: A Self-Managing Infrastructure for Autonomic Mobile Computing Services.	SelfMan	2006	DBLP DOI BibTeX RDF
8	Eli Gjørven, Frank Eliassen, Ketil Lund, Viktor S. Wold Eide, Richard Staehli	Self-Adaptive Systems: A Middleware Managed Approach.	SelfMan	2006	DBLP DOI BibTeX RDF
8	Grigore Rosu	Complete Categorical Deduction for Satisfaction as Injectivity.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
8	Volkan Ustun, Levent Yilmaz, Jeffrey S. Smith	A conceptual model for agent-based simulation of physical security systems.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	physical security systems, intelligent agents, agent-based simulation, cooperative agents
8	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
8	Thomas Bittner, Maureen Donnelly	A Classification of Spatio-temporal Entities Based on Their Location in Space-Time.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
8	Conrad Hughes, Jamie Hillman	QoS Explorer: A Tool for Exploring QoS in Composed Services.	ICWS	2006	DBLP DOI BibTeX RDF
8	Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh	Appearance Based Multiple Agent Tracking Under Complex Occlusions.	PRICAI	2006	DBLP DOI BibTeX RDF
8	Jorma Sajaniemi, Pauli Byckling, Petri Gerdt	Metaphor-based animation of OO programs.	SOFTVIS	2006	DBLP DOI BibTeX RDF	object-oriented programming, metaphor, program animation
8	Dian Tjondronegoro, Yi-Ping Phoebe Chen, Binh Pham 0001	Extensible detection and indexing of highlight events in broadcasted sports video.	ACSC	2006	DBLP BibTeX RDF	extensible sports video indexing, multimodal event detection
8	Jan Recker, Jan Mendling, Wil M. P. van der Aalst, Michael Rosemann	Model-Driven Enterprise Systems Configuration.	CAiSE	2006	DBLP DOI BibTeX RDF
8	Jeremy G. Siek, Walid Taha	A Semantic Analysis of C++ Templates.	ECOOP	2006	DBLP DOI BibTeX RDF
8	Zoltán Porkoláb, József Mihalicza, Ádám Sipos	Debugging C++ template metaprograms.	GPCE	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, debugging
8	Jorge Cláudio Cordeiro Pires Mascena, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Vinicius Cardoso Garcia	Towards an effective integrated reuse environment.	GPCE	2006	DBLP DOI BibTeX RDF	reuse metrics, information retrieval, software reuse
8	Alexandra Boldyreva, Marc Fischlin	On the Security of OAEP.	ASIACRYPT	2006	DBLP DOI BibTeX RDF
8	Pascal Paillier, Jorge Luis Villar	Trading One-Wayness Against Chosen-Ciphertext Security in Factoring-Based Encryption.	ASIACRYPT	2006	DBLP DOI BibTeX RDF
8	Shahram Ghandeharizadeh, Shyam Kapadia, Bhaskar Krishnamachari	An evaluation of availability latency in carrier-based wehicular ad-hoc networks.	MobiDE	2006	DBLP DOI BibTeX RDF	data carriers, mobility, latency, Markov model, AutoMata, vehicular networks, replacement policy
8	George I. Stassinopoulos, Yiannis Dimitriadis, Antony Markopoulos	Component Based Integration of Presentation, Data Access and Application Logic.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
8	David Pardoe, Peter Stone, Maytal Saar-Tsechansky, Kerem Tomak	Adaptive mechanism design: a metalearning approach.	ICEC	2006	DBLP DOI BibTeX RDF	metalearning, machine learning, auctions, mechanism design
8	Falk Hartmann	An Architecture for an XML-Template Engine Enabling Safe Authoring.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
8	Naomi Nishimura, Prabhakar Ragde, Stefan Szeider	Solving #SAT Using Vertex Covers.	SAT	2006	DBLP DOI BibTeX RDF
8	Rajarshi Mukherjee, Somsubhra Mondal, Seda Ogrenci Memik	Thermal sensor allocation and placement for reconfigurable systems.	ICCAD	2006	DBLP DOI BibTeX RDF	sensor, placement, allocation, temperature
8	David Sheldon, Rakesh Kumar 0002, Frank Vahid, Dean M. Tullsen, Roman L. Lysecky	Conjoining soft-core FPGA processors.	ICCAD	2006	DBLP DOI BibTeX RDF	conjoined processors, parameterized platforms, soft-core processors, FPGAs, customization, tuning
8	Janusz Wojtusiak, Ryszard S. Michalski	The LEM3 implementation of learnable evolution model and its testing on complex function optimization problems.	GECCO	2006	DBLP DOI BibTeX RDF	learnable evolution model, machine learning, evolutionary computation, function optimization
8	Hend Madhour, Mohamed Ali Sfaxi, Maia Wentland Forte, Solange Ghernaouti-Helie	Ownership Detection and Protection for Learning Objects.	ICALT	2006	DBLP DOI BibTeX RDF
8	Victor González-Castro, Lachlan M. MacKinnon, David H. Marwick	An Experimental Consideration of the Use of the TransrelationalTMModel for Data Warehousing.	BNCOD	2006	DBLP DOI BibTeX RDF
8	Phillip Rogaway, Thomas Shrimpton	A Provable-Security Treatment of the Key-Wrap Problem.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
8	Xiao Yan Deng, Philip W. Trinder, Greg Michaelson	Autonomous Mobile Programs.	IAT	2006	DBLP DOI BibTeX RDF
8	Jingtao Zhou, Mingwei Wang 0001	SGII: Combining P2P Data Integration Paradigm and Semantic Web Technology On Top Of OGSA-DAI.	CCGRID	2006	DBLP DOI BibTeX RDF
8	Mathieu d'Aquin, Jean Lieber, Amedeo Napoli	Case-Based Reasoning Within Semantic Web Technologies.	AIMSA	2006	DBLP DOI BibTeX RDF	description logic reasoning, semantic Web, OWL, Case-based reasoning, oncology
8	Maria Tchalakova, Borislav Popov, Milena Yankova	Methodology for Bootstrapping Relation Extraction for the Semantic Web.	AIMSA	2006	DBLP DOI BibTeX RDF	Relation Information Extraction, Semantic Web, Methodology
8	Ryszard S. Michalski, Janusz Wojtusiak, Kenneth A. Kaufman	Intelligent Optimization via Learnable Evolution Model.	ICTAI	2006	DBLP DOI BibTeX RDF
8	Joseph K. Liu, Willy Susilo, Duncan S. Wong	Ring Signature with Designated Linkability.	IWSEC	2006	DBLP DOI BibTeX RDF	linkable ring signature, spontaneous group signature, ring signature
8	Huu-Duc Nguyen, Atsushi Ohori	Compiling ML polymorphism with explicit layout bitmap.	PPDP	2006	DBLP DOI BibTeX RDF	type-directed compilation, garbage collection, memory management, polymorphism
8	Daniel Cotting, Markus H. Gross	Interactive environment-aware display bubbles.	UIST	2006	DBLP DOI BibTeX RDF	imperceptible structured light, interaction, tabletop, projectors, focus and context, adaptive displays
8	Lijun Yin 0001, Xiaozhou Wei	Multi-Scale Primal Feature Based Facial Expression Modeling and Identification.	FGR	2006	DBLP DOI BibTeX RDF
8	Henry Detmold, Katrina Falkner, David S. Munro, Travis Olds, Alicia Zakarevicius	Evolving System Services to Meet Application Requirements.	HICSS	2006	DBLP DOI BibTeX RDF
8	Changrui Yu, Hongwei Wang 0009, Yan Luo	Extended Ontology Model and Ontology Checking Based on Description Logics.	FSKD	2006	DBLP DOI BibTeX RDF
8	Young-Jun Seo, Young-Jae Song	A Study on Automatic Code Generation Tool from Design Patterns Based on the XMI.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
8	Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, Davy Suvée	Explicitly distributed AOP using AWED.	AOSD	2006	DBLP DOI BibTeX RDF	distributed language constructs, remote pointcuts, aspects, distributed execution, AWED
8	Einat Minkov, William W. Cohen, Andrew Y. Ng	Contextual search and name disambiguation in email using graphs.	SIGIR	2006	DBLP DOI BibTeX RDF	graph-based retrieval, email, threading, name disambiguation
8	Sherman S. M. Chow, Willy Susilo, Tsz Hon Yuen	Escrowed Linkability of Ring Signatures and Its Applications.	VIETCRYPT	2006	DBLP DOI BibTeX RDF	pairings, ring signature, identity-based, linkability
8	Sten A. Lundesgaard, Ketil Lund, Frank Eliassen	Service Plans for Context- and QoS-aware Dynamic Middleware.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
8	Thomas Santen	A Formal Framework for Confidentiality-Preserving Refinement.	ESORICS	2006	DBLP DOI BibTeX RDF
8	Husam Abu-Haimed, David L. Dill, Sergey Berezin	A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification.	FMCAD	2006	DBLP DOI BibTeX RDF
8	Christoforos E. Economakos, Fotis N. Koumboulis	A Safe Set Point Supervisor for MIMO Processes.	ETFA	2006	DBLP DOI BibTeX RDF
8	Richard Carlsson, Mickaël Rémond	EUnit: a lightweight unit testing framework for Erlang.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	frameworks, unit testing, Erlang, agile methods
8	K. Subramani 0001	Totally Clairvoyant Scheduling with Relative Timing Constraints.	VMCAI	2006	DBLP DOI BibTeX RDF
8	Philip K. McKinley, Farshad A. Samimi, Jonathan K. Shapiro, Chiping Tang	Service Clouds: A Distributed Infrastructure for Constructing Autonomic Communication Services.	DASC	2006	DBLP DOI BibTeX RDF
8	Colin F. Snook, Michael Poppleton, Ian Johnson	Towards a Method for Rigorous Development of Generic Requirements Patterns.	RODIN Book	2006	DBLP DOI BibTeX RDF
8	Michael Scott, Neil Costigan, Wesam Abdulwahab	Implementing Cryptographic Pairings on Smartcards.	CHES	2006	DBLP DOI BibTeX RDF	Elliptic curves, pairing-based cryptosystems, fast implementations