|
|
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 |
88 | Hong Tian, Zhao Pixi, Xiukun Wang |
CRST: A Generalization of Rough Set Theory. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
Compatibility Rough Set Theory (CRST), Compatibility Relation, Fuzzy Compatibility Relation, Rough Set Theory (RST) |
72 | Johannes Maria Zaha |
Automated Compatibility Tests for Business Related Aspects of Software Components. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
Compatibility test, software reuse, software components |
59 | Qianhui Liang, Michael N. Huhns |
Ontology-Based Compatibility Checking for Web Service Configuration Management. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
Web services compatibility, Web services configuration management, ontology |
59 | ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu 0001, Manfred Hauswirth |
Behavioral Compatibility of Web Services. |
OTM Workshops |
2008 |
DBLP DOI BibTeX RDF |
Mediated Web Service Interaction, Process Scenario, Business Process, View, Compatibility |
59 | Lei Xu 0003, Baowen Xu, Changhai Nie |
Testing and Fault Diagnosis for Web Application Compatibility Based on Combinatorial Method. |
ISPA Workshops |
2005 |
DBLP DOI BibTeX RDF |
Combinatorial Method, Compatibility Testing, Fault Diagnosis, Web Applications |
59 | Josep Carmona 0001, Jordi Cortadella |
Input/Output Compatibility of Reactive Systems. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory |
52 | Kangho Kim, Chei-Yol Kim, Sung-In Jung, Hyun-Sup Shin, Jin-Soo Kim |
Inter-domain socket communications supporting high performance and full binary compatibility on Xen. |
VEE |
2008 |
DBLP DOI BibTeX RDF |
socket binary compatibility, socket interface, virtual machine, high performance, Xen |
52 | Johannes Maria Zaha, Marco Geisenberger, Martin Groth |
Compatibility Test and Adapter Generation for Interfaces of Software Components. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
Compatibility test, adapter generation, software reuse, software component, IDL |
50 | Jeffrey Shneidman, David C. Parkes |
Specification faithfulness in networks with rational nodes. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
algorithm compatibility, communication compatibility, distributed algorithmic mechanism design, rational failure, rational manipulation, incentive compatibility, failure models, computational mechanism design |
46 | ZhangBing Zhou, Ke Ning, Sami Bhiri, Laurentiu Vasiliu, Lei Shu 0001, Manfred Hauswirth |
Behavioral analysis of web services for supporting mediated service interoperations. |
ICEC |
2008 |
DBLP DOI BibTeX RDF |
web services, similarity, compatibility, public process |
46 | Noury M. N. Bouraqadi-Saâdani, Thomas Ledoux, Fred Rivard |
Safe Metaclass Programming. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
class property propagation, class specific properties, compatibility, metaclasses |
46 | Zhaohui Wu 0001, ShuiGuang Deng, Ying Li 0001, Jian Wu 0001 |
Computing compatibility in dynamic service composition. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Behavioral compatibility, Web service, Service composition, ?-calculus |
46 | Craig Van Slyke, Richard D. Johnson, Ross Hightower, Wafa Elgarah |
Implications of researcher assumptions about perceived relative advantage and compatibility. |
Data Base |
2008 |
DBLP DOI BibTeX RDF |
innovation diffusion theory, relative advantage, scale reuse, adoption, compatibility |
46 | Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
Effective and scalable software compatibility testing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
software compatibility testing, component-based software system |
46 | Felix B. Tan, Jacky P. C. Chou |
The Effects of Mobile Service Quality and Technology Compatibility on Users' Perceived Playfulness. |
HCI (4) |
2007 |
DBLP DOI BibTeX RDF |
Perceived Service Quality, Perceived Technology Compatibility, Perceived Playfulness, Mobile Information and Entertainment Services |
46 | Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
Direct-dependency-based software compatibility testing. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
compatibility testing, component-based software system |
46 | Neha Katira, Laurie A. Williams, Eric N. Wiebe, Carol Miller, Suzanne Balik, Edward F. Gehringer |
On understanding compatibility of student pair programmers. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
Myers Briggs, computer science classroom, collaboration, pair programming, compatibility |
46 | Marcello Pelillo, Mario Refice |
Learning Compatibility Coefficients for Relaxation Labeling Processes. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
compatibility coefficients, relaxation labeling processes, local ambiguities, global consistency, pattern recognition, pattern recognition, image processing, learning (artificial intelligence), artificial intelligence, probability, iterative methods, neural nets, nonlinear programming, numerical analysis, contextual information, real numbers, iterative procedures, training data, relaxation theory |
44 | Nabil Hameurlain |
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Kim-Phuong L. Vu, Audrey Rabas, Richard Roberson |
The Effects of Practice and Speed Stress with Different Stimulus-Response Mappings. |
HCI (8) |
2009 |
DBLP DOI BibTeX RDF |
Stimulus-response compatibility, display-control compatibility, practice effects, stress |
42 | Tineke M. Egyedi |
Why Java Was Not Standardized Twice. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
de facto standard, compatibility strategies, JTC1, ECMA, technical compatibility, market coordination, Java |
42 | Marek A. Perkowski, Malgorzata Marek-Sadowska, Lech Józwiak, Tadeusz Luba, Stan Grygiel, Miroslawa Nowicka, Rahul Malvi, Zhi Wang, Jin S. Zhang |
Decomposition of Multiple-Valued Relations . |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
multiple-valued relations decomposition, cofactor pair compatibility, group compatibility, strongly unspecified data, program GUD-MV, machine learning, learning (artificial intelligence) |
40 | Charles Semple, Mike A. Steel |
Unicyclic Networks: Compatibility and Enumeration. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
circular orderings, galled-trees, compatibility, generating function, Phylogenetic tree |
40 | Andrew Schwarz, Iris A. Junglas, Vlad Krotov, Wynne W. Chin |
Exploring the role of experience and compatibility in using mobile technologies. |
Inf. Syst. E Bus. Manag. |
2004 |
DBLP DOI BibTeX RDF |
mobile, experience, ubiquitous, technology adoption, compatibility |
38 | Muhammad Nur Yanhaona, K. S. M. Tozammel Hossain, Md. Saidur Rahman 0001 |
Pairwise Compatibility Graphs. |
WALCOM |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Nabil Hameurlain |
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Nabil Hameurlain |
A Formal Framework for Component Pr otocols Behavioural Compatibility. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | ShuiGuang Deng, Zhaohui Wu 0001, Mengchu Zhou, Ying Li 0001, Jian Wu 0001 |
Modeling Service Compatibility with Pi-calculus for Choreography. |
ER |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Nabil Hameurlain |
Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Ronald R. Yager |
Reasoning with belief structures: non monotonic compatibility relations. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jason D. Hartline, Brendan Lucier |
Bayesian algorithmic mechanism design. |
STOC |
2010 |
DBLP DOI BibTeX RDF |
Bayesian incentive compatibility, algorithms, mechanism design, social welfare |
34 | Nawal Guermouche, Claude Godart |
Asynchronous Timed Web Service-Aware Choreography Analysis. |
CAiSE |
2009 |
DBLP DOI BibTeX RDF |
Asynchronous timed Compatibility analysis, Web service, Timed properties |
34 | Akhil Kumar 0001, Zhe Shan 0001 |
Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition. |
OTM Conferences (1) |
2008 |
DBLP DOI BibTeX RDF |
adapter generation, pattern compatibility matrix, minimal adapter, business process complexity metrics, Web services, verification, composition |
34 | Barbara Vantaggi |
The role of coherence for handling probabilistic evaluations and independence. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
Coherent conditional probability assessment, Compatibility, Conditional independence |
34 | Dong Zhou, Ten-Hwang Lai |
A Compatible and Scalable Clock Synchronization Protocol in IEEE 802.11 Ad Hoc Networks. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
ad hoc networks, scalability, IEEE 802.11, clock synchronization, compatibility |
33 | Yang Liu 0098, Xiaohong Jiang 0002, Huajun Chen, Jun Ma, Xiangyu Zhang |
MapReduce-Based Pattern Finding Algorithm Applied in Motif Detection for Prescription Compatibility Network. |
APPT |
2009 |
DBLP DOI BibTeX RDF |
motif detection, pattern finding, prescription compatibility, complex network, MapReduce |
33 | Christian de Sainte Marie |
A Modest Proposal to Enable RIF Dialects with Limited Forward Compatibility. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
rule interchange, W3C RIF, forward compatibility, fallback transforms, extensibility, XSLT |
33 | Peter Y. H. Wong, Jeremy Gibbons |
Verifying Business Process Compatibility (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
compatibility verification, model checking, refinement, CSP, business process modelling |
33 | Feng Tian 0001, Xiang Ao, Hongan Wang, Vidya Setlur, Guozhong Dai |
The tilt cursor: enhancing stimulus-response compatibility by providing 3d orientation cue of pen. |
CHI |
2007 |
DBLP DOI BibTeX RDF |
stimulus-response compatibility, orientation, pen, cursor |
33 | Axel Martens, Simon Moser, Achim Gerhardt, Karoline Funk |
Analyzing Compatibility of BPEL Processes. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
Behavioral Compatibility, Tool based Verification, Web Service, Petri nets, BPM, BPEL4WS |
33 | Neha Katira, Laurie A. Williams, Jason A. Osborne |
Towards increasing the compatibility of student pair programmers. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
pair programming, compatibility, programming teams |
33 | Yuliang Shi, Liang Zhang 0019, Fangfang Liu, Lili Lin, Baile Shi |
Compatibility Analysis of Web Services. |
Web Intelligence |
2005 |
DBLP DOI BibTeX RDF |
Web services, Automata, Compatibility |
33 | Emmanuel Dubois 0001, Laurence Nigay, Jocelyne Troccaz |
Assessing continuity and compatibility in augmented reality systems. |
Univers. Access Inf. Soc. |
2002 |
DBLP DOI BibTeX RDF |
Ergonomic property, Augmented reality, Continuity, Compatibility |
33 | Thomas M. Conte, Sumedh W. Sathaye, Sanjeev Banerjia |
A Persistent Rescheduled-page Cache for Low Overhead Object Code Compatibility in VLIW Architectures. |
MICRO |
1996 |
DBLP DOI BibTeX RDF |
LRU replacement, disk caching scheme, dynamic rescheduling, first-time page faults, high-overhead programs, low overhead object code compatibility, overhead-based replacement, page replacement policies, persistent rescheduled-page cache, run-time software rescheduling, simulations, cache storage, VLIW architectures, program executions, operating system support, program performance |
33 | Ming-Chung Liang, Tei-Wei Kuo, LihChyun Shu |
BAP: a class of abort-oriented protocols based on the notion of compatibility. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
BAP, abort-oriented protocols, notion of compatibility, response time requirements, performance, concurrency control, data consistency, transaction systems, concurrency control algorithm |
32 | Joshua Sennett, Mark Sherriff |
Compatibility of partnered students in computer science education. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
pair evaluation, computer science education, pair programming |
32 | S. M. Hadi Hosseini, Maryam Rostami, Makoto Takahashi, Naoki Miura, Motoaki Sugiura, Ryuta Kawashima |
Analyzing Control-Display Movement Compatibility: A Neuroimaging Study. |
HCI (17) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
Prioritizing component compatibility tests via user preferences. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Karin Becker, Andre Lopes, Dejan S. Milojicic, Jim Pruyne, Sharad Singhal |
Automatically Determining Compatibility of Evolving Services. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Mahdi Niamanesh, Rasool Jalili |
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Wei Tan 0001, Fangyan Rao, Yushun Fan, Jun Zhu |
Compatibility Analysis and Mediation-Aided Composition for BPEL Services. |
DASFAA |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Nicole Immorlica, Jon M. Kleinberg, Mohammad Mahdian, Tom Wexler |
The role of compatibility in the diffusion of technologies through social networks. |
EC |
2007 |
DBLP DOI BibTeX RDF |
contagion on networks, diffusion of innovations, algorithmic game theory |
32 | Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler |
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. |
CBSE |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Pavan Balaji, Hyun-Wook Jin, Karthikeyan Vaidyanathan, Dhabaleswar K. Panda 0001 |
Supporting iWARP Compatibility and Features for Regular Network Adapters. |
CLUSTER |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Nabil Hameurlain |
On Compatibility and Behavioural Substitutability of Component Protocols. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Anatolij Dvurecenskij |
Blocks of pseudo-effect algebras with the Riesz interpolation property. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
Pseudo-effect algebra, Strong compatibility, Riesz interpolation property, Block, MV-algebra, compatibility, Effect algebra, Pseudo MV-algebra |
27 | Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran |
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
converter synthesis, protocol compatibility, System-on-chip, automatic design |
27 | Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
27 | Meng-Chiou Wu, Rung-Bin Lin, Shih-Cheng Tsai |
Chip placement in a reticle for multiple-project wafer fabrication. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Multiple-project wafers (MPW), compatibility graph, reticle floorplanning, shuttle mask, wafer dicing, simulated annealing (SA), set cover, mixed-integer linear programming (MILP), conflict graph, set partition |
27 | Danny Dig, Stas Negara, Vibhu Mohindra, Ralph E. Johnson |
ReBA: a tool for generating binary adapters for evolving java libraries. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
api compatibility, refactoring, libraries, component reuse |
27 | Danny Dig, Stas Negara, Vibhu Mohindra, Ralph E. Johnson |
ReBA: refactoring-aware binary adaptation of evolving libraries. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
api compatibility, refactoring, libraries, component reuse |
27 | David Kempe 0001, Adam Meyerson, Nainesh Solanki, Ramnath K. Chellappa |
Pricing of partially compatible products. |
EC |
2007 |
DBLP DOI BibTeX RDF |
duopoly, graph, pricing, compatibility, cut |
27 | Morkel Theunissen, Derrick G. Kourie, Andrew Boake |
Corporate-, Agile- and Open Source Software Development: A Witch's Brew or An Elixir of Life?. |
CEE-SET |
2007 |
DBLP DOI BibTeX RDF |
Corporate software development, Agile software development, Compatibility, Open source software development |
27 | Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle |
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
Behavioral Compatibility, Tool based Verification, Web Service, Petri nets, Business Process Modeling, WS-BPEL |
27 | Chunming Gao, Rongsheng Liu, Yan Song, Huowang Chen |
A Model Checking Tool Embedded into Services Composition Environment. |
GCC |
2006 |
DBLP DOI BibTeX RDF |
Pi-calculus type system web services Composition verification tool compatibility |
27 | Carlos Canal, Lidia Fuentes, Ernesto Pimentel 0001, José M. Troya, Antonio Vallecillo |
Adding Roles to CORBA Objects. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
compatibility and substitutability of components, protocols, software components, component-based software development, Interface definition languages |
27 | Valeria De Antonellis, Michele Melchiori, Barbara Pernici, Pierluigi Plebani |
A Methodology for e -Service Substitutability in a Virtual District Environment. |
CAiSE |
2003 |
DBLP DOI BibTeX RDF |
dynamic substitution, virtual districts, e-Service, compatibility |
27 | Radu Jurca, Boi Faltings |
Towards Incentive-Compatible Reputation Management. |
Trust, Reputation, and Security |
2002 |
DBLP DOI BibTeX RDF |
trust, incentive-compatibility, reputation mechanism |
27 | Thomas Genssler, Welf Löwe |
Correct Composition of Distributed Systems. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Aspect Separation, Components, Efficiency, Compatibility, Connectors |
27 | Karim Khordoc, Eduard Cerny |
Semantics and verification of action diagrams with linear timing. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
compatibility of interfaces, hardware interfaces, causality, timing verification, timing diagrams |
27 | David W. Matula, Asger Munk Nielsen |
Pipelined Packet-Forwarding Floating Point: I. Foundations and a Rounder. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
pipelined packet forwarding floating point, packet forwarding floating point format, rounder design, packet forwarding format, standard binary IEEE 754 floating point format, multiplication algorithms, ALU pipeline paradigm, data hazards, pipelined floating point operations, execution phases, multiplier packet forwarding pipelines, execution phase, logic levels, multiplier pipelines, forwarding pipelines, IEEE 754 binary floating point compatibility, pipeline arithmetic, data dependent operations |
27 | Nirwan Ansari, Edward J. Delp |
Partial Shape Recognition: A Landmark-Based Approach. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
partial shape recognition, sphericity, hopping dynamic programming, landmark matching, pattern recognition, dynamic programming, heuristic, picture processing, similarity, compatibility, least-squares fit |
27 | Feng Lv, Hua Zhao, Wenxia Du, Huilong Jin |
Electromagnetic Interference and Electromagnetic Compatibility Test Technology. |
MVHI |
2010 |
DBLP DOI BibTeX RDF |
ElectromagneticInterference, Electromagnetic Compatibility, Microwave oven, Inverter |
27 | André Berger, Rudolf Müller, Seyed Hossein Naeemi |
Characterizing Incentive Compatibility for Convex Valuations. |
SAGT |
2009 |
DBLP DOI BibTeX RDF |
Mechanism design, Convexity, Incentive compatibility, Social choice theory |
27 | Jun Li 0014, Ling Zhou, Hezier Qiahan |
Compatibility Function Based on t-operation. |
FSKD (6) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy value, Compatibility function, t-operation, Fuzzy set |
27 | James Sumner |
What Makes a PC? Thoughts on Computing Platforms, Standards, and Compatibility. |
IEEE Ann. Hist. Comput. |
2007 |
DBLP DOI BibTeX RDF |
standards, personal computing, compatibility, PC, Macintosh, microcomputing |
27 | Wu-chun Feng, Sarut Vanichpun |
Enabling Compatibility Between TCP Reno and TCP Vegas. |
SAINT |
2003 |
DBLP DOI BibTeX RDF |
congestion control, fairness, convergence, compatibility, congestion avoidance, TCP Vegas, TCP Reno |
26 | Yongxin Tong, Shilong Ma, Dan Yu, Yuanyuan Zhang, Zhao Li, Ke Xu 0001 |
Discovering Compatible Top-K Theme Patterns from Text Based on Users' Preferences. |
PAISI |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kunitoshi Komatsu, Kaoru Sezaki |
Lossless rotation transformations with periodic structure. |
ICIP (2) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Cuihong Li, Uday Rajan, Shuchi Chawla 0001, Katia Sycara-Cyranski |
Mechanisms for coalition formation and cost sharing in an electronic marketplace. |
ICEC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello |
Architecting families of software systems with process algebras. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
Architectural mismatch detection, software architectures, process algebras, architectural styles |
26 | Peter Wegner, Stanley B. Zdonik |
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. |
ECOOP |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Marco Comerio, Hong Linh Truong 0001, Flavio De Paoli, Schahram Dustdar |
Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Lei Zhao, Daniel Tang, Jan Vitek |
A technology compatibility kit for safety critical Java. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Nabil Hameurlain |
Compatibility and Conformance of Role-Based Interaction Components in MAS. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Ján Manuch, Murray Patterson, Arvind Gupta |
On the Generalised Character Compatibility Problem for Non-branching Character Trees. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf |
Extending the compatibility notion for abstract WS-BPEL processes. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
abstract profile, petri nets, compliance, WS-BPEL |
25 | Youcef Hammal |
A modular state exploration and compatibility checking of UML dynamic diagrams. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
25 | G. R. Gangadharan, Michael Weiss 0001, Vincenzo D'Andrea, Renato Iannella |
Service License Composition and Compatibility Analysis. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Donald C. Craig, Wlodzimierz M. Zuberek |
Verification of Component Behavioral Compatibility. |
DepCoS-RELCOMEX |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani |
Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Olivier Valorge, Benoit Gosselin, Louis-François Tanguay, Mohamad Sawan |
Electromagnetic Compatibility Modeling in Low-Noise Medical Sensor Interfaces. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Karthick Sankarachary |
XML Data Compatibility from the Ground Up. |
RuleML |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Johannes Maria Zaha, Antonia Albani |
Compatibility Test for Coordination Aspects of Software Components. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
25 | B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy |
Ticc: A Tool for Interface Compatibility and Composition. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yansong Feng, Jufu Feng, Xiaoguang Chen, Zhen Song |
A Novel Fingerprint Matching Scheme Based on Local Structure Compatibility. |
ICPR (4) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Gabriel Popescu, Leonid B. Goldgeisser |
Model compatibility aspects in multilingual simulation environments. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Dan Iordache, Stefan Pusca, Ghiocel Toma, Viorel Paun, Andreea Sterian, Cristian Morarescu |
Analysis of Compatibility with Experimental Data of Fractal Descriptions of the Fracture Parameters. |
ICCSA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001 |
Program Compatibility Approaches. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Dong-Jae Kang, Kangho Kim, Sung-In Jung, Hae-Young Bae |
TCP/IP Offload Engine Module Supporting Binary Compatibility for Standard Socket Interfaces. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3635 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|