Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Brian Hartsock, Bruce MacLeod, David Roberge, Ime Asangansi |
Software Extensibility Strategies for Health and Demographic Systems in Low-Income Countries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GHTC ![In: IEEE Global Humanitarian Technology Conference, GHTC 2011, Seattle, WA, USA, October 30 - November 1, 2011, pp. 512-517, 2011, IEEE Computer Society, 978-1-61284-634-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Jeremiah Miller, Miles Raymond, Josh Archer, Seid Adem, Leo Hansel, Sushma Konda, Malik Luti, Yao Zhao, Ankur Teredesai, Mohamed H. Ali |
An Extensibility Approach for Spatio-temporal Stream Processing Using Microsoft StreamInsight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSTD ![In: Advances in Spatial and Temporal Databases - 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings, pp. 496-501, 2011, Springer, 978-3-642-22921-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Maheshwar Chandrasekar, Michael S. Hsiao |
Fault Collapsing Using a Novel Extensibility Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2011: 24th International Conference on VLSI Design, IIT Madras, Chennai, India, 2-7 January 2011, pp. 268-273, 2011, IEEE Computer Society, 978-0-7695-4348-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Maheshwar Chandrasekar, Michael S. Hsiao |
A Novel Learning Framework for State Space Exploration Based on Search State Extensibility Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2011: 24th International Conference on VLSI Design, IIT Madras, Chennai, India, 2-7 January 2011, pp. 64-69, 2011, IEEE Computer Society, 978-0-7695-4348-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Reinhard Schneider 0001, Dip Goswami, Samarjit Chakraborty, Unmesh D. Bordoloi, Petru Eles, Zebo Peng |
On the quantification of sustainability and extensibility of FlexRay schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011, pp. 375-380, 2011, ACM, 978-1-4503-0636-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Robert Nicholas Maxwell Watson |
New approaches to operating system security extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
19 | Qi Zhu 0002, Yang Yang 0040, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli |
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 6(4), pp. 621-636, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Sören Balko, Arthur H. M. ter Hofstede, Alistair Barros, Marcello La Rosa, Michael Adams 0001 |
Business Process Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. ![In: Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 5(3), pp. 4-23, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Michaela Greiler, Hans-Gerhard Groß, Arie van Deursen |
Understanding Plug-in Test Suites from an Extensibility Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 17th Working Conference on Reverse Engineering, WCRE 2010, 13-16 October 2010, Beverly, MA, USA, pp. 67-76, 2010, IEEE Computer Society, 978-0-7695-4123-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Vladan Djeric, Ashvin Goel |
Securing Script-Based Extensibility in Web Browsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 19th USENIX Security Symposium, Washington, DC, USA, August 11-13, 2010, Proceedings, pp. 355-370, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Kaiyuan Qi, Yanbo Han, Zhuofeng Zhao, Jun Fang 0006 |
An Adaptive Service Monitor Providing Runtime Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fifth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, June 4-5, 2010, Nanjing, China, pp. 165-172, 2010, IEEE Computer Society, 978-0-7695-4081-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Edson A. Oliveira Junior, José Carlos Maldonado, Itana Maria de Souza Gimenes |
Empirical Validation of Complexity and Extensibility Metrics for Software Product Line Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCARS ![In: Fourth Brazilian Symposium on Software Components, Architectures and Reuse, SBCARS 2010, Salvador, Bahia, Brazil, September 27 - October 1, 2010, pp. 31-40, 2010, IEEE Computer Society, 978-0-7695-4259-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Te-Hsin Wu |
Verb Use in Chinese Children: Extensibility of Instrument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 24th Pacific Asia Conference on Language, Information and Computation, PACLIC 24, Tohoku University, Japan, 4-7 November 2010, pp. 863-872, 2010, Institute for Digital Enhancement of Cognitive Development, Waseda University, 978-4-905166-00-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Jung-Hong Hong, Zeal Li-Tse Su |
Spatial ranking of remote sensing images by 1-D indicator: An integrated approach of extensibility and centrality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), Chengdu, China, June 23-25, 2010, pp. 328-334, 2010, IEEE, 978-1-4244-7386-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Maheshwar Chandrasekar |
Search State Extensibility based Learning Framework for Model Checking and Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
19 | Thomas Leveque, Jacky Estublier, Germán Vega |
Extensibility and Modularity for Model Driven Engineering Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 305-314, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | John M. Stephens, Meikel Poess |
Converting TPC-H Query Templates to Use DSQGEN for Easy Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPCTC ![In: Performance Evaluation and Benchmarking, First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers, pp. 99-115, 2009, Springer, 978-3-642-10423-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Benchmark Development, Performance Analysis, Databases |
19 | Rania Khalaf, Revathi Subramanian, Thomas A. Mikalsen, Matthew J. Duftler, Judah Diament, Ignacio Silva-Lepe |
Enabling Community Participation for Workflows through Extensibility and Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers, pp. 207-218, 2009, Springer, 978-3-642-12185-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Hiroaki Togashi, Shigeki Yamada |
Extensibility of vehicle-to-roadside system to vehicle-to-pedestrian system using RFIDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECIMS ![In: IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems, VECIMS 2009, Hong Kong, China, 11-13 May, 2009, pp. 220-225, 2009, IEEE, 978-1-4244-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Sören Balko, Arthur H. M. ter Hofstede, Alistair Barros, Marcello La Rosa |
Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA ![In: Enterprise Modelling and Information Systems Architectures: Proceedings of the 3rd International Workshop on Enterprise Modelling and Information Systems Architectures; Ulm, Germany, September 10-11, 2009, pp. 97-110, 2009, GI, 978-3-88579-246-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
19 | Qi Zhu 0002, Yang Yang 0040, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
Optimizing Extensibility in Hard Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, San Francisco, CA, USA, 13-16 April 2009, pp. 275-284, 2009, IEEE Computer Society, 978-0-7695-3636-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Thomas F. Gannon, Stuart E. Madnick, Allen Moulton, Michael D. Siegel, Marwan Sabbouh, Hongwei Zhu 0002 |
Framework for the Analysis of the Adaptability, Extensibility, and Scalability of Semantic Information Integration and the Context Mediation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), Proceedings (CD-ROM and online), 5-8 January 2009, Waikoloa, Big Island, HI, USA, pp. 1-11, 2009, IEEE Computer Society, 978-0-7695-3450-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Takashi Okumura, Bruce R. Childers, Daniel Mossé |
Network I/O Extensibility without Administrator Privilege. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAS ![In: Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Valencia, Spain, 20-25 April 2009, pp. 168-173, 2009, IEEE Computer Society, 978-0-7695-3584-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | |
Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of GIS ![In: Encyclopedia of GIS., pp. 307, 2008, Springer, 978-0-387-30858-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Walter Cazzola, Alessandro Marchetto 0001 |
AOP-HiddenMetrics: Separation, Extensibility and Adaptability in SW Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 7(2), pp. 53-68, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Kazunori Komatani, Satoshi Ikeda, Tetsuya Ogata, Hiroshi G. Okuno |
Managing out-of-grammar utterances by topic estimation with domain extensibility in multi-domain spoken dialogue systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speech Commun. ![In: Speech Commun. 50(10), pp. 863-870, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Nic Volanschi, Christian Rinderknecht |
Unparsed patterns: easy user-extensibility of program manipulation tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 111-121, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
unparsed patterns, pattern matching, source code |
19 | Satoshi Ikeda, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
Extensibility verification of robust domain selection against out-of-grammar utterances in multi-domain spoken dialogue system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2008, 9th Annual Conference of the International Speech Communication Association, Brisbane, Australia, September 22-26, 2008, pp. 487-490, 2008, ISCA. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mikyeong Moon, Minwoo Hong, Keunhyuk Yeom |
Two-Level Variability Analysis for Business Process with Reusability and Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 263-270, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
business process, variability, product line |
19 | Yeojin Kim, SukBong Lee, SungJun Lee, SangGyoo Sim |
XETA: Extensible Metadata System - For Extensibility, Accuracy, Suitability and Convenience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (2) ![In: WEBIST 2008, Proceedings of the Fourth International Conference on Web Information Systems and Technologies, Volume 2, Funchal, Madeira, Portugal, May 4-7, 2008, pp. 143-148, 2008, INSTICC Press, 978-989-8111-27-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Satoshi Ikeda, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
Topic estimation with domain extensibility for guiding user's out-of-grammar utterances in multi-domain spoken dialogue systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2007, 8th Annual Conference of the International Speech Communication Association, Antwerp, Belgium, August 27-31, 2007, pp. 2561-2564, 2007, ISCA. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Salvador Trujillo, Maider Azanza, Oscar Díaz, Rafael Capilla |
Exploring Extensibility of Architectural Design Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SHARK/ADI@ICSE ![In: Second Workshop on Sharing and Reusing Architectural Knowledge - Architecture, Rationale, and Design Intent, SHARK/ADI 2007, Minneapolis, MN, USA, May 20-26, 2007, pp. 10, 2007, IEEE Computer Society, 0-7695-2951-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Frank Singhoff, Alain Plantec |
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 180-191, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ada code generating, Cheddar, Platypus, Meta-modeling |
19 | Bruno César dos Santos Oliveira |
Genericity, extensibility and type : safety in the VISITOR pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
19 | Aleksander Slomiski |
On using BPEL extensibility to implement OGSI and WSRF Grid workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 18(10), pp. 1229-1241, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Shutang Yang, Bingpeng Ma |
Study on the extensibility of video conferencing with speech mixing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 29(11), pp. 2026-2033, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Detmar W. Straub, Karen D. Loch |
Global Programs of Research: Maintenance and Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Inf. Manag. ![In: J. Glob. Inf. Manag. 14(2), pp. 29-51, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Paniti Netinant |
Extensibility Aspect-Oriented Framework to Build Agent-Based System Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEDE ![In: 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), July 6-8, 2006, Omni Los Angeles Hotel at California Plaza, Los Angeles, California, USA, Proceedings, pp. 177-182, 2006, ISCA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Yijian Bai, Hetal Thakkar, Haixun Wang, Chang Luo, Carlo Zaniolo |
A data stream language and system designed for power and extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, Arlington, Virginia, USA, November 6-11, 2006, pp. 337-346, 2006, ACM, 1-59593-433-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data stream, query language, data stream management system |
19 | Kazunori Komatani, Naoyuki Kanda, Mikio Nakano, Kazuhiro Nakadai, Hiroshi Tsujino, Tetsuya Ogata, Hiroshi G. Okuno |
Multi-Domain Spoken Dialogue System with Extensibility and Robustness against Speech Recognition Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL Workshop ![In: Proceedings of the SIGDIAL 2006 Workshop, The 7th Annual Meeting of the Special Interest Group on Discourse and Dialogue, 15-16 July 2006, Sydney, Australia, pp. 9-17, 2006, The Association for Computer Linguistics, 1-932432-71-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Robert Grimm 0001 |
Better extensibility through modular syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 38-51, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
extensible syntax, packrat parsing, parsing expression grammar, parser generator, module system |
19 | Javier Molina, José María Martínez Sanchez, Víctor Valdés, Fernando López Hernández 0001 |
Extensibility of Adaptation Capabilities in the CAIN Content Adaptation Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMT (Posters and Demos) ![In: Poster and Demo Proceedings of the 1st International Conference on Semantic and Digital Media Technologies, Athens, Greece, December 6-8, 2006, 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Jianwu Wang 0001, Jian Yu, Yanbo Han |
A service modeling approach with business-level reusability and extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 20-21 October 2005, Beijing, China, pp. 23-28, 2005, IEEE Computer Society, 0-7695-2438-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | B. K. Ng, Md. Safi Uddin, Asaad A. Y. Malik Abusin, David Chieng |
A Case Study on the Extensibility of Network Processor Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAS/ICNS ![In: Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, ICAS/ICNS 2005, Papeete, Tahiti, France, October 23-28, 2005, pp. 9, 2005, IEEE Computer Society, 0-7695-2450-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | H. M. W. Verbeek, Wil M. P. van der Aalst, Akhil Kumar 0001 |
XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Technol. Manag. ![In: Inf. Technol. Manag. 5(1-2), pp. 65-110, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Nathaniel Nystrom, Stephen Chong, Andrew C. Myers |
Scalable extensibility via nested inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 99-115, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
nested classes, inheritance, object-oriented programming languages, virtual classes |
19 | Harold Carr |
Client-side Encoding, Protocol and Transport Extensibility for Remote Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communications in Computing ![In: Proceedings of the International Conference on Communications in Computing, CIC '04, June 21-24, 2004, Las Vegas, Nevada, USA, pp. 51-57, 2004, CSREA Press, 1-932415-36-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Matthew Fuchs |
Achieving Extensibility and Reuse for XSLT2.0 Stylesheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Extreme Markup Languages® ![In: Proceedings of the Extreme Markup Languages® 2004 Conference, 2-6 August 2004, Montréal, Quebec, Canada, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Bo Nørregaard Jørgensen |
Enhancing Java with support for simultaneous independent extensibility of collaborating objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering ![In: IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004, pp. 613-619, 2004, IASTED/ACTA Press, 0-88986-381-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Lukas Ruf, Ralph Keller, Bernhard Plattner |
A Scalable High-performance Router Platform Supporting Dynamic Service Extensibility On Network and Host Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: The IEEE/ACS International Conference on Pervasive Services (ICPS'04), July 19-23, 2004, American University of Beirut (AUB), Lebanon, pp. 199-206, 2004, IEEE Computer Society, 0-7803-8577-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Yi-Min Wang, Roussi Roussev, Chad Verbowski, Aaron Johnson 0001, Ming-Wei Wu, Yennun Huang, Sy-Yen Kuo |
Gatekeeper: Monitoring Auto-Start Extensibility Points (ASEPs) for Spyware Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Proceedings of the 18th Conference on Systems Administration (LISA 2004), Atlanta, USA, November 14-19, 2004, pp. 33-46, 2004, USENIX. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Azzedine Boukerche, Regina Borges de Araujo, Diego Daniel Duarte |
3D Web-Based Virtual Simulation Environments Extensibility through Interactive Non-Linear Stories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary, pp. 167-175, 2004, IEEE Computer Society, 0-7695-2232-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. Lewis, Adam Ferrari, Marty Humphrey, John F. Karpovich, Mark M. Morgan, Anand Natrajan, Anh Nguyen-Tuong, Glenn S. Wasson, Andrew S. Grimshaw |
Support for extensibility and site autonomy in the Legion grid system object model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 63(5), pp. 525-538, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Charles Consel, Laurent Réveillère |
A Programmable Client-Server Model: Robust Extensibility via DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 70-79, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder |
Achieving extensibility through product-lines and domain-specific languages: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 11(2), pp. 191-214, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
simulation, refinements, domain-specific languages, aspects, GenVoca |
19 | H. Richard Kendall, Vincent W. Freeh, Paul W. Schermerhorn, Robert J. Minerick, Peter W. Rijks |
Streaming extensibility in the Modify-on-Access file system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 60(1), pp. 21-36, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Boris Novikov 0001, Ekaterina A. Gorshkova |
Exploiting UML Extensibility in the Design Phase of Web Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BalticDB&IS ![In: Proceedings of the Baltic Conference, BalticDB&IS 2002, Tallinn, Estonia, Volume 2, pp. 49-64, 2002, Institute of Cybernetics at Tallin Technical University, 9985-894-40-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Robert Hsieh, Aruna Seneviratne |
Dynamic Service Extensibility through Programmable Network in a Mobility Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pacific Rim Conference on Multimedia ![In: Advances in Multimedia Information Processing - PCM 2002, Third IEEE Pacific Rim Conference on Multimedia, Hsinchu, Taiwan, December 16-18, 2002, Proceedings, pp. 912-919, 2002, Springer, 3-540-00262-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Kenneth M. Anderson |
The extensibility mechanisms of the Chimera open hypermedia system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 24(1), pp. 75-86, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Uffe Kock Wiil, Kenneth M. Anderson |
Preface to 'Hypermedia extensibility mechanisms and scripting languages'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 24(1), pp. 1-5, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Peter J. Nürnberg |
Extensibility in component-based open hypermedia systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 24(1), pp. 19-38, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Uffe Kock Wiil |
A framework for classifying extensibility mechanisms in hypermedia systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 24(1), pp. 7-18, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Serge Demeyer |
Extensibility via a meta-level architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 24(1), pp. 63-74, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Jürgen Schönwälder, Jürgen Quittek |
Script MIB Extensibility Protocol Version 1.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3179, pp. 1-25, October 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Sandeepan Banerjee, Vishu Krishnamurthy, Ravi Murthy |
All Your Data: The Oracle Extensibility Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compontent Database Systems ![In: Component Database Systems, pp. 71-104, 2001, Morgan Kaufmann, 1-55860-642-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Paul W. Schermerhorn, Robert J. Minerick, Peter W. Rijks, Vincent W. Freeh |
User-Level Extensibility in the Mona File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference, FREENIX Track ![In: Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, June 25-30, 2001, Boston, Massachusetts, USA, pp. 173-183, 2001, USENIX, 1-880446-10-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Marja-Riitta Koivunen, Ralph R. Swick |
Metadata Based Annotation Infrastructure Offers Flexibility and Extensibility for Collaborative Applications and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semannot@K-CAP 2001 ![In: Proceedings of the K-CAP 2001 Workshop on Knowledge Markup and Semantic Annotation Victoria, B.C., Canada, October 21, 2001, 2001, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Antony Edwards, Gernot Heiser |
Secure OS Extensibility Needn't Cost an Arm and a Leg. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, May 20-23, 2001, Elmau/Oberbayern, Germany, pp. 168, 2001, IEEE Computer Society, 0-7695-1040-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Seema Sundara, Ying Hu, Timothy Chorma, Nipun Agarwal, Jagannathan Srinivasan |
Developing an Indexing Scheme for XML Document Collection using the Oracle8i Extensibility Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy, pp. 701-702, 2001, Morgan Kaufmann, 1-55860-804-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
19 | Stefan Tobias Mayr |
Heterogeneous Relational Query Processing for Extensibility and Scalability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
19 | David J. Lunn, Andrew Thomas, Nicky Best, David J. Spiegelhalter |
WinBUGS - A Bayesian modelling framework: Concepts, structure, and extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 10(4), pp. 325-337, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Jun Gao, Peter Steenkiste, Eduardo Takahashi, Allan Fisher |
A programmable router architecture supporting control plane extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 38(3), pp. 152-159, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Yingxu Wang |
Formal Description of the UML Architecture and Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Obj. Logiciel Base données Réseaux ![In: Obj. Logiciel Base données Réseaux 6(4), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
19 | Mike Daniele, Bert Wijnen, Mark Ellison, Dale Francisco |
Agent Extensibility (AgentX) Protocol Version 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 2741, pp. 1-91, January 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder |
Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings, pp. 117-136, 2000, Springer, 3-540-67696-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Uffe Kock Wiil, Kenneth M. Anderson, Michael Bieber |
CALL FOR PAPERS: Special Issue on: Hypermedia Extensibility Mechanisms and Scripting Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 22(2), pp. 147-148, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Wu, Divyakant Agrawal, Amr El Abbadi |
Mobility and Extensibility in the StratOSphere Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 7(3), pp. 289-317, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Jürgen Schönwälder, Jürgen Quittek |
Script MIB Extensibility Protocol Version 1.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 2593, pp. 1-22, May 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Henrik Røn |
An Overview of a Dynamic Programming Environment Based on Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 6(1), pp. 55-71, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Steven Roman |
Developing Visual Basic add-ins - programming the VB IDE extensibility model, for Visual Basic 5.0 and 6.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
19 | Nathan Dykman, Martin L. Griss, Robert R. Kessler |
Nine Suggestions for Improving UML Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 236-248, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Desmond D'Souza, Aamond Sane, Alan Birchenough |
First-Class Extensibility for UML-Profiles, Stereotypes, Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML»'99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings, pp. 265-277, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Minako Nakayasu |
Extensibility in Japanese Noun Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 13th Pacific Asia Conference on Language, Information and Computation, Taipei, Taiwan, February 10-11, 1999, pp. 3-14, 1999, National Cheng Kung University, Taiwan, R.O.C.. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Michael Jaedicke, Bernhard Mitschang |
User-Defined Table Operators: Enhancing Extensibility for ORDBMS. ![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. 494-505, 1999, Morgan Kaufmann, 1-55860-615-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
19 | Mike Daniele, Bert Wijnen, Dale Francisco |
Agent Extensibility (AgentX) Protocol Version 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 2257, pp. 1-80, January 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Douglas P. Ghormley, Steven H. Rodrigues, David Petrou, Thomas E. Anderson |
SLIC: An Extensibility System for Commodity Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 1998 USENIX Annual Technical Conference, New Orleans, Louisiana, USA, June 15-19, 1998, 1998, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
19 | Brian M. Dennis, Michael A. Harrison |
Grendel: a Web browser with end user extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPCON ![In: Proceedings IEEE COMPCON 97, San Jose, California, USA, February 23-26, 1997, Digest of Papers, pp. 74-79, 1997, IEEE Computer Society, 0-8186-7804-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Cécile Capponi |
Type Extensibility of a Knowledge Representation System with Powersets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 338-347, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Sandeep K. Singhal, Binh Q. Nguyen, Richard Redpath, Jimmy Nguyen, Michael Fraenkel |
InVerse: Designing an Interactive Universe Architecture for Scalability and Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 6th International Symposium on High Performance Distributed Computing, HPDC '97, Portland, OR, USA, August 5-8, 1997., pp. 61-70, 1997, IEEE Computer Society, 0-8186-8117-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Laurent Thomas |
An Object-Oriented Concurrent Language for Extensibility and Reuse of Synchronization Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 15(5), pp. 437-457, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | John May, Francine Berman |
Retargetability and Extensibility in a Parallel Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 35(2), pp. 142-155, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | David E. Langworthy, Stanley B. Zdonik |
Extensibility and Asynchrony in the Brown-Object Storage System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance of Concurrency Control Mechanisms in Centralized Database Systems ![In: Performance of Concurrency Control Mechanisms in Centralized Database Systems., pp. 595-627, 1996, Prentice-Hall, 0-13-065442-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | James R. Miller |
Class Relationships and User Extensibility in Solid Geometric Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOTS ![In: Proceedings of the USENIX Conference on Object-Oriented Technologies, COOTS'96, Toronto, Ontario, Canada, June 17-21, 1996, 1996, USENIX. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | Stefan Wrobel, Dietrich Wettschereck, Edgar Sommer, Werner Emde |
Extensibility in Data Mining Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (KDD-96), Portland, Oregon, USA, pp. 214-219, 1996, AAAI Press, 1-57735-004-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | Adrian Spalka |
A study of the extensibility of logic-based databases with confidentiality-capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
19 | Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gün Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan J. Eggers |
Extensibility, Safety and Performance in the SPIN Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fifteenth ACM Symposium on Operating System Principles, SOSP 1995, Copper Mountain Resort, Colorado, USA, December 3-6, 1995, pp. 267-284, 1995, ACM, 0-89791-715-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Hanspeter Mössenböck |
Extensibility in the Oberon System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 1(1), pp. 77-93, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
19 | David E. Langworthy, Stanley B. Zdonik |
Storage Class Extensibility in the Brown Object Storage System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS ![In: Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994, pp. 259-283, 1994, Springer and British Computer Society, 3-540-19912-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Robert Pollack |
On Extensibility of Proof Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers, pp. 140-161, 1994, Springer, 3-540-60579-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Paul J. Leach |
Panel: Radical Operating Systems Structures for Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, California, USA, November 14-17, 1994, pp. 195, 1994, USENIX Association. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|