Search results for "compatibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Federico Carpi, Azadeh Khanicheh, Constantinos Mavroidis, Danilo De Rossi	Silicone made contractile dielectric elastomer actuators inside 3-Tesla MRI environment.	IROS	2008	DBLP DOI BibTeX RDF
13	Tomoaki Mashimo, Shigeki Toyama, Hiroshi Matsuda	Development of rotary-linear piezoelectric actuator for MRI compatible manipulator.	IROS	2008	DBLP DOI BibTeX RDF
13	Laurent Doyen 0001, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov	Interface theories with component reuse.	EMSOFT	2008	DBLP DOI BibTeX RDF	interfaces, composition, refinement
13	Stefan Pusca, Theodora Toma	Computational Model for the Study of the Fractal Parameters Characteristic for the Surface of Titanium Dental Implants.	BIRD	2008	DBLP DOI BibTeX RDF
13	Houbin Li, Xiaohui Zhang, Wenjuan Gu, Shengping Yi, Chi Huang	The Preparation and Characterization of a Compatibilizer: Silicon Dioxide Nanoparticles Grafted with L-Lactic Acid Oligomer.	CSSE (6)	2008	DBLP DOI BibTeX RDF
13	Mikko Rönkkö, Antero Järvi, Markus M. Mäkelä	Measuring and Comparing the Adoption of Software Process Practices in the Software Product Industry.	ICSP	2008	DBLP DOI BibTeX RDF	Rasch model, XP, software process improvement, agile methods, Scrum, CMMI, survey research, scale development
13	Dong Wang 0022, Xiaobing Liu, Duanpeng Wang, Jianmin Li 0001, Bo Zhang 0010	SemanGist: A Local Semantic Image Representation.	PCM	2008	DBLP DOI BibTeX RDF
13	Bradley Wehrwein, Gilberto Matos, Rajanikanth Tanikella	A Requirements-Driven and Collaborative Decision Support Approach for Evaluating the Viability of Candidate Implementation Technologies.	EDOC	2008	DBLP DOI BibTeX RDF
13	Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha	The design and implementation of microdrivers.	ASPLOS	2008	DBLP DOI BibTeX RDF	reliability, device drivers, program partitioning
13	Michael Thonhauser, Christian Kreiner, Egon Teiniker, Gernot Schmoelzer	Data Model Driven Enterprise Service Bus Interceptors.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
13	Stephen S. Yau, Junwei Liu	Service Functionality Indexing and Matching for Service-Based Systems.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Service Indexing, Services, Service Matching, Service Functionality
13	Todd J. Foster, Dennis L. Lastor, Padmaraj Singh	First Silicon Functional Validation and Debug of Multicore Microprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
13	Shibaji Banerjee, Dipanwita Roy Chowdhury, Bhargab B. Bhattacharya	An Efficient Scan Tree Design for Compact Test Pattern Set.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
13	En-Hui Yang, Xiang Yu 0001	Rate Distortion Optimization for H.264 Interframe Coding: A General Framework and Algorithms.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
13	Hamilton Y. Chong, Steven J. Gortler, Todd E. Zickler	The von Kries Hypothesis and a Basis for Color Constancy.	ICCV	2007	DBLP DOI BibTeX RDF
13	Peng Men, Zhenhua Duan, Bin Yu	Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.	ICATPN	2007	DBLP DOI BibTeX RDF	ontology, semantic web services, matchmaking, fuzzy petri net
13	Nathan Clark, Amir Hormati, Sami Yehia, Scott A. Mahlke, Krisztián Flautner	Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping.	HPCA	2007	DBLP DOI BibTeX RDF
13	Maria Pavlis Korres	On the requirements of Learning Object Metadata for adults' educators of special groups.	MTSR	2007	DBLP DOI BibTeX RDF
13	William Bradley Glisson, L. Milton Glisson, Ray Welland	Secure Web Application Development and Global Regulation.	ARES	2007	DBLP DOI BibTeX RDF
13	Matthias Weidlich 0001, Gero Decker, Mathias Weske	Efficient Analysis of BPEL 2.0 Processes Using p-Calculus.	APSCC	2007	DBLP DOI BibTeX RDF
13	Nawal Guermouche, Salima Benbernou, Emmanuel Coquery, Mohand-Said Hacid	Privacy-Aware Web Service Protocol Replaceability.	ICWS	2007	DBLP DOI BibTeX RDF
13	Zhiyong Shan, Qiuyue Wang, Xiaofeng Meng 0001	An OS Security Protection Model for Defeating Attacks from Network.	ICISS	2007	DBLP DOI BibTeX RDF	Access Control, information flow
13	Li Zhang 0034, Chris R. Jesshope	On-Chip COMA Cache-Coherence Protocol for Microgrids of Microthreaded Cores.	Euro-Par Workshops	2007	DBLP DOI BibTeX RDF
13	Gale D. Fritsche, Sara K. Rodgers	Encryption technologies: testing and identifying campus needs.	SIGUCCS	2007	DBLP DOI BibTeX RDF	breach, mandate, privacy, evaluation, protection, compliance, sensitive data
13	Francesco Ciraulo, Giovanni Sambin	Finiteness in a Minimalist Foundation.	TYPES	2007	DBLP DOI BibTeX RDF	minimalist foundation, finite subsets, type theory, constructive mathematics, finite sets
13	Yufeng Wang 0001, Yoshiaki Hori, Kouichi Sakurai	On Characterizing Economic-Based Incentive-Compatible Mechanisms to Solving Hidden Information and Hidden Action in Ad Hoc Network.	UIC	2007	DBLP DOI BibTeX RDF
13	Puttipong Mahasukhon, Michael Hempel, Song Ci, Hamid Sharif	Comparison of Throughput Performance for the IEEE 802.11a and 802.11g Networks.	AINA	2007	DBLP DOI BibTeX RDF
13	Y. Narahari, Nikesh Kumar Srivastava	A Bayesian Incentive Compatible Mechanism for Decentralized Supply Chain Formation.	CEC/EEE	2007	DBLP DOI BibTeX RDF
13	Gang Li, Steven W. Zucker	Contextual Inference in Contour-Based Stereo Correspondence.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	position disparity, orientation disparity, stereo correspondence, relaxation labeling, curve matching
13	Emanuela P. Lins, Ulrik Pagh Schultz	Supporting transparent evolution of component interfaces.	SAC	2006	DBLP DOI BibTeX RDF
13	Mohamad Badra	Feedback Stabilization of the 3-D Navier-Stokes Equations Based on an Extended System.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	Feedback stabilization, Navier-Stokes equation, Riccati equation
13	Virginio Cantoni, Luca Lombardi, Paolo Lombardi	Most minutiae-based matching algorithms confront.	ICPR (4)	2006	DBLP DOI BibTeX RDF
13	Zhenghao Zhang, Yuanyuan Yang 0001	Enhancing downlink performance in wireless networks by simultaneous multiple packet transmission.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Lihui Lei, Zhenhua Duan, Bin Yu	Semantic Matching of Web Services for Collaborative Business Processes.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
13	F. Betül Atalay, David M. Mount	The Cost of Compatible Refinement of Simplex Decomposition Trees.	IMR	2006	DBLP DOI BibTeX RDF
13	Arielle Drummond, Timothy Bachman, James F. Antaki	Three-Dimensional Virtual Anatomic Fit Study for an Implantable Pediatric Ventricular Assist Device.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
13	Gang Li, Steven W. Zucker	Surface Geometric Constraints for Stereo in Belief Propagation.	CVPR (2)	2006	DBLP DOI BibTeX RDF
13	Deokjai Choi 0001, Hongseok Jang, Kugsang Jeong, Punghyeok Kim, Soo-Hyung Kim	Delivery and Storage Architecture for Sensed Information Using SNMP.	APNOMS	2006	DBLP DOI BibTeX RDF	sensed information management, sensor network management, SNMP
13	Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten	Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
13	Thomas A. Henzinger, Slobodan Matic	An Interface Algebra for Real-Time Components.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
13	Alanna Zito, Zinovy Diskin, Jürgen Dingel	Package Merge in UML 2: Practice vs. Theory?	MoDELS	2006	DBLP DOI BibTeX RDF
13	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
13	Tim Roughgarden, Mukund Sundararajan	New trade-offs in cost-sharing mechanisms.	STOC	2006	DBLP DOI BibTeX RDF	Braess's Paradox, random graphs, selfish routing
13	Yongyan Zheng, Paul Krause	Asynchronous Semantics and Anti-patterns for Interacting Web Services.	QSIC	2006	DBLP DOI BibTeX RDF
13	Jingshan Huang, Jiangbo Dang, Michael N. Huhns	Ontology Reconciliation for Service-Oriented Computing.	IEEE SCC	2006	DBLP DOI BibTeX RDF
13	Venkata Krishnan, David Mayhew	Localized Congestion Control in Advanced Switching Interconnects.	IEEE Micro	2005	DBLP DOI BibTeX RDF
13	Chrisa Tsinaraki, Panagiotis Polydoros, Fotis G. Kazasis, Stavros Christodoulakis	Ontology-Based Semantic Indexing for MPEG-7 and TV-Anytime Audiovisual Content.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	ontologies, segmentation, MPEG-7, semantic indexing, TV-anytime
13	Jiwu Shu, Bigang Li, Weimin Zheng	Design and Implementation of an SAN System Based on the Fiber Channel Protocol.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	FCP, information storage, Network architecture and design, mass storage
13	K. Vidyasankar, V. S. Ananthanarayana	Binding and Execution of Web Service Compositions.	WISE	2005	DBLP DOI BibTeX RDF
13	André Rifaut	Goal-Driven Requirements Engineering for Supporting the ISO 15504 Assessment Process.	EuroSPI	2005	DBLP DOI BibTeX RDF
13	Jeremy Condit, George C. Necula	Data Slicing: Separating the Heap into Independent Regions.	CC	2005	DBLP DOI BibTeX RDF
13	Ivana Ivánová, Margita Vajsablova	Uncertainty in Position of Objects as an Influence Factor of the Area Value.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
13	Jianqiang Hu, Changguo Guo, Huaimin Wang, Peng Zou	Web Services Peer-to-Peer Discovery Service for Automated Web Service Composition.	ICCNMC	2005	DBLP DOI BibTeX RDF
13	Jen-Her Wu, Shu-Ching Wang, Li-Min Lin	What Drives Mobile Health Care? An Empirical Evaluation of Technology Acceptance.	HICSS	2005	DBLP DOI BibTeX RDF
13	Md. Musfiquzzaman Akanda, Ben A. Abderazek, Sotaro Kawata, Masahiro Sowa	An Efficient Dynamic Switching Mechanism (DSM) for Hybrid Processor Architecture.	EUC	2005	DBLP DOI BibTeX RDF
13	Maria-Florina Balcan, Avrim Blum	A PAC-Style Model for Learning from Labeled and Unlabeled Data.	COLT	2005	DBLP DOI BibTeX RDF
13	Jerzy Konorski	Noncooperative Channel Contention in Ad Hoc Wireless LANs with Anonymous Stations.	IWDC	2005	DBLP DOI BibTeX RDF
13	Pavan Balaji, Wu-chun Feng, Qi Gao 0004, Ranjit Noronha, Weikuan Yu, Dhabaleswar K. Panda 0001	Head-to-TOE Evaluation of High-Performance Sockets over Protocol Offload Engines.	CLUSTER	2005	DBLP DOI BibTeX RDF
13	Toshihiko Koju, Shingo Takada 0001, Norihisa Doi	An efficient and generic reversible debugger using the virtual machine based approach.	VEE	2005	DBLP DOI BibTeX RDF	reverse execution, virtual machine, debugger
13	Chih-Pin Su, Cheng-Wen Wu	A Graph-Based Approach to Power-Constrained SOC Test Scheduling.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	test integration, test scheduling, test access mechanism (TAM), SOC testing, test power, system-on-chip (SOC)
13	Rafa Lange, Lukasz Blaszak, Marek Domanski	Simple AVC-based codecs with spatial scalability.	ICIP	2004	DBLP DOI BibTeX RDF
13	Tiziana Margaria	Modeling Dependable Systems: What Can Model Driven Development Contribute and What Likely Not?.	ISORC	2004	DBLP DOI BibTeX RDF
13	Vijay D'Silva, S. Ramesh 0001, Arcot Sowmya	Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.	DATE	2004	DBLP DOI BibTeX RDF
13	Sriram Krishnan, Dennis Gannon	XCAT3: A Framework for CCA Components as OGSA Services.	HIPS	2004	DBLP DOI BibTeX RDF	Babel, XSOAP, GSX, Web Services, Grids, Components, OGSA, CCA, OGSI
13	Crystal R. Miller, Henry R. Bent	OS X: a ten-step program.	SIGUCCS	2004	DBLP DOI BibTeX RDF	OS X, public laboratories, radmind, printing, Macintosh
13	Luca Cabibbo, Riccardo Torlone	On the Integration of Autonomous Data Marts.	SSDBM	2004	DBLP DOI BibTeX RDF
13	Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett	A user-centred approach to functions in Excel.	ICFP	2003	DBLP DOI BibTeX RDF
13	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga	Resource Interfaces.	EMSOFT	2003	DBLP DOI BibTeX RDF
13	Jeffrey Shneidman, David C. Parkes	Using redundancy to improve robustness of distributed mechanism implementations.	EC	2003	DBLP DOI BibTeX RDF
13	Moshe Babaioff, William E. Walsh	Incentive-compatible, budget-balanced, yet highly efficient auctions for supply chain formation.	EC	2003	DBLP DOI BibTeX RDF	auctions, mechanism design, supply chain formation
13	Ning Chen 0005, Xiaotie Deng, Hong Zhu 0004	Double Auction in Two-Level Markets.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
13	Samitha Samaranayake, Emil Gizdarski, Nodari Sitchinava, Frederic Neuveux, Rohit Kapur, Thomas W. Williams	A Reconfigurable Shared Scan-in Architecture.	VTS	2003	DBLP DOI BibTeX RDF
13	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	Synchronous and Bidirectional Component Interfaces.	CAV	2002	DBLP DOI BibTeX RDF
13	Michael Gschwind, Erik R. Altman	Precise Exception Semantics in Dynamic Compilation.	CC	2002	DBLP DOI BibTeX RDF
13	Adronis Niyonkuru, Göran Eggers, Hans Christoph Zeidler	A Reconfigurable Processor Architecture.	FPL	2002	DBLP DOI BibTeX RDF
13	Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga	Timed Interfaces.	EMSOFT	2002	DBLP DOI BibTeX RDF
13	Dongman Lee, Hyewon Shin, Soon J. Hyun, Younghee Lee, Myungchul Kim, Hee Yong Youn	Extensions to DNS for Supporting Internationalized Domain Names.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
13	Nam-Kyung Lee, Ho-Jin Lee, Ho-kyum Kim, Soo-Hoan Chae	Coopration System of DSM-CC Data Carousel and MPEG-4 System via Satellite.	ITCC	2002	DBLP DOI BibTeX RDF
13	Gregor von Laszewski, Jarek Gawor, Carlos J. Peña, Ian T. Foster	InfoGram: A Grid Service that Supports Both Information Queries and Job Execution.	HPDC	2002	DBLP DOI BibTeX RDF
13	Juan Manuel Sáez, Francisco Escolano	Monte Carlo Localization in 3D Maps Using Stereo Vision.	IBERAMIA	2002	DBLP DOI BibTeX RDF
13	Marco Bernardo 0001, Francesco Franzè	Architectural Types Revisited: Extensible And/Or Connections.	FASE	2002	DBLP DOI BibTeX RDF
13	Michael Gschwind, Erik R. Altman	Optimization and precise exceptions in dynamic compilation.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF
13	Emile Hsieh, Vladimir Pentkovski, Thomas Piazza	ZR: a 3D API transparent technology for chunk rendering.	MICRO	2001	DBLP DOI BibTeX RDF
13	Deepak Bansal, Hari Balakrishnan, Sally Floyd, Scott Shenker	Dynamic behavior of slowly-responsive congestion control algorithms.	SIGCOMM	2001	DBLP DOI BibTeX RDF
13	Minzhe Zhao, Mingshu Li 0001	T.120/H.32x-based Multimedia Conferencing Desig.	CSCWD	2001	DBLP DOI BibTeX RDF
13	Artur Chojnacki, Lech Józwiak	Multi-Valued Sub-Function Encoding in Functional Decomposition Based on Information Relationships Measures.	ISMVL	2000	DBLP DOI BibTeX RDF
13	Ilker Hamzaoglu, Janak H. Patel	Reducing Test Application Time for Built-in-Self-Test Test Pattern Generators.	VTS	2000	DBLP DOI BibTeX RDF	Built-in-Self-Test, Test Generation, Combinational Circuits, Test Application Time, Stuck-at Fault Model
13	Cheng-Yuan Liou, Hsin-Chang Yang	Selective Feature-to-Feature Adhesion for Recognition of Cursive Handprinted Characters.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Handprinted character recognition, signature recognition, cell-cell adhesion, Hopfield network, receptive field, selective attention, topological order, subgraph matching
13	S. Bharitkar, Kazuhiro Tsuchiya, Yoshiyasu Takefuji	Microcode optimization with neural networks.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
13	Nicola Nicolici, Bashir M. Al-Hashimi	Efficient BIST Hardware Insertion with Low Test Application Time for Synthesized Data Paths.	DATE	1999	DBLP DOI BibTeX RDF
13	Paulo F. Flores, Horácio C. Neto, Krishnendu Chakrabarty, João Marques-Silva 0001	Test pattern generation for width compression in BIST.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
13	Thomas Plagemann, Frank Eliassen, Vera Goebel, Tom Kristensen, Hans Ole Rafaelsen	Adaptive QoS Aware Binding of Persistent Multimedia Objects.	DOA	1999	DBLP DOI BibTeX RDF
13	Twittie Senivongse	Enabling Flexible Cross-Version Interoperability from Distributed Services.	DOA	1999	DBLP DOI BibTeX RDF
13	Martin Büchi, Wolfgang Weck	Compound Types for Java.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
13	Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss	Type-Based Alias Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
13	Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna	Automatic Interoperability Test Generation for Source-to-Source Translators.	ISSTA	1998	DBLP DOI BibTeX RDF	language conversion, legacy data, source-to-source translation, C++, test generation, automated testing, legacy software
13	Qing Guo, Paliath Narendran, Sandeep K. Shukla	Unification and Matching in Process Algebras.	RTA	1998	DBLP DOI BibTeX RDF
13	Richard M. Chou, Kewal K. Saluja, Vishwani D. Agrawal	Scheduling tests for VLSI systems under power constraints.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
13	Krishna Ratakonda, S. Yoon, Narendra Ahuja	Coding the Displaced Frame Difference for Video Compression.	ICIP (1)	1997	DBLP DOI BibTeX RDF
13	Paolo Marenzoni, Giovanni Rimassa, Massimo Bertozzi, Gianni Conte, Pietro Rossi	An Operating System Support to Low-Overhead Communications in NOW Clusters.	CANPC	1997	DBLP DOI BibTeX RDF