Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Haris Aziz 0001, Markus Brill, Paul Harrenstein |
Testing Substitutability of Weak Preferences ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.0432, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Octavian Carare, Alejandro Zentner |
Program substitutability in network television: Evidence from Argentina. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Econ. Policy ![In: Inf. Econ. Policy 24(2), pp. 145-160, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Hongmin Ren, Jin Liu 0009 |
Service substitutability analysis based on behavior automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 8(4), pp. 301-308, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | John William Hatfield, Nicole Immorlica, Scott Duke Kominers |
Testing substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 75(2), pp. 639-645, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Andres Flores, Macario Polo |
Testing-based process for component substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 22(8), pp. 529-561, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Luxi Chen, Linpeng Huang, Chen Li 0009 |
Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, IPDPS 2012, Shanghai, China, May 21-25, 2012, pp. 1556-1562, 2012, IEEE Computer Society, 978-1-4673-0974-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
WCSP Integration of Soft Neighborhood Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 406-421, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Ryo Yoshinaka |
Efficient learning of multiple context-free languages with multidimensional substitutability from positive data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(19), pp. 1821-1831, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ning Chen 0005, Arpita Ghosh, Sergei Vassilvitskii |
Optimal Envy-Free Pricing with Metric Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 40(3), pp. 623-645, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Feng Guo 0008, Yi Wang 0047, Huiqun Zhao |
Deciding Substitutability of Web Services with Petri Net Reduction Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 10th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2011, 16-18 May, 2011, Sanya, Hainan Island, China, pp. 323-327, 2011, IEEE Computer Society, 978-0-7695-4401-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder |
A Partial Taxonomy of Substitutability and Interchangeability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.4609, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi 0001 |
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1004.2873, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Meriem Ouederni, Gwen Salaün |
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSI ![In: Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010., pp. 57-70, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa |
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the 9th SoMeT_10, September 29 - October 1, 2010, Yokohama City, Japan, pp. 357-380, 2010, IOS Press, 978-1-60750-628-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi 0001 |
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010, pp. 244-254, 2010, IEEE Computer Society, 978-0-7695-4153-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Christian Stahl, Karsten Wolf |
Deciding service composition and substitutability using extended operating guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 68(9), pp. 819-833, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Atsushi Shimoda, Hidenori Kosugi, Takafumi Karino, Norihisa Komoda |
Recommendation method for build to order products considering substitutability of specifications and stock consumption balance of components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOLI ![In: 2009 IEEE/INFORMS International Conference on Service Operations, Logistics and Informatics, SOLI 2009, Chicago, IL, USA, July 22-24, 2009, pp. 347-352, 2009, IEEE, 978-1-4244-3540-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Zachary J. Oster, Samik Basu 0001 |
Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009, pp. 572-575, 2009, IEEE Computer Society, 978-0-7695-3920-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Dominique D'Almeida, Lakhdar Sais |
Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009, pp. 91-98, 2009, IEEE Computer Society, 978-0-7695-3920-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Mustafa Karakul, Lap Mui Ann Chan |
Analytical and managerial implications of integrating product substitutability in the joint pricing and procurement problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 190(1), pp. 179-204, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Andres Flores, Macario Polo Usaola |
Testing-Based Component Assessment for Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3-2) ![In: ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June 12-16, 2008, pp. 386-939, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Carlos Flavián 0001, Raquel Gurrea 0001 |
Perceived substitutability between digital and physical channels: the case of newspapers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Online Inf. Rev. ![In: Online Inf. Rev. 31(6), pp. 793-813, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Meriem Belguidoum, Fabien Dagnat |
Formalization of Component Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007, pp. 75-92, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Dinesh Garg, Kamal Jain, Kunal Talwar, Vijay V. Vazirani |
A primal-dual algorithm for computing Fisher equilibrium in the absence of gross substitutability property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 378(2), pp. 143-152, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Ivana Cerná, Pavlína Vareková, Barbora Zimmerová |
Component Substitutability via Equivalencies of Component-Interaction Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006, pp. 39-55, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Marcello Bonfè, Cesare Fantuzzi, Cristian Secchi |
Verification of Behavioral Substitutability in Object-Oriented Models for Industrial Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain, pp. 3978-3983, 2005, IEEE. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ben Hutchinson |
MDL-based Acquisition of Substitutability Relationships between Discourse Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, pp. 1690-1691, 2005, Professional Book Center, 0938075934. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Ben Hutchinson |
Modelling the Substitutability of Discourse Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: ACL 2005, 43rd Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, 25-30 June 2005, University of Michigan, USA, pp. 149-156, 2005, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Christian E. Weber |
More on complementarity and substitutability in the transshipment problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 156(1), pp. 213-222, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
23 | Charles Figuieres |
Complementarity, Substitutability and Strategic Accumulation of Capital. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGTR ![In: IGTR 4(4), pp. 371-390, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Twittie Senivongse |
Behavioural Mapping for Service Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 12-13, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
23 | You-Chin Fuh, Stefan Deßloch, Weidong Chen 0011, Nelson Mendonça Mattos, Brian T. Tran, Bruce G. Lindsay 0001, Linda DeMichel, Serge Rielau, Danko Mannhaupt |
Implementation of SQL3 Structured Types with Inheritance and Value Substitutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: VLDB'99, Proceedings of 25th International Conference on Very Large Data Bases, September 7-10, 1999, Edinburgh, Scotland, UK, pp. 565-574, 1999, Morgan Kaufmann, 1-55860-615-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
23 | Yossi Gil |
Extendability vs. Substitutability in OO Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 368, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Ian Maung |
On Simulation, Subtyping and Substitutability in Sequential Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 7(6), pp. 620-651, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Guido Moerkotte, Andreas Zachmann |
Multiple Substitutability Without Affecting the Taxonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings, pp. 120-135, 1992, Springer, 3-540-55270-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Yale M. Braunstein |
Information as a factor of production: Substitutability and productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 3(3), pp. 261-273, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Antonin Chazalet, Philippe Lalanda |
Deployment of Services Applications in Services Execution Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 509-516, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Islam Elgedawy |
Automatic generation for web services conversations adapters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: The 24th International Symposium on Computer and Information Sciences, ISCIS 2009, 14-16 September 2009, North Cyprus, pp. 616-621, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Marcus Alanen, Ivan Porres |
A metamodeling language supporting subset and union properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(1), pp. 103-124, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Redefinitions, Package merges, Extension mechanisms, Software modeling languages, UML, Graph theory, Graphs, Metamodeling, MOF, Subsets, Unions |
14 | Islam Elgedawy, Zahir Tari, James A. Thom |
Correctness-aware high-level functional matching approaches for semantic Web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Web ![In: ACM Trans. Web 2(2), pp. 12:1-12:40, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
High-level functional matching, semantic Web services, service aggregation |
14 | Bruno Codenotti, Benton McCune, Sriram V. Pemmaraju, Rajiv Raman 0001, Kasturi R. Varadarajan |
An experimental study of different approaches to solve the market equilibrium problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 12, pp. 3.3:1-3.3:21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Market equilibrium |
14 | Dusit Niyato, Ekram Hossain 0001 |
Competitive Pricing for Spectrum Sharing in Cognitive Radio Networks: Dynamic Game, Inefficiency of Nash Equilibrium, and Collusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 26(1), pp. 192-202, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Fleiner |
The Stable Roommates Problem with Choice Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008, Proceedings, pp. 385-400, 2008, Springer, 978-3-540-68886-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Satoshi Hoshino, Jun Ota 0001 |
Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 143-148, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ryo Yoshinaka |
Identification in the Limit of k, l-Substitutable Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 266-279, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Fu-Shiung Hsieh, Shih-Min Tsai |
Combinatorial Reverse Auction Based on Lagrangian Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 329-334, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hang Qin, Hui Wang 0002, Huaibei Zhou |
A Selfish Game-Theoretic Approach for Cognitive Radio Networks with Dynamic Spectrum Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 1105-1109, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Saggi Nevo, Michael R. Wade |
Development and Validation of Scales to Measure the Strategic Potential of IT-Enabled Resources: A Resource-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 385, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Andres Flores, Macario Polo Usaola |
Testing-based assessment process for upgrading component systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China, pp. 327-336, 2008, IEEE Computer Society, 978-1-4244-2613-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sourav Pal, Sumantra R. Kundu, Mainak Chatterjee, Sajal K. Das 0001 |
Combinatorial Reverse Auction based Scheduling in Multi-Rate Wireless Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(10), pp. 1329-1341, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multi-rate wireless system, Scheduling, performance optimization, reverse auction |
14 | Alexander Clark |
Learning deterministic context free grammars: The Omphalos competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 66(1), pp. 93-110, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
NTS languages, Grammatical inference, Context Free Languages |
14 | Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre |
Design in CommUnity with Extension Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 435-466, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Dong Ha Nguyen, Mario Südholt |
Property-Preserving Evolution of Components Using VPA-Based Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 613-629, 2007, Springer, 978-3-540-76846-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Rahul Garg 0001, Sanjiv Kapoor |
Market Equilibrium Using Auctions for a Class of Gross-Substitute Utilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 356-361, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Deeparnab Chakrabarty, Nikhil R. Devanur |
On Competitiveness in Uniform Utility Allocation Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 374-380, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Calore, Daniele Lombardi, Enrico Mussi, Pierluigi Plebani, Barbara Pernici |
Retrieving Substitute Services Using Semantic Annotations: A Foodshop Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers, pp. 508-513, 2007, Springer, 978-3-540-78237-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Sourav Pal, Preetam Ghosh, Amin R. Mazloom, Sumantra R. Kundu, Sajal K. Das 0001 |
Two Phase Scheduling Algorithm for Maximizing the Number of Satisfied Users in Multi-Rate Wireless Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: 2007 International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2007), 18-21 June 2007, Helsinki, Finland, Proceedings, pp. 1-9, 2007, IEEE Computer Society, 1-4244-0992-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Macneil Shonle, William G. Griswold, Sorin Lerner |
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 175-184, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design patterns, refactoring |
14 | Xin Chen 0027, Jifeng He 0001, Zhiming Liu 0001, Naijun Zhan |
A Model of Component-Based Programming. ![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. 191-206, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs |
14 | Arnd Poetzsch-Heffter, Jan Schäfer 0002 |
A Representation-Independent Behavioral Semantics for Object-Oriented Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 157-173, 2007, Springer, 978-3-540-72919-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Marie Jacquet, Isabelle Linden |
Towards a Theory of Refinement in Timed Coordination Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 113-131, 2007, Springer, 978-3-540-72793-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Macneil Shonle |
Modular-Like Transformations and Style Checking for Crosscutting Programming Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 95-96, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | David Wible, Chin-Hwa Kuo, Meng Chang Chen, Nai-Lung Tsao, Chong-Fu Hong |
A Ubiquitous Agent for Unrestricted Vocabulary Learning in Noisy Digital Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings, pp. 503-512, 2006, Springer, 3-540-35159-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Composing Web Services with PEWS: A Trace-Theoretical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Fourth IEEE European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zürich, Switzerland, pp. 65-74, 2006, IEEE Computer Society, 0-7695-2737-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Marcus Alanen, Ivan Porres |
Basic Operations over Models Containing Subset and Union Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 469-483, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
subset and derived properties, UML, metamodeling, MOF |
14 | Su-En Tan, Anders Henten |
New Mobile Technologies: Sustaining or Disruptive?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMB ![In: 2006 International Conference on Mobile Business (ICMB 2006), 26-27 June 2006, Copenhagen, Denmark, pp. 32, 2006, IEEE Computer Society, 0-7695-2595-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Clark, Rémi Eyraud |
Identification in the Limit of Substitutable Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings, pp. 283-296, 2005, Springer, 3-540-29242-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Livio Cricelli, Francesca Di Pillo, Massimo Gastaldi |
The Mobile Telecommunications Industry: the Competition under the Hypothesis of Price Discrimination Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 372-379, 2005, IEEE Computer Society, 0-7695-2431-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Mario Südholt |
A Model of Components with Non-regular Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 4th International Workshop, SC@ETAPS 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers, pp. 99-113, 2005, Springer, 3-540-28748-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Codenotti, Benton McCune, Sriram Penumatcha, Kasturi R. Varadarajan |
Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 505-516, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ruifeng Xu, Qin Lu 0001 |
A Multi-stage Chinese Collocation Extraction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: Advances in Machine Learning and Cybernetics, 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers, pp. 740-749, 2005, Springer, 3-540-33584-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
Stuck-Free Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 242-254, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Heike Wehrheim |
Refinement and Consistency in Component Models with Multiple Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 84-102, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Islam Elgedawy, Zahir Tari, Michael Winikoff |
Exact functional context matching for web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings, pp. 143-152, 2004, ACM, 1-58113-871-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
context matching, functional matching, web services, service discovery, service matching |
14 | Mike Hörhammer, Prabuddha Biswas |
A Rule Engine for Location Based Content Syndication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: 5th IEEE International Conference on Mobile Data Management (MDM 2004), 19-22 January 2004, Berkeley, CA, USA, pp. 88-93, 2004, IEEE Computer Society, 0-7695-2070-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Shuyu Li, Jian Wu, Zhengguo Hu |
A Contract-Based Component Model for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 232-239, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Benoît Hudson, Tuomas Sandholm |
Effectiveness of Query Types and Policies for Preference Elicitation in Combinatorial Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 386-393, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Philip Mayer |
Analyzing the use of interfaces in large OO projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 382-383, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
context-specific interfaces, partial interfaces, Java, metrics, interfaces, refactorings, roles, tool support, OO programming |
14 | Nabil Hameurlain |
Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings, pp. 423-434, 2003, Springer, 3-540-40450-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Wolfram Conen, Tuomas Sandholm |
Differential-revelation VCG mechanisms for combinatorial auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 4th ACM Conference on Electronic Commerce (EC-2003), San Diego, California, USA, June 9-12, 2003, pp. 196-197, 2003, ACM, 1-58113-679-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
combinatorial auctions, preference elicitation |
14 | Yuan Wang, Zhiwei Xu 0002, Yuzhong Sun |
Research of Online Expandability of Service Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 986-993, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Benoît Hudson, Tuomas Sandholm |
Generalizing preference elicitation in combinatorial auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 1014-1015, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
combinatorial auctions, preference elicitation, electronic auctions |
14 | David Harel, Orna Kupferman |
On Object Systems and Behavioral Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(9), pp. 889-903, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design |
14 | Sriram K. Rajamani, Jakob Rehof |
Conformance Checking for Models of Asynchronous Message Passing Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 166-179, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Domenico Cotroneo, Cristiano di Flora, Stefano Russo 0001 |
A Jini Framework for Distributed Service Flexibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, pp. 109-116, 2002, IEEE Computer Society, 0-7695-1444-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Menno van Zaanen |
Implementing Alignment-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 312-314, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Suad Alagic, Svetlana Kouznetsova |
Behavioral Compatibility of Self-Typed Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 585-608, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Luis Iribarne, José M. Troya, Antonio Vallecillo |
Selecting Software Components with Multiple Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, pp. 26-32, 2002, IEEE Computer Society, 0-7695-1787-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Benoît Hudson, Tuomas Sandholm |
Effectiveness of Preference Elicitation in Combinatorial Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMEC ![In: Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers, pp. 69-86, 2002, Springer, 3-540-00327-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Wolfram Conen, Tuomas Sandholm |
Differential -Revelation VCG Mechanisms for Combinatorial Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMEC ![In: Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers, pp. 34-51, 2002, Springer, 3-540-00327-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Kidane Asrat Ghebreamiak, Arne Andersson |
Caching in multi-unit combinatorial auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 164-165, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Jan Bosch, Clemens A. Szyperski, Wolfgang Weck |
6th Workshop on Component-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology ECOOP 2001 Workshop Reader, ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 98-106, 2001, Springer, 3-540-43675-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Wolfram Conen, Tuomas Sandholm |
Preference elicitation in combinatorial auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), Tampa, Florida, USA, October 14-17, 2001, pp. 256-259, 2001, ACM, 1-58113-387-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Shmuel S. Oren |
Design of Ancillary Service Markets. ![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 |
|
14 | Clemens Fischer, Heike Wehrheim |
Behavioural Subtyping Relations for Object-Oriented Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 469-483, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann |
Weak Subtyping and Genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 149-158, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Genericity, Inheritance, Subtype, Conformance |
14 | Otto R. Koppius |
Dimensions of Intangible Goods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
intangible goods, digital products, classification |
14 | Isabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini |
A Temporal Object-Oriented Data Model with Multiple Granularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 73-81, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
temporal granularities, object-oriented inheritance hierarchies, temporal databases |
14 | Janusz Kacprzyk, Lyfie Sugianto |
Multistage fuzzy control involving objective and subjective aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part III, pp. 564-573, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|