Search results for "binding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Limin Shen, Feng Li 0017, Shangping Ren, Yunfeng Mu	Dynamic Composition of Web Service Based on Coordination Model.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Web service, coordination, role, separation of concern, dynamic service composition
12	Jesse Davis, Vítor Santos Costa, Soumya Ray, David Page	An integrated approach to feature invention and model construction for drug activity prediction.	ICML	2007	DBLP DOI BibTeX RDF
12	Marcel Waldvogel, Tobias Kock	Light-weight End-to-End QoS as DoS Prevention.	LCN	2007	DBLP DOI BibTeX RDF
12	Kyoung-Hwan Lim, YongHwan Kim, Taewhan Kim	Interconnect and Communication Synthesis for Distributed Register-File Microarchitecture.	DAC	2007	DBLP DOI BibTeX RDF
12	Karl Crary, Robert Harper 0001	Higher-order abstract syntax: setting the record straight.	SIGACT News	2006	DBLP DOI BibTeX RDF
12	Chengwan He, Zhijie Nie, Bifeng Li, Lianlian Cao, Keqing He	Rava: Designing a Java Extension with Dynamic Object Roles.	ECBS	2006	DBLP DOI BibTeX RDF
12	Mikael Peräkylä	Molecular Dynamics Simulation Studies on the Modulation of Vitamin D Receptor Activity by Agonists and Antagonists.	PARA	2006	DBLP DOI BibTeX RDF
12	Sujan Pandey, Nurten Utlu, Manfred Glesner	Tabu Search Based On-Chip Communication Bus Synthesis for Shared Multi-Bus Based Architecture.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
12	Peng Qiu, Z. Jane Wang 0001, K. J. Ray Liu	Mixture principal component analysis for distribution volume parametric imaging in brain PET studies.	ISBI	2006	DBLP DOI BibTeX RDF
12	Soon-Kyeong Kim, David A. Carrington	A Pattern based Model Evolution Approach.	APSEC	2006	DBLP DOI BibTeX RDF
12	Oscar Harari, Rocío Romero-Záliz, Cristina Rubio-Escudero, Igor Zwir	Fusion of Domain Knowledge for Dynamic Learning in Transcriptional Networks.	IDEAL	2006	DBLP DOI BibTeX RDF
12	Jongpil Jeong, Min Young Chung, Hyunseung Choo	Low Latency and Cost Effective Handoff Based on PBF Scheme in Hierarchical Mobile IPv6.	HPCC	2006	DBLP DOI BibTeX RDF
12	Yen-Tuo Chang, Bing-Yu Chen 0004, Wan-Chi Luo, Jian-Bin Huang	Skeleton-Driven Animation Transfer Based on Consistent Volume Parameterization.	Computer Graphics International	2006	DBLP DOI BibTeX RDF
12	Guifa Teng, Hong Su, Xiaodong Liu 0002, Tiger Wang	Mining and Sharing Heterogeneous E-Marketing Intelligence - A Universal Metadata-Based Approach.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
12	Jonghyoun Choi, Youngsong Mun	Mechanism of Authenticating a MAP in Hierarchical MIPv6.	GPC	2006	DBLP DOI BibTeX RDF
12	Vipin K. Tripathi, Bhaskar Dasgupta, Kalyanmoy Deb	A Computational Method for Viewing Molecular Interactions in Docking.	VIEW	2006	DBLP DOI BibTeX RDF
12	Chantal T. Falzon, Feng Wang 0005	Conformational Processes in L-Alanine Studied Using Dual Space Analysis.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
12	Shibin Qiu, Terran Lane	Phase Transitions in Gene Knockdown Networks of Transitive RNAi.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
12	Hyun-Sun Kang, Chang-Seop Park	Authenticated Fast Handover Scheme in the Hierarchical Mobile IPv6.	WISA	2006	DBLP DOI BibTeX RDF
12	Hanif Azhar, Aishy Amer	Chaotic Synchronization of MPEG-7 Descriptors for Interpretation in Surveillance Video.	ISM	2006	DBLP DOI BibTeX RDF	Classification, Semantic, MPEG-7, Chaos, Video Surveillance, Descriptor
12	Min Cao, Vivek Raghunathan, P. Kumar	Cross-Layer Exploitation of MAC Layer Diversity in Wireless Networks.	ICNP	2006	DBLP DOI BibTeX RDF
12	Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Wasif Gilani, Olaf Spinczyk	Static and Dynamic Weaving in System Software with AspectC++.	HICSS	2006	DBLP DOI BibTeX RDF
12	Youngsong Mun, Miyoung Kim	An Authentication Scheme Between Wireless LAN and Mobile IPv6 During Handover.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
12	Ji He, Xinbin Dai, Xuechun Zhao	A Systematic Computational Approach for Transcription Factor Target Gene Prediction.	CIBCB	2006	DBLP DOI BibTeX RDF
12	Hao Yang 0004, Starsky H. Y. Wong, Songwu Lu, Lixia Zhang 0001	Secure Diffusion for Wireless Sensor Networks.	BROADNETS	2006	DBLP DOI BibTeX RDF
12	Jun Wei 0001, Hua Lei, Chunlei Niu, Haoran Zheng	High Performance SOAP Processing Driven by Data Mapping Template.	DAIS	2006	DBLP DOI BibTeX RDF
12	Michael Leuschel, Stephen-John Craig, Daniel Elphick	Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.	LOPSTR	2006	DBLP DOI BibTeX RDF
12	Dominik Kuropka, Anja Bog, Mathias Weske	Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenarios.	EDOC	2006	DBLP DOI BibTeX RDF
12	Gustavo Aranda Bada, Javier Palanca Cámara, Agustín Espinosa, Andrés Terrasa, Ana García-Fornes	Towards Developing Multi-agent Systems in Ada.	Ada-Europe	2006	DBLP DOI BibTeX RDF
12	Wu Chou, Feng Liu 0016, Li Li 0001	Web Service for Tele-Communication.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	WSIP, WNET, WS-Session, Web Service, SIP
12	Anshul Kundaje, Manuel Middendorf, Feng Gao, Chris Wiggins 0001, Christina S. Leslie	Combining Sequence and Time Series Expression Data to Learn Transcriptional Modules.	IEEE ACM Trans. Comput. Biol. Bioinform.	2005	DBLP DOI BibTeX RDF	clustering, heterogeneous data, Gene regulation
12	Nan Jin, Gayathri Venkitachalam, Scott Jordan	Dynamic congestion-based pricing of bandwidth and buffer.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	congestion-based pricing, QoS, resource allocation, utility, dynamic pricing
12	Tzu-Chi Huang, Ce-Kuen Shieh, Wen-Huang Lai, Yu-Ben Miao	Smart Tunnel Union for NAT Traversal.	NCA	2005	DBLP DOI BibTeX RDF
12	Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas	Verification of Tree Updates for Optimization.	CAV	2005	DBLP DOI BibTeX RDF
12	Nicolas Gibelin, Mesaac Makpangou	Efficient and Transparent Web-Services Selection.	ICSOC	2005	DBLP DOI BibTeX RDF
12	Chaya Ben-Zaken Zilberstein, Michal Ziv-Ukelson, Ron Y. Pinter, Zohar Yakhini	A High-Throughput Approach for Associating microRNAs with Their Activity Conditions.	RECOMB	2005	DBLP DOI BibTeX RDF
12	Guandong Wang, Weixiong Zhang	Build a Dictionary, Learn a Grammar, Decipher Stegoscripts, and Discover Genomic Regulatory Elements.	Systems Biology and Regulatory Genomics	2005	DBLP DOI BibTeX RDF
12	James R. Faeder, Michael L. Blinov, William S. Hlavacek	Graphical rule-based representation of signal-transduction networks.	SAC	2005	DBLP DOI BibTeX RDF	biological systems modeling, graph isomorphism, graph rewriting, signal transduction, protein interactions
12	Mahnhoon Lee, Yongik Yoon 0001	An UNA-Based Approach to Support Mobility in the Internet.	NETWORKING	2005	DBLP DOI BibTeX RDF
12	Lars Marius Garshol	TMRAP - Topic Maps Remote Access Protocol.	TMRA	2005	DBLP DOI BibTeX RDF
12	Omer Horvitz, Jonathan Katz	Bounds on the Efficiency of "Black-Box" Commitment Schemes.	ICALP	2005	DBLP DOI BibTeX RDF
12	Dario Catalano, Ivan Visconti	Hybrid Trapdoor Commitments and Their Applications.	ICALP	2005	DBLP DOI BibTeX RDF
12	Birgit Hofreiter, Christian Huemer	Registering a Business Collaboration Model in Multiple Business Environments.	OTM Workshops	2005	DBLP DOI BibTeX RDF
12	Christian Werner, Carsten Buschmann, Tobias Jäcker	Enhanced Transport Bindings for Efficient SOAP Messaging.	ICWS	2005	DBLP DOI BibTeX RDF
12	Mathias Röhl, Adelinde M. Uhrmacher	Flexible integration of XML into modeling and simulation systems.	WSC	2005	DBLP DOI BibTeX RDF
12	Kuo-Yu Liu, Herng-Yow Chen	Exploring media correlation and synchronization for navigated hypermedia documents.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	computed synchronization process, media correlation, semantic level correlation, syntactic level correlation, media synchronization
12	Mehrdad Reshadi, Daniel Gajski	A cycle-accurate compilation algorithm for custom pipelined datapaths.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	NISC, cycle-accurate compiler, scheduling
12	Jeong-Taek Lim, Su-Chong Joo, Chang-Sun Shin	Development of Distributed Programming Developing Tool-Kit Based on Object Group Model.	SEUS	2005	DBLP DOI BibTeX RDF
12	Guojun Li, Jizhu Lu, Victor Olman, Ying Xu 0001	PROMOCO: a New Program for Prediction of cis Regulatory Elements: From High-Information Content Analysis to Clique Identification.	CSB Workshops	2005	DBLP DOI BibTeX RDF
12	Asim S. Siddiqui, Gordon Robertson, Misha Bilenky, Tamara Astakhova, Obi L. Griffith, Maik Hassel, Keven Lin, Stephen B. Montgomery, Mehrdad Oveisi, Erin Pleasance, Neil Robertson 0004, Monica C. Sleumer, Kevin Teague, Richard Varhol, Maggie Zhang, Steven J. M. Jones	cis-Regulatory Element Prediction in Mammalian Genomes.	CSB Workshops	2005	DBLP DOI BibTeX RDF
12	Bernhard Fischer, Holger Merlitz, Wolfgang Wenzel	Increasing Diversity in In-silico Screening with Target Flexibility.	CompLife	2005	DBLP DOI BibTeX RDF
12	Jonghyoun Choi, Youngsong Mun	An Efficient Handoff Mechanism with Web Proxy MAP in Hierarchical Mobile IPv6.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
12	Hanlim Kim, Geunhyung Kim, Cheeha Kim	S-RO: Simple Route Optimization Scheme with NEMO Transparency.	ICOIN	2005	DBLP DOI BibTeX RDF
12	Xiangxu Meng, Shijun Liu, Rui Wang, Chenglei Yang, Hai Guo	Applying Service Composition in Digital Museum Grid.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
12	Umesh Bellur, Nanjangud C. Narendra	Towards Service Orientation in Pervasive Computing Systems.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Programmable Requirements, Ontologies, Adaptation, Pervasive Computing, Service-Oriented Computing
12	Pichet Amnuaykanjanasin, Natawut Nupairoj	The BPEL Orchestrating Framework for Secured Grid Services.	ITCC (1)	2005	DBLP DOI BibTeX RDF	BPEL orchestrating framework, Secured Grid services orchestration, BPEL, Grid services
12	Praveen Sethupathy, Molly Megraw, M. Inmaculada Barrasa, Artemis G. Hatzigeorgiou	Computational Identification of Regulatory Factors Involved in MicroRNA Transcription.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
12	Nanjangud C. Narendra, Umesh Bellur, S. K. Nandy 0001, K. Kalapriya	Functional and architectural adaptation in pervasive computing environments.	MPAC	2005	DBLP DOI BibTeX RDF	workflow adaptation, service-oriented architectures, pervasive computing
12	Dimka Karastoyanova, Alejandro Houspanossian, Mariano Cilia, Frank Leymann, Alejandro P. Buchmann	Extending BPEL for Run Time Adaptability.	EDOC	2005	DBLP DOI BibTeX RDF
12	Ivan Blunno, Luciano Lavagno	Designing an asynchronous microcontroller using Pipefitter.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
12	Hiroshi Tsunoda, Kohei Ohta, Nei Kato, Yoshiaki Nemoto	Supporting IP/LEO satellite networks by handover-independent IP mobility management.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
12	Erik Arisholm, Lionel C. Briand, Audun Føyen	Dynamic Coupling Measurement for Object-Oriented Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
12	Rémi Forax, Étienne Duris, Gilles Roussel 0001	A Reflective Implementation of Java Multi-Methods.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	dynamic class loading, Java, reflection, polymorphism
12	Frank Goetz, Ralf Borau, Gitta Domik	An XML-based visual shading language for vertex and fragment shaders.	Web3D	2004	DBLP DOI BibTeX RDF	fragment shader, shading languages, vertex shader, Extensible Markup Language (XML), visual programming, Extensible 3D (X3D), dataflow programming
12	Amjad Mohsen, Richard Hofmann	Power Modeling, Estimation, and Optimization for Automated Co-design of Real-Time Embedded Systems.	PATMOS	2004	DBLP DOI BibTeX RDF
12	Manjunath Kudlur, Kevin Fan, Michael L. Chu, Rajiv A. Ravindran, Nathan Clark, Scott A. Mahlke	FLASH: Foresighted Latency-Aware Scheduling Heuristic for Processors with Customized Datapaths.	CGO	2004	DBLP DOI BibTeX RDF
12	Nicola Onose, Jérôme Siméon	XQuery at your web service.	WWW	2004	DBLP DOI BibTeX RDF	web services, XML, interface, XQuery, modules, wsdl
12	Dennis Hofheinz, Jörn Müller-Quade	Universally Composable Commitments Using Random Oracles.	TCC	2004	DBLP DOI BibTeX RDF	universal composition, cryptographic protocols, commitment, random oracle
12	Claude Crépeau, Paul Dumais, Dominic Mayers, Louis Salvail	Computational Collapse of Quantum State with Application to Oblivious Transfer.	TCC	2004	DBLP DOI BibTeX RDF
12	Makoto Hamana	Free S-Monoids: A Higher-Order Syntax with Metavariables.	APLAS	2004	DBLP DOI BibTeX RDF
12	Sungho Kim, Gi-jeong Jang, Wang-Heon Lee, In-So Kweon	How Human Visual Systems Recognize Objects - A Novel Computational Model.	ICPR (3)	2004	DBLP DOI BibTeX RDF
12	Feng Liu 0016, Wu Chou, Li Li 0001, J. Jenny Li	WSIP - Web Service SIP Endpoint for Converged Multimedia/Multimodal Communication over IP.	ICWS	2004	DBLP DOI BibTeX RDF	Web service, Session Initiation Protocol, service integration
12	Dalia Dagher, Iyad Ouaiss	Storage Allocation for Diverse FPGA Memory Specifications.	FPL	2004	DBLP DOI BibTeX RDF
12	Nicole E. Baldwin, Rebecca L. Collins, Michael A. Langston, Christopher T. Symons, Michael R. Leuze, Brynn H. Voy	High Performance Computational Tools for Motif Discovery.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Anand R. Tripathi, Tanvir Ahmed 0002, Devdatta Kulkarni, Richa Kumar, Komal Kashiramka	Context-Based Secure Resource Access in Pervasive Computing Environments.	PerCom Workshops	2004	DBLP DOI BibTeX RDF
12	Michael R. Peterson, Travis E. Doom, Michael L. Raymer	GA-Facilitated Knowledge Discovery and Pattern Recognition Optimization Applied to the Biochemistry of Protein Solvation.	GECCO (1)	2004	DBLP DOI BibTeX RDF
12	Yong-Hwan Lee, Il-Sun You, Sang-Burm Rhee	Improving CAM-DH Protocol for Mobile Nodes with Constraint Computational Power.	KES	2004	DBLP DOI BibTeX RDF
12	Ken Brodlie, David A. Duce, Julian R. Gallop, Musbah Shahop Sagar, Jeremy Walton, Jason D. Wood	Visualization in Grid Computing Environments.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	visualization reference models, XML, grid computing, visualization systems, computational steering
12	Augusto Sampaio, Paulo Borba	Transformation Laws for Sequential Object-Oriented Programming.	PSSE	2004	DBLP DOI BibTeX RDF
12	Maribel Fernández, Murdoch Gabbay, Ian Mackie	Nominal rewriting systems.	PPDP	2004	DBLP DOI BibTeX RDF	?-conversion, first and higher-order rewriting, binders
12	Seung-Hee Hwang, Youn-Hee Han, Jung-Hoon Han, Chong-Sun Hwang	The Impacts of Signaling Time on the Performance of Fast Handovers for MIPv6. (PDF / PS)	PWC	2004	DBLP DOI BibTeX RDF
12	Pyung Soo Kim, Myung Eui Lee, Soohong Park, Young Keun Kim	A New Mechanism for SIP over Mobile IPv6.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
12	ZhiJun Gu, Dongmin Yang, Cheeha Kim	Mobile IPv6 Extensions to support Nested Mobile Networks.	AINA (1)	2004	DBLP DOI BibTeX RDF
12	Alexandra Shulman-Peleg, Shira Mintz, Ruth Nussinov, Haim J. Wolfson	Protein-Protein Interfaces: Recognition of Similar Spatial and Chemical Organizations.	WABI	2004	DBLP DOI BibTeX RDF
12	Willy Susilo, Yi Mu 0001, Fangguo Zhang	Perfect Concurrent Signature Schemes.	ICICS	2004	DBLP DOI BibTeX RDF
12	Han-Chieh Chao, Yen-Ming Chu	An Architecture and Communication Protocol for IPv6 Pack-Based Picocellular Networks.	Mob. Networks Appl.	2003	DBLP DOI BibTeX RDF	flow label, MPLS, handoff, cellular, micro mobility
12	Subhayu Basu, David K. Karig, Ron Weiss	Engineering signal processing in cells: Towards molecular concentration band detection.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	cell-cell communications, genetic signal processing, synthetic gene networks, cellular computation
12	Ansgar Stammermann, Domenik Helms, Milan Schulte, Arne Schulz, Wolfgang Nebel	Interconnect Driven Low Power High-Level Synthesis.	PATMOS	2003	DBLP DOI BibTeX RDF
12	Alex C.-Y. Chang, Wu-An Kuo, Allen C.-H. Wu, TingTing Hwang	G-MAC: An Application-Specific MAC/Co-Processor Synthesizer.	DATE	2003	DBLP DOI BibTeX RDF
12	Chintan Patel, Kaustubh Supekar, Yugyung Lee	A QoS Oriented Framework for Adaptive Management of Web Service Based Workflows.	DEXA	2003	DBLP DOI BibTeX RDF
12	Emmanuel Bresson, Dario Catalano, David Pointcheval	A Simple Public-Key Cryptosystem with a Double Trapdoor Decryption Mechanism and Its Applications.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
12	Zhihong Ren, Beihong Jin, Jing Li	A New Web Application Development Methodology: Web Service Composition.	WES	2003	DBLP DOI BibTeX RDF
12	Peter Thiemann 0001	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
12	Deming Chen, Jason Cong, Yiping Fan	Low-power high-level synthesis for FPGA architectures.	ISLPED	2003	DBLP DOI BibTeX RDF	FPGA power reduction, RT-level power estimation, data path optimization
12	Patrick C. H. Ma, Keith C. C. Chan	Discovering Clusters in Gene Expression Data Using Evolutionary Approach.	ICTAI	2003	DBLP DOI BibTeX RDF
12	Matthias Veit, Stephan Herrmann 0001	Model-view-controller and object teams: a perfect match of paradigms.	AOSD	2003	DBLP DOI BibTeX RDF	a-posteriori integration, evaluation, collaborations, composition, programming language, GUI design
12	Yoshihiro Yasutake, Yusuke Masuyama, Kentaro Oda, Takaichi Yoshida	Clear Separation and Combination of Synchronization Constraint for Concurrent Object Oriented Programming.	AINA	2003	DBLP DOI BibTeX RDF
12	Christian Urban, Andrew M. Pitts, Murdoch Gabbay	Nominal Unificaiton.	CSL	2003	DBLP DOI BibTeX RDF
12	A. Beatriz Garmendia-Doval, S. David Morley, Szilveszter Juhos	Post Docking Filtering Using Cartesian Genetic Programming.	Artificial Evolution	2003	DBLP DOI BibTeX RDF
12	Sanjeev Baskiyar	Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25