|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 364-372, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 834-841, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 407-421, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 27-28, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Parallel and Distributed Processing and Applications - ISPA 2005 Workshops, ISPA 2005 International Workshops AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings, pp. 619-626, 2005, Springer, 3-540-29770-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, pp. 360-377, 2002, Springer, 3-540-00116-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008, pp. 11-20, 2008, ACM, 978-1-59593-796-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings, pp. 318-328, 2004, Springer, 3-540-24075-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 88-97, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 10th International Conference on Electronic Commerce 2008, Innsbruck, Austria, August 19-22, 2008, pp. 34:1-34:10, 2008, ACM, 978-1-60558-075-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 84-96, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 19(1), pp. 107-129, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 39(2), pp. 50-65, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 63-74, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV, pp. 1029-1038, 2007, Springer, 978-3-540-73109-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 409-412, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004, pp. 7-11, 2004, ACM, 1-58113-798-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(9), pp. 933-945, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, pp. 153-162, 2007, Springer, 978-3-540-75253-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (8) ![In: Human Interface and the Management of Information. Designing Information Environments, Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I, pp. 709-717, 2009, Springer, 978-3-642-02555-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stimulus-response compatibility, display-control compatibility, practice effects, stress |
42 | Tineke M. Egyedi |
Why Java Was Not Standardized Twice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 13-18, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 3(1), pp. 84-91, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 2(4), pp. 337-356, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation, Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008., pp. 222-233, 2008, Springer, 978-3-540-77890-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Nabil Hameurlain |
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 391-400, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Nabil Hameurlain |
A Formal Framework for Component Pr otocols Behavioural Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India, pp. 87-94, 2006, IEEE Computer Society, 0-7695-2685-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 26-39, 2006, Springer, 3-540-47224-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Nabil Hameurlain |
Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings, pp. 153-162, 2005, Springer, 3-540-29046-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Ronald R. Yager |
Reasoning with belief structures: non monotonic compatibility relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 78-84, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jason D. Hartline, Brendan Lucier |
Bayesian algorithmic mechanism design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 301-310, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 364-378, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I, pp. 120-138, 2008, Springer, 978-3-540-88870-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(8), pp. 617-628, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 34th International Conference on Parallel Processing (ICPP 2005), 14-17 June 2005, Oslo, Norway, pp. 295-302, 2005, IEEE Computer Society, 0-7695-2380-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009, Proceedings, pp. 341-355, 2009, Springer, 978-3-642-03643-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings, pp. 17-28, 2009, Springer, 978-3-642-04984-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 126-131, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 303-306, 2007, ACM, 978-1-59593-593-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 147, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 625-626, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France, pp. 483-486, 2005, IEEE Computer Society, 0-7695-2415-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 1(4), pp. 263-273, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 29, Paris, France, December 2-4, 1996, pp. 4-13, 1996, ACM/IEEE Computer Society, 0-8186-7641-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 118-127, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 244-248, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Engineering Psychology and Cognitive Ergonomics, 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 187-196, 2009, Springer, 978-3-642-02727-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
Prioritizing component compatibility tests via user preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 25th IEEE International Conference on Software Maintenance (ICSM 2009), September 20-26, 2009, Edmonton, Alberta, Canada, pp. 29-38, 2009, IEEE Computer Society, 978-1-4244-4897-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Karin Becker, Andre Lopes, Dejan S. Milojicic, Jim Pruyne, Sharad Singhal |
Automatically Determining Compatibility of Evolving Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 161-168, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Mahdi Niamanesh, Rasool Jalili |
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 49-64, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Wei Tan 0001, Fangyan Rao, Yushun Fan, Jun Zhu |
Compatibility Analysis and Mediation-Aided Composition for BPEL Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, pp. 1062-1065, 2007, Springer, 978-3-540-71702-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), San Diego, California, USA, June 11-15, 2007, pp. 75-83, 2007, ACM, 978-1-59593-653-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings, pp. 33-49, 2006, Springer, 3-540-35628-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26 - 30, 2005, Boston, Massachusetts, USA, pp. 1-10, 2005, IEEE Computer Society, 0-7803-9485-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Nabil Hameurlain |
On Compatibility and Behavioural Substitutability of Component Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 394-403, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Anatolij Dvurecenskij |
Blocks of pseudo-effect algebras with the Riesz interpolation property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(7), pp. 441-445, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 14(2), pp. 19:1-19:41, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 87-96, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(1), pp. 22:1-22:21, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 963-964, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 441-450, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), San Diego, California, USA, June 11-15, 2007, pp. 218-226, 2007, ACM, 978-1-59593-653-0. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEE-SET ![In: Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers, pp. 84-95, 2007, Springer, 978-3-540-85278-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, pp. 458-464, 2006, Springer, 3-540-38901-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2006, 5th International Conference, Changsha, Hunan, China, 21-23 October 2006, Proceedings, pp. 355-362, 2006, IEEE Computer Society, 0-7695-2694-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(3), pp. 242-260, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, pp. 552-567, 2003, Springer, 3-540-40442-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic substitution, virtual districts, e-Service, compatibility |
27 | Radu Jurca, Boi Faltings |
Towards Incentive-Compatible Reputation Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trust, Reputation, and Security ![In: Trust, Reputation, and Security: Theories and Practice, AAMAS 2002 International Workshop, Bologna, Italy, July 15, 2002, Selected and Invited Papers, pp. 138-147, 2002, Springer, 3-540-00988-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
trust, incentive-compatibility, reputation mechanism |
27 | Thomas Genssler, Welf Löwe |
Correct Composition of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 296-305, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(1), pp. 21-50, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA, pp. 140-147, 1997, IEEE Computer Society, 0-8186-7846-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(5), pp. 470-483, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MVHI ![In: 2010 International Conference on Machine Vision and Human-machine Interface, MVHI 2010, Kaifeng, China, April 24-25, 2010, pp. 584-587, 2010, IEEE Computer Soceity, 978-0-7695-4009-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGT ![In: Algorithmic Game Theory, Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings, pp. 24-35, 2009, Springer, 978-3-642-04644-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 137-141, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 29(2), pp. 87-88, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003 - Orlando, FL, USA, Proceedings, pp. 301-308, 2003, IEEE Computer Society, 0-7695-1872-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAISI ![In: Intelligence and Security Informatics, Pacific Asia Workshop, PAISI 2009, Bangkok, Thailand, April 27, 2009. Proceedings, pp. 130-142, 2009, Springer, 978-3-642-01392-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kunitoshi Komatsu, Kaoru Sezaki |
Lossless rotation transformations with periodic structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 273-276, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 5th International Conference on Electronic Commerce, ICEC 2003, Pittsburgh, Pennsylvania, USA, September 30 - October 03, 2003, pp. 68-77, 2003, ACM, 1-58113-788-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Marco Bernardo 0001, Paolo Ciancarini, Lorenzo Donatiello |
Architecting families of software systems with process algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(4), pp. 386-426, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 55-77, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC/ServiceWave ![In: Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings, pp. 221-236, 2009, 978-3-642-10382-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Lei Zhao, Daniel Tang, Jan Vitek |
A technology compatibility kit for safety critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009, pp. 160-168, 2009, ACM, 978-1-60558-732-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Nabil Hameurlain |
Compatibility and Conformance of Role-Based Interaction Components in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 579-588, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Ján Manuch, Murray Patterson, Arvind Gupta |
On the Generalised Character Compatibility Problem for Non-branching Character Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 15th Annual International Conference, COCOON 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings, pp. 268-276, 2009, Springer, 978-3-642-02881-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 785-794, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 793-800, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | G. R. Gangadharan, Michael Weiss 0001, Vincenzo D'Andrea, Renato Iannella |
Service License Composition and Compatibility Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings, pp. 257-269, 2007, Springer, 978-3-540-74973-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Donald C. Craig, Wlodzimierz M. Zuberek |
Verification of Component Behavioral Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), June 14-16, 2007, Szklarska Poreba, Poland, pp. 294-304, 2007, IEEE Computer Society, 0-7695-2850-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 599-614, 2007, Springer, 978-3-540-75562-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 1545-1548, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Karthick Sankarachary |
XML Data Compatibility from the Ground Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, USA, October 25-26, 2007, Proceedings, pp. 190-198, 2007, Springer, 978-3-540-75974-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Johannes Maria Zaha, Antonia Albani |
Compatibility Test for Coordination Aspects of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 41-48, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 59-62, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yansong Feng, Jufu Feng, Xiaoguang Chen, Zhen Song |
A Novel Fingerprint Matching Scheme Based on Local Structure Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 374-377, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Gabriel Popescu, Leonid B. Goldgeisser |
Model compatibility aspects in multilingual simulation environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I, pp. 804-813, 2006, Springer, 3-540-34070-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Edmund M. Clarke, Natasha Sharygina, Nishant Sinha 0001 |
Program Compatibility Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 243-258, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30 - December 3, 2005, Proceedings, pp. 357-369, 2005, Springer, 3-540-30510-6. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|