Search results for "binding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Joachim Biskup, Ulrich Flegel	Threshold-based identity recovery for privacy enhanced applications.	CCS	2000	DBLP DOI BibTeX RDF	purpose binding, privacy, anonymity, secret sharing, pseudonymity
13	Koushik Sinha, Nabanita Das 0001	Exact Location Identification in a Mobile Computing Network.	ICPP Workshops	2000	DBLP DOI BibTeX RDF	message overhead, binding, message complexity, Location updation, time stamp, transmission delay, location area
13	Eric Dujardin, Eric Amiel, Eric Simon	Fast Algorithms for Compressed Multimethod Dispatch Table Generation.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	dispatch tables, pole types, run-time dispatch, optimization, multimethods, late binding
13	Aline Baggio	System support for transparency and network-aware adaptation in mobile environments.	SAC	1998	DBLP DOI BibTeX RDF	referencing, mobility, adaptability, replication, binding
13	Marc Gengler, Matthieu Martel	Self-Applicable Partial Evaluation for the pi-Calculus.	PEPM	1997	DBLP DOI BibTeX RDF	meta-intepretation, parallelism, partial evaluation, pi-calculus, binding-time analysis
13	Halldor Fosså, Morris Sloman	Interactive Configuration Management for Distributed Object Systems.	EDOC	1997	DBLP DOI BibTeX RDF	Hierarchical components, graphical life-cycle management, persistent configurations, CORBA, binding
13	Wie Ming Lim, John V. Harrison	An Integrated Database Reengineering Architecture - A Generic Approach.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	Database reengineering architecture, Schema abstraction, Semantic Binding, Core Specification, Model adapter
13	Heechern Kim, Chisu Wu	A Class Testing Technique Based on Data Bindings.	APSEC	1996	DBLP DOI BibTeX RDF	Software testing, data binding, class testing
13	Halldor Fosså, Morris Sloman	Implementing interactive configuration management for distributed systems.	CDS	1996	DBLP DOI BibTeX RDF	Component creation, interface binding, management user interface, domains, dynamic configuration
13	Jean Vuillemin	On Circuits and Numbers.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	PROM, 2-adic integers, synchronous decision diagrams, BDD constructs, bit-serial circuits, reset signals, 2Z, arithmetic synthesis f, periodic binary constants, deeply binding synchronous enable, combinational circuit semantics, arbitrary precision, programmable active memories, specification languages, sequential circuits, combinational circuits, digital arithmetic, logic CAD, adders, digital circuits, arithmetic, combinatorial circuits, synchronous circuits, continuous functions, rational numbers
13	Anders Bondorf	Automatic Autoprojection of Higher Order Recursive Equations.	ESOP	1990	DBLP DOI BibTeX RDF	semantics directed compiler generation, Partial evaluation, binding time analysis, self-application
13	Anders Bondorf	A Self-Applicable Partial Evaluator for Term Rewriting Systems.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF	elementary matching operations, partially static structures, Decision trees, pattern matching, abstract interpretation, functional languages, binding time analysis
13	Andrew Birrell, Bruce Jay Nelson	Implementing Remote Procedure Calls	ACM Trans. Comput. Syst.	1984	DBLP DOI BibTeX RDF	distributed naming and binding, performance of communication protocols, transport layer protocols, remote procedural calls, inter-process communication
13	A. James Baroody Jr., David J. DeWitt	An Object-Oriented Approach to Database System Implementation.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	data manipulation routines, procedural binding, object-oriented programming, database systems, high-level languages, data independence
12	Prasun Dewan	Increasing the automation of a toolkit without reducing its abstraction and user-interface flexibility.	EICS	2010	DBLP DOI BibTeX RDF	mvc, preconditions, undo, user interface tools, user interface tools, redo
12	Conor J. Houghton	Studying spike trains using a van Rossum metric with a synapse-like filter.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Song birds, Auditory pathway, Metric, Information, Spike trains
12	Phornphimon Maitarad, Sumalee Kamchonwongpaisan, Jarunee Vanichtanankul, Tirayut Vilaivan, Yongyuth Yuthavong, Supa Hannongbua	Interactions between cycloguanil derivatives and wild type and resistance-associated mutant Plasmodium falciparum dihydrofolate reductases.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	Dihydrofolate reductase, Cycloguanil, WR99210, CoMFA, Quantum chemical calculations
12	Md. Afroz Alam, Pradeep Kumar Naik	Molecular modelling evaluation of the cytotoxic activity of podophyllotoxin analogues.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	Podophyllotoxin, Prime/MM-GBSA, Virtual screening, Molecular docking
12	Sivaprakasam Prasanna, Pankaj R. Daga, Aihua Xie, Robert J. Doerksen	Glycogen synthase kinase-3 inhibition by 3-anilino-4-phenylmaleimides: insights from 3D-QSAR and docking.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	3D-QSAR, CoMFA, CoMSIA, GSK-3, Maleimides, Docking
12	Jürgen Jost	Formal Tools for the Analysis of Brain-Like Structures and Dynamics.	Creating Brain-Like Intelligence	2009	DBLP DOI BibTeX RDF
12	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos, Arturo Ribagorda	Extended electronic signature policies.	SIN	2009	DBLP DOI BibTeX RDF	extended business model, signature policy, e-commerce, public key infrastructure, electronic signature, ASN.1
12	Tali Raveh-Sadka, Michal Levo, Eran Segal	Incorporating Nucleosomes into Thermodynamic Models of Transcription Regulation.	RECOMB	2009	DBLP DOI BibTeX RDF
12	Jesper Bengtson, Joachim Parrow	Psi-calculi in Isabelle.	TPHOLs	2009	DBLP DOI BibTeX RDF
12	Chia-I Chen, Juinn-Dar Huang	CriAS: a performance-driven criticality-aware synthesis flow for on-chip multicycle communication architecture.	ASP-DAC	2009	DBLP DOI BibTeX RDF
12	Junbo Yu, Qiang Zhou 0001, Jinian Bian	Peak temperature control in thermal-aware behavioral synthesis through allocating the number of resources.	ASP-DAC	2009	DBLP DOI BibTeX RDF
12	Matthew R. Lakin, Andrew M. Pitts	Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.	ESOP	2009	DBLP DOI BibTeX RDF
12	Ralph Mietzner, Tammo van Lessen, Alexander Wiese, Matthias Wieland 0001, Dimka Karastoyanova, Frank Leymann	Virtualizing Services and Resources with ProBus: The WS-Policy-Aware Service and Resource Bus.	ICWS	2009	DBLP DOI BibTeX RDF
12	Cees T. A. M. de Laat, Chris Develder, Admela Jukan, Joe Mambretti	Introduction.	Euro-Par	2009	DBLP DOI BibTeX RDF
12	Paulo H. Acioli, Narin Ratanavade, Michael R. Cline, Sudha Srinivas	Density Functional Theory Study of Ag-Cluster/CO Interactions.	ICCS (2)	2009	DBLP DOI BibTeX RDF
12	Ralf Buschermöhle, Jörg Oelerink	Rich meta object facility formal integration platform: syntax, semantics and implementation.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF
12	Robert A. van Engelen	A framework for service-oriented computing with C and C++ Web service components.	ACM Trans. Internet Techn.	2008	DBLP DOI BibTeX RDF	Web services standards, Service-oriented computing
12	Radhakrishnan Nagarajan	Power-Law Signatures and Patchiness in Genechip Oligonucleotide Microarrays.	Computational Intelligence in Biomedicine and Bioinformatics	2008	DBLP DOI BibTeX RDF
12	Günter Westphal, Christoph von der Malsburg, Rolf P. Würtz	Feature-Driven Emergence of Model Graphs for Object Recognition and Categorization.	Applied Pattern Recognition	2008	DBLP DOI BibTeX RDF	model graphs, parquet graphs, position-invariant feature detectors, infomax principle, preselection network, model candidates, emergence of model graphs, feature- vs. correspondence-based object recognition, compositionality, elastic graph matching
12	Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek	Matchete: Paths through the Pattern Matching Jungle.	PADL	2008	DBLP DOI BibTeX RDF	binary data formats, Java, Pattern matching, XPath, regular expressions
12	Hanif Azhar, Aishy Amer	Chaos and MPEG-7 based feature vector for video object classification.	ICIP	2008	DBLP DOI BibTeX RDF
12	Allan Clark, Stephen Gilmore, Mirco Tribastone	Service-Level Agreements for Service-Oriented Computing.	WADT	2008	DBLP DOI BibTeX RDF
12	Jane Synnergren, Björn Olsson, Jonas Gamalielsson	A data integration method for exploring gene regulatory mechanisms.	DTMBIO	2008	DBLP DOI BibTeX RDF	data integration, data fusion, gene expression, motifs, gene regulation
12	Michel Jaring, René L. Krikhaar, Jan Bosch	Modeling Variability and Testability Interaction in Software Product Line Engineering.	ICCBSS	2008	DBLP DOI BibTeX RDF	software product line, variability, testability
12	Manhee Jo, Hiroshi Inamura	Secure route optimization for Mobile Network Node using secure address proxying.	NOMS	2008	DBLP DOI BibTeX RDF
12	Noëmie Simoni, Chunyang Yin, Ghislain Du Chéné	Service continuity management through an E2E dynamic session in NGN.	NOMS	2008	DBLP DOI BibTeX RDF
12	Han Gao 0002, Chiara Bodei, Pierpaolo Degano	A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.	AMAST	2008	DBLP DOI BibTeX RDF
12	Andrew Gacek, Dale Miller 0001, Gopalan Nadathur	Combining Generic Judgments with Recursive Definitions.	LICS	2008	DBLP DOI BibTeX RDF	generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
12	Tobias Marschall, Sven Rahmann	Probabilistic Arithmetic Automata and Their Application to Pattern Matching Statistics.	CPM	2008	DBLP DOI BibTeX RDF
12	Toyotaro Suzumura, Scott Trent, Michiaki Tatsubori, Akihiko Tozawa, Tamiya Onodera	Performance Comparison of Web Service Engines in PHP, Java and C.	ICWS	2008	DBLP DOI BibTeX RDF
12	Jun-Hong Lu, Ren-Hung Hwang	Hierarchical mobile router support in nested mobile networks.	Mobility Conference	2008	DBLP DOI BibTeX RDF	hierarchical mobile router (HMR), home mobile node (H-MN), mobile network node (MNN), visiting mobile node (V-MN), Mobile Computing, Mobile Network, Network Mobility, Mobile IPv6, Hierarchical Mobile IPv6
12	Jason Wu, John Williams 0004, Neil W. Bergmann	System Level Design Methodology for Hybrid Multi-Processor SoC on FPGA.	FCCM	2008	DBLP DOI BibTeX RDF
12	Heiko Pfeffer, David Linner, Stephan Steglich	Dynamic Adaptation of Workflow Based Service Compositions.	ICIC (1)	2008	DBLP DOI BibTeX RDF
12	Walter Wong, Fábio Luciano Verdi, Maurício F. Magalhães	A security plane for publish/subscribe based content oriented networks.	CoNEXT	2008	DBLP DOI BibTeX RDF	publish-subscribe paradigm, architecture
12	Imad M. Abbadi, Muntaha Alawneh	DRM domain authentication using electronic payment systems.	ICEC	2008	DBLP DOI BibTeX RDF	illicit content proliferation, DRM, content sharing
12	Giuseppe Avellino, Mike J. Boniface, Barbara Cantalupo, Justin Ferris, Nikolaos Matskanis, Bill Mitchell, Mike Surridge	A Dynamic Orchestration Model for Future Internet Applications.	ServiceWave	2008	DBLP DOI BibTeX RDF	SOA dynamics, workflow, business processes, orchestration, lifecycle
12	Alexander V. Gaiday, Igor A. Levandovskiy, Kendall G. Byler, Tatyana E. Shubina	Mechanism of Influenza A M2 Ion-Channel Inhibition: A Docking and QSAR Study.	ICCS (2)	2008	DBLP DOI BibTeX RDF	Influenza A, ion-channel inhibition, antiviral drugs, cage compounds, QSAR
12	Vinsensius B. Vega, Yijun Ruan, Wing-Kin Sung	A Streamlined and Generalized Analysis of Chromatin ImmunoPrecipitation Paired-End diTag Data.	ICCS (3)	2008	DBLP DOI BibTeX RDF
12	Zhen-lin Wei, Chun-zhen Jiao, Zhi-huan Tian, Ling Dong	Computational Prediction of UV-responsible MicroRNA Genes in Vitis vinifera Genome.	BMEI (1)	2008	DBLP DOI BibTeX RDF	computational prediction, UV, microRNA, vitis vinifera
12	Jason Cong	A new generation of C-base synthesis tool and domain-specific computing.	SoCC	2008	DBLP DOI BibTeX RDF
12	Ying-Hong Wang, Kuo-Feng Huang, Chien-Shan Kuo, Wei-Jia Huang	Dynamic MAP Selection Mechanism for HMIPv6.	AINA	2008	DBLP DOI BibTeX RDF
12	Gerardo Canfora, Massimiliano Di Penta	Service-Oriented Architectures Testing: A Survey.	ISSSE	2008	DBLP DOI BibTeX RDF
12	A. Ravishankar Rao, Guillermo A. Cecchi	Spatio-temporal Dynamics during Perceptual Processing in an Oscillatory Neural Network.	ICANN (2)	2008	DBLP DOI BibTeX RDF
12	Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germán Vidal	A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.	LOPSTR	2008	DBLP DOI BibTeX RDF
12	Dong-cheol Shin, Sung-Gi Min	Simultaneous multi-DAD (SDAD) in Mobile IPv6.	ICDIM	2008	DBLP DOI BibTeX RDF
12	Karl Andersson 0001, Christer Åhlund, Balkrishna Sharma Gukhool, Soumaya Cherkaoui	Mobility management for highly mobile users and vehicular networks in heterogeneous environments.	LCN	2008	DBLP DOI BibTeX RDF
12	Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine	Investigation of a Biological Repair Scheme.	Workshop on Membrane Computing	2008	DBLP DOI BibTeX RDF
12	Xi Li, Dianhui Wang	An Improved Genetic Algorithm for DNA Motif Discovery with Public Domain Information.	ICONIP (1)	2008	DBLP DOI BibTeX RDF
12	Preetam Ghosh, Samik Ghosh, Kalyan Basu, Sajal K. Das 0001	A Computationally Fast and Parametric Model to Estimate Protein-Ligand Docking Time for Stochastic Event Based Simulation.	Trans. Comp. Sys. Biology	2007	DBLP DOI BibTeX RDF
12	Maria Stepanova, Feng Lin 0002, Valerie C.-L. Lin	A Hopfield Neural Classifier and Its FPGA Implementation for Identification of Symmetrically Structured DNA Motifs.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	DNA motifs, sequence structure identification, hopfield classifier, field-programmable gate arrays, recurrent neural network
12	DeLiang Wang	Computational Scene Analysis.	Challenges for Computational Intelligence	2007	DBLP DOI BibTeX RDF
12	Jing Su, James Scott, Pan Hui 0001, Jon Crowcroft, Eyal de Lara, Christophe Diot, Ashvin Goel, Menghow Lim, Eben Upton	Haggle: Seamless Networking for Mobile Applications.	UbiComp	2007	DBLP DOI BibTeX RDF
12	Christopher LaFrieda, Engin Ipek, José F. Martínez, Rajit Manohar	Utilizing Dynamically Coupled Cores to Form a Resilient Chip Multiprocessor.	DSN	2007	DBLP DOI BibTeX RDF
12	Carlo Ghezzi, Sam Guinea	Run-Time Monitoring in Service-Oriented Architectures.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
12	Hyeong-Joon Kwon, Jeong-Hoon Shin, Kwang-Seok Hong	Design and Implementation of Enhanced Real Time News Service Using RSS and VoiceXML.	HCI (8)	2007	DBLP DOI BibTeX RDF
12	Catherine J. Kelly, Kieran Smallbone, Tiina Roose, Michael Brady 0001	A Model to Investigate the Feasibility of Fdg as a Surrogate Marker of Hypoxia.	ISBI	2007	DBLP DOI BibTeX RDF
12	Eyke Hüllermeier, Nils Weskamp, Gerhard Klebe, Daniel Kuhn	Graph Alignment: Fuzzy Pattern Mining for the Structural Analysis of Protein Active Sites.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Maria Stepanova, Feng Lin 0002, Valerie C.-L. Lin	A Two-Phase ANN Method for Genome-Wide Detection of Hormone Response Elements.	PRIB	2007	DBLP DOI BibTeX RDF
12	Christian Kandt, Eliud O. Oloo, D. Peter Tieleman	Domain coupling in the ABC transporter system BtuCD/BtuF: molecular dynamics simulation, normal mode analysis and protein-protein docking.	HPCS	2007	DBLP DOI BibTeX RDF
12	Huafei Zhu, Feng Bao 0001	Oblivious Keyword Search Protocols in the Public Database Model.	ICC	2007	DBLP DOI BibTeX RDF
12	Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden	Policy-based Runtime Partner Management in ProcessBased Services.	ICWS	2007	DBLP DOI BibTeX RDF
12	Guang-Zheng Zhang, Kyungsook Han	Discovering Inter-Domain Paths between Hepatitis C Virus NS5A and Human Liver Proteins.	FBIT	2007	DBLP DOI BibTeX RDF
12	Xiaoying Bai, Dezheng Xu, Guilan Dai	Dynamic Reconfigurable Testing of Service-Oriented Architecture.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
12	Volker Stolz	Temporal Assertions with Parametrised Propositions.	RV	2007	DBLP DOI BibTeX RDF
12	Yasuhiro Kiuchi, Tomonobu Ozaki, Takenao Ohkawa	Partial Geometric Hashing for Retrieving Similar Interaction Protein Using Profile.	ITNG	2007	DBLP DOI BibTeX RDF
12	Lin Zhang 0013, Peizhen Liao, Sahibzada Ahmed Noor	A QoS extension for next step in signaling in mobile IPv6 environment.	Mobility Conference	2007	DBLP DOI BibTeX RDF	QoS NSLP, handover, mobile IPv6, RSVP, NSIS
12	Imad Abbadi	Authorised domain management using location based services.	Mobility Conference	2007	DBLP DOI BibTeX RDF	authorised domain, access control, location based services, copyright protection, trusted computing, DRM
12	Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen	Adding delimited and composable control to a production programming environment.	ICFP	2007	DBLP DOI BibTeX RDF
12	Daisuke Ochi	MIDEA: Management of Disposable E-Mail Addresses for Mobile Systems.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
12	Frank Singhoff	MP1: real time scheduling theory and its use with ada.	SIGAda	2007	DBLP DOI BibTeX RDF
12	Rik Eshuis, Paul W. P. J. Grefen	Structural Matching of BPEL Processes.	ECOWS	2007	DBLP DOI BibTeX RDF
12	Maciej Zaremba, Tomas Vitvar, Matthew Moran	Towards Optimized Data Fetching for Service Discovery.	ECOWS	2007	DBLP DOI BibTeX RDF
12	Jongyoon Jung, Taewhan Kim	Timing variation-aware high-level synthesis.	ICCAD	2007	DBLP DOI BibTeX RDF
12	Amin R. Mazloom, Kalyan Basu, Subhrangsu S. Mandal, Mehran Sorourian, Sajal K. Das 0001	DNA Sites Buried in Nucleosome Become Accessible at Room Temperature: A Discrete-Event-Simulation Based Modeling Approach.	ISBRA	2007	DBLP DOI BibTeX RDF
12	XinJun Mao, Jianming Zhao, Ji Wang 0001	Engineering Adaptive Multi-Agent Systems with ODAM Methodology.	PRIMA	2007	DBLP DOI BibTeX RDF
12	Didier Rémy, Boris Yakobowski	A graphical presentation of MLF types with a linear-time unification algorithm.	TLDI	2007	DBLP DOI BibTeX RDF	system SF, graphs, types, unification, binders, MLF
12	Caaliph Andriamisaina, Emmanuel Casseau, Philippe Coussy	Synthesis of Multimode digital signal processing systems.	AHS	2007	DBLP DOI BibTeX RDF
12	Joon S. Park, Ganesh Devarajan	Fine-Grained and Scalable Approaches for Message Integrity.	HICSS	2007	DBLP DOI BibTeX RDF
12	Youngsong Mun, Kyunghye Lee, Seonggeun Ryu, Teail Shin	Using Return Routability for Authentication of Fast Handovers in Mobile IPv6.	ICCSA (2)	2007	DBLP DOI BibTeX RDF
12	Ing-Chau Chang, Chia-Hao Chou, Lin-Huang Chang	A Hierarchical Care-of Prefix with BUT Scheme for Nested Mobile Networks.	ISPA	2007	DBLP DOI BibTeX RDF
12	Robert Krimmer, Stefan Triessnig, Melanie Volkamer	The Development of Remote E-Voting Around the World: A Review of Roads and Directions.	VOTE-ID	2007	DBLP DOI BibTeX RDF
12	Jordi Puiggali, Victor Morales-Rocha	Remote Voting Schemes: A Comparative Analysis.	VOTE-ID	2007	DBLP DOI BibTeX RDF	Remote voting, remote electronic voting, postal voting, Internet voting
12	Nawar Malhis, Kelvin Xi Zhang, B. F. Francis Ouellette	Detecting Protein-Domains DNA-Motifs Association in Saccharomyces cerevisiae Regulatory Networks.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF	genetic regulation, regulatory motifs, association roles, Gene Ontology, GO, protein domain
12	Hiroshi Kobayashi, Ryuzo Azuma, Akihiko Konagaya	Kinetic Analysis of Ligand-Receptor Complex Formation with the Aid of Computer Simulation.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
12	Erik-Jan Smits, Petra Hendriks, Jennifer Spenader	Using Very Large Parsed Corpora and Judgment Data to Classify Verb Reflexivity.	DAARC	2007	DBLP DOI BibTeX RDF
12	António Horta Branco	Null Subjects Are Reflexives, Not Pronouns.	DAARC	2007	DBLP DOI BibTeX RDF