Search results for "Bindings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Karl Meerbergen, Kresimir Fresl, Toon Knapen	C++ Bindings to External Software Libraries with Examples from BLAS, LAPACK, UMFPACK, and MUMPS.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	C++, Bindings, BLAS, LAPACK, traits
3	Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
3	Antoine Boutet, Benoit Le Texier, Julien Montavont, Nicolas Montavont, Guillaume Schreiner	Advantages of flow bindings: an embedded mobile network use case.	TRIDENTCOM	2008	DBLP DOI BibTeX RDF	IPv6 mobility, NEMO basic support, flow bindings, next generation wireless network testbeds, embedded applications
3	Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey	A computational approach to reflective meta-reasoning about languages with bindings.	MERLIN	2005	DBLP DOI BibTeX RDF	MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
2	Fabrício Fernandes, Robin Passama, Jean-Claude Royer	Event strictness for components with complex bindings.	ISEC	2009	DBLP DOI BibTeX RDF	behavioural compatibility, event strictness, structured product, communication, protocol, component, binding
2	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Tabling Implementation Based on Variables with Multiple Bindings.	ICLP	2009	DBLP DOI BibTeX RDF	Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
2	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	A flexible framework for programming with non-deterministicfunctions.	PEPM	2009	DBLP DOI BibTeX RDF	call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems
2	Sebastian Gajek, Lijun Liao, Jörg Schwenk	Stronger TLS bindings for SAML assertions and SAML artifacts.	SWS	2008	DBLP DOI BibTeX RDF	client certificate, fim, saml, tls
2	Yasuhisa Tamura, Kazuya Sumi, Takeshi Yamamuro, Masashi Maejima	CSCL Data Structurization and Inter-LMS Sharing with Use of Web Services.	KES	2008	DBLP DOI BibTeX RDF	XML bindings, automatic exchange, Web services, Collaborative Learning, CSCL
2	Tom Broens, Marten van Sinderen, Aart van Halteren, Dick A. C. Quartel	Dynamic Context Bindings in Pervasive Middleware.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
2	John Buford, Rakesh Kumar, Greg Perkins	Composition Trust Bindings in Pervasive Computing Service Composition.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
2	Tom Broens, Aart van Halteren, Marten van Sinderen	Infrastructural Support for Dynamic Context Bindings.	EuroSSC	2006	DBLP DOI BibTeX RDF
2	Howard Ausden, Karl A. Nyberg	Using ASIS to generate C++ bindings.	SIGAda	2005	DBLP DOI BibTeX RDF	cross-language libraries, multiple language interfaces, program transformation
2	Christian Werner, Carsten Buschmann, Tobias Jäcker	Enhanced Transport Bindings for Efficient SOAP Messaging.	ICWS	2005	DBLP DOI BibTeX RDF
2	Craig Edward Rasmussen, Jeffrey M. Squyres	A Case for New MPI Fortran Bindings.	PVM/MPI	2005	DBLP DOI BibTeX RDF
2	Claus Atzenbeck, Peter J. Nürnberg	Constraints in spatial structures.	Hypertext	2005	DBLP DOI BibTeX RDF	WildDocs, knowledge representation, user interface design, hypermedia, collections, bindings, knowledge work, spatial structures
2	Jirí Adámek, Frantisek Plasil	Partial Bindings of Components - Any Harm?.	APSEC	2004	DBLP DOI BibTeX RDF
2	Magdalena Slawiñska	Hunting for Bindings in Distributed Object-Oriented Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
2	Anthony Savidis	Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language.	RISE	2004	DBLP DOI BibTeX RDF
2	Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli	A Generative Approach to the Implementation of Language Bindings for the Document Object Model.	GPCE	2004	DBLP DOI BibTeX RDF
2	Dale Miller	Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract.	CSL	2004	DBLP DOI BibTeX RDF
2	Fabio Simeoni, David Lievens, Richard C. H. Connor, Paolo Manghi	Language Bindings to XML.	IEEE Internet Computing	2003	DBLP DOI BibTeX RDF
2	Bruce R. Barkstrom	Ada 95 bindings for the NCSA hierarchical data format.	SIGAda	2001	DBLP DOI BibTeX RDF	HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF
2	Hans Ole Rafaelsen, Frank Eliassen	Trading and Negotiating Stream Bindings.	Middleware	2000	DBLP DOI BibTeX RDF
2	Øyvind Hanssen, Frank Eliassen	A Framework for Policy Bindings. (PDF / PS)	DOA	1999	DBLP DOI BibTeX RDF
2	Theodore P. Baker, Dong-Ik Oh	Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation.	Ada-Europe	1997	DBLP DOI BibTeX RDF
2	Heechern Kim, Chisu Wu	A Class Testing Technique Based on Data Bindings.	APSEC	1996	DBLP DOI BibTeX RDF	Software testing, data binding, class testing
2	Han-Suk Choi, Jae Soo Yoo, Ok-Bae Chang	A New Control Service Model Based on CORBA for Distributed Multimedia Objects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	control service model, distributed multimedia objects, DIMCA/ORB, real-time bindings, heterogeneous components, Quality of Service, CORBA, multimedia systems, open distributed systems
2	Shinn-Der Lee, Daniel P. Friedman	Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes.	POPL	1993	DBLP DOI BibTeX RDF	SCHEME
2	Richard W. Selby, Victor R. Basili	Analyzing Error-Prone System Structure.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	error-prone system structure, data interaction, prediction environment, nonparametric analysis of variance model, software metrics, error analysis, software systems, program diagnostics, empirical analysis, clustering technique, data bindings
1	Aidan J. Horner, Richard N. Henson	Incongruent Abstract Stimulus-Response Bindings Result in Response Interference: fMRI and EEG Evidence from Visual Object Classification Priming.	J. Cognitive Neuroscience	2012	DBLP DOI BibTeX RDF
1	Emmanuel Lambert, Martin Fiers, Shavkat Nizamov, Martijn Tassaert, Steven G. Johnson, Peter Bienstman, Wim Bogaerts	Python Bindings for the Open Source Electromagnetic Simulator Meep.	Computing in Science and Engineering	2011	DBLP DOI BibTeX RDF	Finite difference methods (FDTD), SWIG, C++ interfacing, Meep FDTD simulator, software engineering, scientific computing, computational science, object-oriented languages, Python
1	Simone Kühn, André W. Keizer, Lorenza S. Colzato, Serge A. R. B. Rombouts, Bernhard Hommel	The Neural Underpinnings of Event-file Management: Evidence for Stimulus-induced Activation of and Competition among Stimulus-Response Bindings.	J. Cognitive Neuroscience	2011	DBLP DOI BibTeX RDF
1	Lachhman Das, Yasir Arfat, Azhar Shah, Khalil Khoumbati	System Support for Managing Invalid Bindings	CoRR	2011	DBLP BibTeX RDF
1	Florian Kohlar, Jörg Schwenk, Meiko Jensen, Sebastian Gajek	On Cryptographically Strong Bindings of SAML Assertions to Transport Layer Security.	IJMCMC	2011	DBLP DOI BibTeX RDF
1	Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel	Specifying and implementing UI data bindings with active operations.	EICS	2011	DBLP DOI BibTeX RDF
1	Andrei Popescu, Elsa L. Gunter	Recursion principles for syntax with bindings and substitution.	ICFP	2011	DBLP DOI BibTeX RDF
1	Christian Urban, Cezary Kaliszyk	General Bindings and Alpha-Equivalence in Nominal Isabelle.	ESOP	2011	DBLP DOI BibTeX RDF
1	Albrecht Schmidt	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Jeremy Gibbons, Ralf Hinze	Just do it: simple monadic equational reasoning.	ICFP	2011	DBLP DOI BibTeX RDF
1	Florian Kohlar, Jörg Schwenk, Meiko Jensen, Sebastian Gajek	Secure Bindings of SAML Assertions to TLS Sessions.	ARES	2010	DBLP DOI BibTeX RDF	Authentication, Single-Sign-On, SSL, SAML, TLS, Kerberos, Federated Identity Management
1	Serguei A. Mokhov, Joey Paquet	A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY.	ACIS-ICIS	2010	DBLP DOI BibTeX RDF
1	Trevor Jim, Yitzhak Mandelbaum, David Walker	Semantics and algorithms for data-dependent grammars.	POPL	2010	DBLP DOI BibTeX RDF	ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf
1	Aditya Rajgarhia, Ashish Gehani	Performance and extension of user space file systems.	SAC	2010	DBLP DOI BibTeX RDF	language binding, user space, Java, performance, FUSE
1	Benjamin P. DeLillo	WebGLU development library for WebGL.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
1	Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers	Let should not be generalized.	TLDI	2010	DBLP DOI BibTeX RDF	type families, haskell, type inference, type classes, generalized algebraic data types
1	Serguei A. Mokhov, Joey Paquet	A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY	CoRR	2009	DBLP BibTeX RDF
1	Dirk Niebuhr, Andreas Rausch, Cornel Klein, Juergen Reichmann, Reiner N. Schmid	Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach.	SASO	2009	DBLP DOI BibTeX RDF
1	Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca	The essence of static and dynamic bindings.	ICTCS	2009	DBLP BibTeX RDF
1	Edwin M. Westbrook, Aaron Stump, Evan Austin	The calculus of nominal inductive constructions: an intensional approach to encoding name-bindings.	LFMTP	2009	DBLP DOI BibTeX RDF
1	Dirk Niebuhr, Andreas Rausch	Guaranteeing Correctness of Component Bindings in Dynamic Adaptive Systems.	EUROMICRO-SEAA	2009	DBLP DOI BibTeX RDF
1	Ken Friis Larsen	A MuDDy Experience-ML Bindings to a BDD Library.	DSL	2009	DBLP DOI BibTeX RDF
1	Faqir Zarrar Yousaf, Christian Wietfeld	Optimizing the Performance of FMIPv6 by Proactive Proxy Bindings.	VTC Fall	2009	DBLP DOI BibTeX RDF
1	Miguel dos Santos Alves Filho, Rafael de Aquino Cunha, Carlos Eduardo Cugnasca	Application of Reactive Agents Concepts in Automatic Bindings of Lonworks Networks Devices.	ICINCO-ICSO	2009	DBLP BibTeX RDF
1	Matthew Flatt, Eli Barzilay, Robert Bruce Findler	Scribble: closing the book on ad hoc documentation tools.	ICFP	2009	DBLP DOI BibTeX RDF	domain-specific languages, macros, metaprogramming
1	Ernst Juhnke, Dominik Seiler, Thilo Stadelmann, Tim Dörnemann, Bernd Freisleben	LCDL: an extensible framework for wrapping legacy code.	iiWAS	2009	DBLP DOI BibTeX RDF	legacy code wrapping, interface definition languages
1	H. P. Shanahan	Can we improve on the identification of transcription factor binding sites?	KDD Workshop on Statistical and Relational Learning in Bioinformatics	2009	DBLP DOI BibTeX RDF	string kernel, transcription factor binding site
1	George Tzanetakis	Music analysis, retrieval and synthesis of audio signals MARSYAS.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	music information retrieval, sound analysis
1	Christian Glodt, Pierre Kelsen, Nuno Amálio, Qin Ma 0002	From platform-independent to platform-specific models using democles.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	platform-specific model, code generation, visual programming, domains, executable models, platform-independent model
1	David Briggs, Suad Alagic	Algebraic specification techniques for parametric types with logic-based constraints.	SAC	2009	DBLP DOI BibTeX RDF	parametric types, verification theories, assertions, PVS, JML
1	Yinglian Xie, Fang Yu, Martín Abadi	De-anonymizing the internet using unreliable IDs.	SIGCOMM	2009	DBLP DOI BibTeX RDF	attack forensics, accountability, botnet, blacklist
1	Bow-Nan Cheng, Murat Yuksel, Shivkumar Kalyanaraman	Orthogonal rendezvous routing protocol for wireless mesh networks.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	free-space-optics, wireless routing protocol, directional antennas, wireless mesh
1	Zheng Li	Identifying high-level dependence structures using slice-based dependence analysis.	ICSM	2009	DBLP DOI BibTeX RDF
1	Aamir Shafi, Jawad Manzoor	Towards efficient shared memory communications in MPJ express.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Luís Dominguez	Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.	LICS	2009	DBLP DOI BibTeX RDF
1	Wenfei Fan, Floris Geerts, Xibei Jia	Conditional Dependencies: A Principled Approach to Improving Data Quality.	BNCOD	2009	DBLP DOI BibTeX RDF
1	Daniel Retkowitz, Sven Kulle	Dependency Management in Smart Homes.	DAIS	2009	DBLP DOI BibTeX RDF
1	Verónica Dahl, Erez Maharshak	DNA Replication as a Model for Computational Linguistics.	IWINAC	2009	DBLP DOI BibTeX RDF	DNA replication, long distance dependencies, synthesis, analysis, computational linguistics, molecular biology, constraint handling rules
1	Feng Chen, Grigore Rosu	Parametric Trace Slicing and Monitoring.	TACAS	2009	DBLP DOI BibTeX RDF
1	Ravindra Guravannavar, S. Sudarshan	Rewriting procedures for batched bindings.	PVLDB	2008	DBLP BibTeX RDF
1	Bruno De Fraine, Mario Südholt, Viviane Jonckers	StrongAspectJ: flexible and safe pointcut/advice bindings.	AOSD	2008	DBLP DOI BibTeX RDF
1	Mortaza S. Bargh, Bob Hulsebosch, Henk Eertink, Geert J. Heijenk, Jeroen Idserda, Julien Laganier, Anand R. Prasad, Alf Zugenmaier	Reducing handover latency in future IP-based wireless networks: proxy mobile IPv6 with simultaneous bindings.	WOWMOM	2008	DBLP DOI BibTeX RDF
1	Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra	Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.	FMSE	2008	DBLP DOI BibTeX RDF	saml single sign-on, sat-based model checking, security protocols, bounded model checking
1	Fabian Abel	The benefit of additional semantics in folksonomy systems.	PIKM	2008	DBLP DOI BibTeX RDF	folkrank, grank, groupme!, moat, semantic web, search, ranking, social media, folksonomies, linked data, hits
1	Éric Tanter	Contextual values.	DLS	2008	DBLP DOI BibTeX RDF
1	John Lumley, Roger Gimson, Owen Rees	Configurable editing of XML-based variable-data documents.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	document editing, functional programming, XSLT, SVG, document construction
1	Timothy Bourke, Arcot Sowmya	Automatically transforming and relating Uppaal models of embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
1	Lucia Del Prete, Licia Capra	MoSCA: seamless execution of mobile composite services.	ARM	2008	DBLP DOI BibTeX RDF	mobility, middleware, service composition, dynamic adaptation
1	Daniel Smith, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
1	Greg Gicca, Benjamin M. Brosgol	GNAT BoF: where would you like to see GNAT go?	SIGAda	2008	DBLP DOI BibTeX RDF	birds-of-a-feather, safety
1	Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis	Conditional functional dependencies for capturing data inconsistencies.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	SQL, functional dependency, Data cleaning
1	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
1	Tomás Bures, Michal Malohlava, Petr Hnetynka	Using DSL for Automatic Generation of Software Connectors.	ICCBSS	2008	DBLP DOI BibTeX RDF	interoperability, component, composition, code generation, connector
1	M. Omair Shafiq, François Scharffe, Daniel Wutke, Germán Toro del Valle	Resolving Data Heterogeneity Issues in Open Distributed Communication Middleware.	ICIW	2008	DBLP DOI BibTeX RDF
1	Karthick Sankarachary	Component-Based Composition of Wide-Area Workflows.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Workflow, Virtualization, SCA, WS-BPEL
1	Gabriel Antoniu, Mathieu Jan, David A. Noblet	A practical example of convergence of P2P and grid computing: An evaluation of JXTA's communication performance on grid networking infrastructures.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Premysl Brada	Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
1	Yeong-Sheng Chen, Chien-Hsun Chen, Hua-Yin Fang	An Efficient Quorum-Based Fault-Tolerant Approach for Mobility Agents in Wireless Mobile Networks.	SUTC	2008	DBLP DOI BibTeX RDF	Fault-Tolerant, Mobility Agent, Mobile IP, Quorum
1	Giovanni Bartolomeo, Stefano Salsano, Nicola Blefari-Melazzi, Catia Trubiani	SMILE- Simple Middleware Independent LayEr for Distributed Mobile Applications.	WCNC	2008	DBLP DOI BibTeX RDF
1	Heinrich Stamerjohanns, Michael Kohlhase	Transforming the arXiv to XML.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
1	Ingo Glöckner, Björn Pelzer	Combining Logic and Machine Learning for Answering Questions.	CLEF	2008	DBLP DOI BibTeX RDF
1	Daniel Wutke, Daniel Martin, Frank Leymann	Facilitating Complex Web Service Interactions through a Tuplespace Binding.	DAIS	2008	DBLP DOI BibTeX RDF	Message Exchange Patterns, Web Service Binding, Web Services, Tuplespaces
1	Stefan Kurz, Marius Podwyszynski, Andreas Schwab	A Dynamically Extensible, Service-Based Infrastructure for Mobile Applications.	ER Workshops	2008	DBLP DOI BibTeX RDF
1	Adam Poswolsky, Carsten Schürmann	Practical Programming with Higher-Order Encodings and Dependent Types.	ESOP	2008	DBLP DOI BibTeX RDF
1	Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández	Rewriting and Call-Time Choice: The HO Case.	FLOPS	2008	DBLP DOI BibTeX RDF
1	Dominique Verchère, Olivier Audouin, Bela Berde, Agostino Chiosi, Richard Douville, Hélia Pouyllau, Pascale Vicat-Blanc Primet, Marcelo Pasin, Sebastien Soudan, T. Marcot, Veronique Piperaud, Remi Theillaud, D. Hong, Dominique Barth, C. Cadéré, V. Reinhart, Joanna Tomasik	Automatic Network Services Aligned with Grid Application Requirements in CARRIOCAS Project.	GridNets	2008	DBLP DOI BibTeX RDF	infrastructure control and management, virtual-ization, network services, collaborative applications
1	Linda M. Seiter	Balancing Quantification and Obliviousness in the Design of Aspect-Oriented Frameworks.	ICSR	2008	DBLP DOI BibTeX RDF
1	Maya Carrillo, Aurelio López-López	Towards an Enhanced Vector Model to Encode Textual Relations: Experiments Retrieving Information.	IFIP AI	2008	DBLP DOI BibTeX RDF
1	Mourad Alia, André Bottaro, Fatoumata Camara, Briac Hardouin	On the Design of a SIP-Based Binding Middleware for Next Generation Home Network Services.	OTM Conferences	2008	DBLP DOI BibTeX RDF
1	Manfred Schmidt-Schauß, Elena Machkasova	A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case.	RTA	2008	DBLP DOI BibTeX RDF