|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2162 occurrences of 1476 keywords
|
|
|
Results
Found 3635 publication records. Showing 3635 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Michael Jones, Aaron Benson, Dan Delorey |
Proving Compatibility Using Refinement. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Ning Chen 0005, Xiaotie Deng, Xiaoming Sun 0001, Andrew Chi-Chih Yao |
Dynamic Price Sequence and Incentive Compatibility (Extended Abstract). |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Dui, Wolfgang Emmerich |
Compatibility of XML Language Versions. |
SCM |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Lei Xu 0003, Baowen Xu, Changhai Nie, Huowang Chen, Hongji Yang |
A Browser Compatibility Testing Method Based on Combinatorial Testing. |
ICWE |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Didi Achjari, M. A. Quaddus |
Roles of Formal/Informal Networks and Perceived Compatibility in the Diffusion of World Wide Web: The Case of Indonesian Banks. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Jun Han 0004 |
Interaction Compatibility: An Essential Ingredient for Service Composition. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Silvio Giove, Claudia Basta |
Environmental Risk and Territorial Compatibility: A Soft Computing Approach. |
WIRN |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
Interface Compatibility Checking for Software Modules. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Barend J. van Wyk, Michaël A. van Wyk |
Non-bayesian Graph Matching without Explicit Compatibility Calculations. |
SSPR/SPR |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Massimo Mecella, Barbara Pernici, Paolo Craca |
Compatibility of e -Services in a Cooperative Multi-platform Environment. |
TES |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Thomas M. Conte, Sumedh W. Sathaye |
Properties of Rescheduling Size Invariance for Dynamic Rescheduling-Based VLIW Cross-Generation Compatibility. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
instruction-set encoding, list encoding, VLIW, Microarchitecture, processor architecture, instruction cache |
25 | Sophia Drossopoulou, Susan Eisenbach, David Wragg |
A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
25 | D. L. Springer, Donald E. Thomas |
Exploiting the special structure of conflict and compatibility graphs in high-level synthesis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Heather M. Hinton, E. Stewart Lee |
The Compatibility of Policies. |
CCS |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Michael J. Glasgow, Brian D. Nettleton |
Data Compatibility in a Heterogeneous Processor Environment. |
Ada-Europe |
1993 |
DBLP DOI BibTeX RDF |
|
25 | C. H. Liu, Tin-Chee Wong, Osama A. Kandil |
Separation-bubble flow solution using Euler/Navier-Stokes zonal approach with downstream compatibility conditions. |
J. Sci. Comput. |
1988 |
DBLP DOI BibTeX RDF |
compressible Navier-Stokes equations, zonal method, Computational fluid dynamics |
25 | Francesco Parisi-Presicce |
Inner and Mutual Compatibility of Basic Operations on Module Specifications. |
CAAP |
1986 |
DBLP DOI BibTeX RDF |
|
25 | Kumar Tanmay, Ayush Kumar |
Augmented Reality Based Recommendations Based on Perceptual Shape Style Compatibility with Objects in the Viewpoint and Color Compatibility with the Background. |
ICCV Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Luciano Irineu de Castro, Nicholas C. Yannelis |
Uncertainty, efficiency and incentive compatibility: Ambiguity solves the conflict between efficiency and incentive compatibility. |
J. Econ. Theory |
2018 |
DBLP DOI BibTeX RDF |
|
25 | GuanJun Liu, Changjun Jiang |
Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets. |
Sci. China Inf. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Georg Grossmann, Michael Schrefl, Markus Stumptner |
Erratum to: Design for service compatibility - Behavioural compatibility checking and diagnosis. |
Softw. Syst. Model. |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Georg Grossmann, Michael Schrefl, Markus Stumptner |
Design for service compatibility - Behavioural compatibility checking and diagnosis. |
Softw. Syst. Model. |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Fabrício de Alexandria 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 |
21 | Hanjong Kim |
A study on the BER performance of turbo coded T-DMB system. |
ICHIT |
2009 |
DBLP DOI BibTeX RDF |
RCPC, T-DMB, compatibility, turbo code |
21 | Congjun Rao, Zhongcheng Zhang, June Liu |
Allocation Method of Total Permitted Pollution Discharge Capacity Based on Uniform Price Auction. |
ISNN (1) |
2009 |
DBLP DOI BibTeX RDF |
Allocating of TPPDC, Uniform price auction, Incentive compatibility, Bidding strategies |
21 | Pierre Genevès, Nabil Layaïda, Vincent Quint |
Identifying query incompatibilities with evolving XML schemas. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
XML, analysis, evolution, queries, schema, compatibility |
21 | Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah |
Backward-compatible constant-time exception-protected memory. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility |
21 | Liangjia Zhu, Zongtan Zhou, Dewen Hu |
Globally Consistent Reconstruction of Ripped-Up Documents. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Reconstruction of ripped-up documents, global consistency, compatibility, relaxation, gradient projection |
21 | Philippe Vismara, Benoît Valéry |
Finding Maximum Common Connected Subgraphs Using Clique Detection or Constraint Satisfaction Algorithms. |
MCO |
2008 |
DBLP DOI BibTeX RDF |
Maximum common subgraph, linegraph, subdivision graph, compatibility graph, constraints satisfaction algorithm, clique detection |
21 | Birgit Penzenstadler, Dagmar Koss |
High Confidence Subsystem Modelling for Reuse. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
reuse, compatibility, conformity, artefact, Subsystem |
21 | Eleonora P. Westebring-van der Putten, Sandra Bedaf, Monique Winters, Richard H. M. Goossens |
Differences between Operator Reactions on Positions of Visual Feedback of Haptic Stimuli, in a Crossed or Uncrossed Position of Laparoscopic Tools. |
EuroHaptics |
2008 |
DBLP DOI BibTeX RDF |
spatial compatibility, haptic feedback, laparoscopy |
21 | Klaus Marquardt, Lise B. Hvatum |
Versions, releases, and distribution. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
release strategy, distribution, pattern, migration, deployment, update, versioning, best practice, compatibility, installation, packaging, releases |
21 | Chang Boon Patrick Lee, U. Lan Edith Lei |
Adoption of e-government services in Macao. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
trust, e-government, compatibility, technology acceptance |
21 | Haytham Elhawary, Aleksandar Zivanovic, Marc Rea, Zion Tsz Ho Tse, Donald McRobbie, Ian Young 0002, Martyn Nigel James Paley, Brian L. Davies, Michael Lampérth |
A MR Compatible Mechatronic System to Facilitate Magic Angle Experiments in Vivo . |
MICCAI (2) |
2007 |
DBLP DOI BibTeX RDF |
magic angle, MR compatible robotics, MRI compatibility, MRI, medical robotics |
21 | Zhixing Huang, Shigeo Matsubara |
DFCA: A Flexible Refundable Auction for Limited Capacity Suppliers. |
GECON |
2007 |
DBLP DOI BibTeX RDF |
Refundable auction, price matching, incentive compatibility, advance reservation, VCG mechanism |
21 | Florin Constantin, Takayuki Ito 0001, David C. Parkes |
Online auctions for bidders with interdependent values. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
dynamic auctions, incentive compatibility, interdependent |
21 | Eftychios G. Christoforou, Nikolaos V. Tsekos, Alpay Özcan |
Design and Testing of a Robotic System for mrImage-guided Interventions. |
J. Intell. Robotic Syst. |
2006 |
DBLP DOI BibTeX RDF |
mr-compatibility, mr-compatible manipulator, mr image-guided robotic intervention, pc-based control, u-joints transmission, medical robotics |
21 | Bing-Zhong Wang, Zhong-Jun Yu, Wei Shao 0004, Ping-Ping Ding |
Analyses of Bounces on Power Distribution Networks Using an Unconditionally Stable Finite-Difference Time-Domain Method. |
IEEE Trans. Mob. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Power/ground planes, bounce, finite-difference time-domain method, unconditionally stable, electromagnetic compatibility |
21 | Vincent Berry, François Nicolas |
Improved Parameterized Complexity of the Maximum Agreement Subtree and Maximum Compatible Tree Problems. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
algorithms, pattern matching, trees, consensus, compatibility, fixed-parameter tractability, Phylogenetics |
21 | Fabian Vargas 0001 |
Design and test on chip for EMC. |
IEEE Des. Test Comput. |
2006 |
DBLP DOI BibTeX RDF |
electromagnetic compatibility, EMC, portable electronics, electromagnetic environment |
21 | Rafal Mantiuk, Alexander Efremov, Karol Myszkowski, Hans-Peter Seidel |
Backward compatible high dynamic range MPEG video compression. |
ACM Trans. Graph. |
2006 |
DBLP DOI BibTeX RDF |
visible difference predictor, visual perception, MPEG, video compression, high dynamic range, tone mapping, prefiltering, visual masking, backward compatibility |
21 | Boualem Benatallah, Hamid R. Motahari Nezhad |
ServiceMosaic project: modeling, analysis and management of web services interactions. |
APCCM |
2006 |
DBLP BibTeX RDF |
web services, adaptation, compatibility, replaceability, business protocols |
21 | Shahar Dobzinski, Noam Nisan, Michael Schapira |
Truthful randomized mechanisms for combinatorial auctions. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
combinatorial auctions, incentive compatibility |
21 | Tokuro Matsuo, Takayuki Ito 0001, Robert W. Day, Toramatsu Shintani |
A robust combinatorial auction mechanism against shill bidders. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
pareto efficiency, shill bids, combinatorial auctions, incentive compatibility, computational mechanism design, vickrey-clarke-groves mechanism |
21 | Dirk Beyer 0001, Arindam Chakrabarti, Thomas A. Henzinger |
Web service interfaces. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
Web service compatibility, Web service interfaces, Web service substitutivity, Web services, formal specification, formal verification |
21 | Adam L. Young, Moti Yung |
A Key Recovery System as Secure as Factoring. |
CT-RSA |
2004 |
DBLP DOI BibTeX RDF |
Rabin, Blum integer, pseudosquare, PKCS #1, standard compatibility, RSA, public key cryptography, zero-knowledge, chosen ciphertext security, key recovery, semantic Security, quadratic residue |
21 | Jie Jennifer Zhang, Abraham Seidmann |
The optimal software licensing policy under quality uncertainty. |
ICEC |
2003 |
DBLP DOI BibTeX RDF |
upgrade compatibility, risk, software licensing, price discrimination, network externality |
21 | Bernd Reitwiesner, Stefan Volkert, Melanie Frank |
Standardization and the Competition between Standard Business Software and Framework Technology: Policy Implications for the Management and the Standardization Organizations. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
framework technology, compatibility decisions, market entry analysis, standardization, enterprise resource planning systems, economic analysis, network effects, social welfare |
21 | Susan Eisenbach, Chris Sadler |
Changing Java Programs. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Distributed maintenance, binary compatibility, Java, version control, dynamic loading |
21 | Salah Sadou, Gautier Koscielny, Hafedh Mili |
Abstracting Services in a Heterogeneous Environment. |
Middleware |
2001 |
DBLP DOI BibTeX RDF |
Dynamic reuse, Disparate services, Environment structuring, Service compatibility, Service group, Distributed objects |
21 | Houari A. Sahraoui, Mounir Boukadoum, Hakim Lounis, Frédéric Ethève |
Predicting class libraries interface evolution: an investigation into machine learning approaches. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
class library interface evolution prediction, object-oriented system evolution management, reusable class libraries, version compatibility, symptomatic instability detection, fuzzy logic-based approach, structural metrics, stability indicators, commercial C++ class libraries, top down induction of decision trees, machine learning, user interfaces, user interface, learning (artificial intelligence), fuzzy logic, object-oriented programming, decision trees, software quality, software metrics, software reusability, pattern classification, Bayes methods, software libraries, software development management, Bayesian classifiers, management of change |
21 | Timothy Hebert, Kimon P. Valavanis, Ramesh Kolluru |
A Real-Time, Hierarchical, Sensor-Based Robotic System Architecture. |
J. Intell. Robotic Syst. |
1998 |
DBLP DOI BibTeX RDF |
sensor-based control, system architecture, system integration, compatibility, hierarchical control |
21 | Asger Munk Nielsen, David W. Matula, Chung Nan Lyu, Guy Even |
Pipelined Packet-Forwarding Floating Point: II. An Adder. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
pipelined packet forwarding floating point, floating point addition algorithm, adder pipeline design, packet forwarding pipeline paradigm, data hazards, deeply pipelined floating point pipelines, four stage execution phase pipeline, short clock period, fifteen logic levels, addition algorithm, standard binary floating point format, standard IEEE 754 rounded result, two cycle latency, cooperating multiplier pipeline, packet forwarding operand, IEEE 754 binary floating point compatibility, pipeline arithmetic |
21 | Michel Soto, Sébastien Allongue |
A Semantic Approach of Virtual Worlds Interoperability. |
WETICE |
1997 |
DBLP DOI BibTeX RDF |
semantic approach, virtual world interoperability, virtual entities, Influence Reaction model, semantic compatibility level, ontology concept, virtual reality, multi-agent systems, symbols |
21 | Chanjung Park, Seog Park |
A multiversion locking protocol for real-time databases with multilevel security. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
multiversion locking protocol, processes transactions, explicit timing constraints, logical data consistency, compatibility matrix, version selection algorithm, data integrity, timing constraints, multilevel security, real-time databases, temporal consistency |
21 | Ching-Shan Peng, Kwei-Jay Lin |
A semantic-based concurrency control protocol for real-time transactions. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions |
21 | Yakov Rekhter, Dilip D. Kandlur |
Phasing ATM technology into an IP environment. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
logical IP subnetworks, ATM technology, ATM deployment, TCP/IP environment, address mapping servers, LAN Emulation, switch based infrastructure, router based overlay, asynchronous transfer mode, routing protocols, SVC, DNS, backward compatibility, IP over ATM |
21 | P. Shanti Sastry, M. A. L. Thathachar 0001 |
Analysis of Stochastic Automata Algorithm for Relaxation Labeling. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
stochastic automata algorithm, parallel stochastic algorithm, symmetric compatibility functions, consistent labeling, parallel algorithms, image processing, relaxation labelling, stochastic automata |
19 | Shuo Tang, Chris Grier, Onur Aciiçmez, Samuel T. King |
Alhambra: a system for creating, enforcing, and testing browser security policies. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
web browser, web security, cross-site scripting |
19 | Luke Dalessandro, Michael F. Spear, Michael L. Scott |
NOrec: streamlining STM by abolishing ownership records. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
ownership records, transactional memory models, transactional memory, software transactional memory |
19 | Tibério S. Caetano, Julian J. McAuley, Li Cheng 0001, Quoc V. Le, Alexander J. Smola |
Learning Graph Matching. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Nawal Guermouche, Claude Godart |
Timed Model Checking Based Approach for Web Services Analysis. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Mahdi Niamanesh, Rasool Jalili |
A Formalism for Recongurability Analysis in Distributed Non-Blocking Components. |
ICDCS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Tibério S. Caetano, Li Cheng 0001, Quoc V. Le, Alexander J. Smola |
Learning Graph Matching. |
ICCV |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Philippe Noriega, Olivier Bernier |
Multicues 2D Articulated Pose Tracking using Particle Filtering and Belief Propagation on Factor Graphs. |
ICIP (5) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Gero Decker, Mathias Weske |
Behavioral Consistency for B2B Process Integration. |
CAiSE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | A. R. Dani, Arun K. Pujari, Ved Prakash Gulati |
Strategy proof electronic markets. |
ICEC |
2007 |
DBLP DOI BibTeX RDF |
demand reduction, multi agent systems, mechanism design, electronic markets, double auction |
19 | Devi Parikh, Rahul Sukthankar, Tsuhan Chen, Mei Chen |
Feature-based Part Retrieval for Interactive 3D Reassembly. |
WACV |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Nabil Hameurlain |
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS. |
ESAW |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff |
Open Agent Systems??? |
AOSE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Eric L. Sauser, Aude Billard |
Biologically Inspired Multimodal Integration: Interferences in a Human-Robot Interaction Game. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Eric L. Sauser, Aude Billard |
Interferences in a Human-Robot Interaction Game. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Mithun Das Gupta, Shyamsundar Rajaram, Nemanja Petrovic, Thomas S. Huang |
Restoration and Recognition in a Loop. |
CVPR (1) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Quang Nguyen, Boi Faltings |
Randomization for Multi-agent Constraint Optimization. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Chankin Park, Seungmo Cho, Jaewook Lee, Hyungjun Park |
Co-Validation Environment for Memory Card. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella |
When are Two Web Services Compatible? |
TES |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Luca de Alfaro |
Game Models for Open Systems. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Suad Alagic, Jeremy Logan |
Consistency of Java Transactions. |
DBPL |
2003 |
DBLP DOI BibTeX RDF |
|
19 | André de Korvin, Shohreh Hashemi, Gerald Quirchmayr, Robert M. Kleyle |
Assigning Tasks to Resource Pools: A Fuzzy Set Approach. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Timothy Fraser |
LOMAC: Low Water-Mark Integrity Protection for COTS Environments. |
S&P |
2000 |
DBLP DOI BibTeX RDF |
low water-mark, linux security, access control, integrity, mandatory access control, security policy model |
19 | Maximiliano Saiz-Noeda, Manuel Palomar |
Semantic Knowledge-Driven Method to Solve Pronominal Anaphora in Spanish Texts. |
Natural Language Processing |
2000 |
DBLP DOI BibTeX RDF |
|
19 | King C. Ho, Sarma B. K. Vrudhula |
Interval graph algorithms for two-dimensional multiple folding of array-based VLSI layouts. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
19 | C. Hwa Chang, Hammad K. Azzam |
A weighted technique for programmable logic devices minimization. |
MICRO |
1990 |
DBLP BibTeX RDF |
|
19 | Brighten Godfrey, Michael Schapira, Aviv Zohar, Scott Shenker |
Incentive compatibility and dynamics of congestion control. |
SIGMETRICS |
2010 |
DBLP DOI BibTeX RDF |
congestion control, TCP, incentives, queueing |
19 | |
Temporal Upward Compatibility. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Wencheng Wang, Feitong Liu, Peijie Huang, Enhua Wu |
Texture synthesis via the matching compatibility between patches. |
Sci. China Ser. F Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
texture patch, large textures, match, texture synthesis |
19 | Xueqiang Gong, Jing Liu 0012, Miaomiao Zhang, Jueliang Hu |
Formal Analysis of Services Compatibility. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Bin Xu 0004, Yun Ling, Xiaojun Li, Yi Zhuang 0001, Bo Jiang, Shuai Zhang, Keting Yin |
Determining task priority in dual-shore collaborative software design via Petri Net based behavior compatibility analysis. |
CSCWD |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Annie M. Tang, Daniel F. Kacher, Edmund Y. Lam, Kelvin K. Wong, Ferenc A. Jolesz, Edward S. Yang |
Simultaneous Ultrasound and MRI System for Breast Biopsy: Compatibility Assessment and Demonstration in a Dual Modality Phantom. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Wilson W. H. Chan, Alan H. S. Chan |
Movement Compatibility for Two-Dimensional Lever Control and Digital Counter. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Marco Pistore, Emilio Tuosto |
History Dependent Automata for Service Compatibility. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Xinlin Zhang, Huaikou Miao, Shenghong Li |
An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ilie Savga, Michael Rudolf 0001 |
Refactoring-based support for binary compatibility in evolving frameworks. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
frameworks, refactoring, software evolution, component-based systems, software adaptation |
19 | Taemin Kim, Xun Liu |
Compatibility path based binding algorithm for interconnect reduction in high level synthesis. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Christian Kühnel, Andreas Bauer 0002, Michael Tautschnig |
Compatibility and reuse in component-based systems via type and unit inference. |
EUROMICRO-SEAA |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Joongman Kim, Seokung Yoon, Yoojae Won, Jaeil Lee |
VoIP Secure Communication Protocol satisfying Backward Compatibility. |
ICSNC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Li-Ping He, Fu-Zheng Qu |
A Comparative Study of Compatibility and Transformation between Probability and Possibility. |
FSKD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè |
Compatibility and Regression Testing of COTS-Component-Based Software. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Donghui Lin |
Compatibility Analysis of Local Process Views in InterorganizationalWorkflow. |
CEC/EEE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Djamal Benslimane, Fenglin Liu |
On Checking the Compatibility of Web Services' Policies. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 3635 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|