Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
130 | Yoram Moses |
Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 436-448, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Simultaneous Consensus, general omissions failure model, simultaneous action, NP Oracles, synchronous systems, common knowledge |
73 | Christopher A. Rouff, James L. Rash, Michael G. Hinchey |
Experience Using Formal Methods for Specifying a Multi-Agent System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 72-, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team |
59 | Kai Chen 0010, Stephen R. Schach, Liguo Yu, A. Jefferson Offutt, Gillian Z. Heller |
Open-Source Change Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 9(3), pp. 197-210, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
change log, GNUJSP, GCC-g++, Jikes, Open-source software |
59 | Nicola Santoro, Peter Widmayer |
Distributed Function Evaluation in the Presence of Transmission Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAL International Symposium on Algorithms ![In: Algorithms, International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990, Proceedings, pp. 358-367, 1990, Springer, 3-540-52921-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
44 | Uri Dekel |
Designing a prosthetic memory to support software developers. ![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. 1011-1014, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
disorientation, prosthetic memory, episodic memory, omissions |
44 | Stephanie White |
Requirements capture and analysis prior to modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 10-17, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
requirements capture, benefits analysis, collaborative effort, capture views, domain views, stakeholder views, information entities, modeling, formal specification, complex system, requirements analysis, errors, functions, behavior, requirements elicitation, stakeholders, tradeoffs, cost analysis, system requirement, risk evaluation, omissions, automated support |
44 | Tal Mizrahi, Yoram Moses |
Continuous Consensus with Ambiguous Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008., pp. 73-85, 2008, Springer, 978-3-540-77443-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
continuous consensus, fault tolerance, Distributed computing, consensus |
29 | Tal Mizrahi, Yoram Moses |
Continuous Consensus with Failures and Recoveries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings, pp. 408-422, 2008, Springer, 978-3-540-87778-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Continuous Consensus, Early decision, Process recovery, Round-based computation model, Synchronous message-passing system, Distributed algorithm, Lower bound, Modularity, Consensus, Agreement problem, Common Knowledge, Simultaneity, Omission failures, Process crash failure |
29 | Fernando Alonso, Sonia Frutos, Loïc Martínez, César Montes |
Towards a Natural Agent Paradigm Development Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings, pp. 155-168, 2004, Springer, 3-540-23222-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | J. D. Myers |
The background of INTERNIST I and QMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Medical Informatics ![In: Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987, pp. 195-197, 1987, ACM, 0-89791-248-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Royi Rassin, Yoav Goldberg, Reut Tsarfaty |
Conjunct Resolution in the Face of Verbal Omissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.16740, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Elliot Schumacher, Daniel Rosenthal, Varun Nair, Luladay Price, Geoffrey J. Tso, Anitha Kannan |
Extrinsically-Focused Evaluation of Omissions in Medical Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.08303, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Josefin Hagström, Charlotte Blease, Anna Kharko, Isabella Scandurra, Maria Hägglund |
Adolescents Identifying Errors and Omissions in Their Electronic Health Records: A National Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22 - 25 May 2023., pp. 242-246, 2023, IOS Press, 978-1-64368-388-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Royi Rassin, Yoav Goldberg, Reut Tsarfaty |
Conjunct Resolution in the Face of Verbal Omissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2023, Toronto, Canada, July 9-14, 2023., pp. 13623-13640, 2023, Association for Computational Linguistics, 978-1-959429-72-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Diana Schneider |
Ensuring Privacy and Confidentiality in Social Work Through Intentional Omissions of Information in Client Information Systems: a Qualitative Study of Available and Non-available Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Soc. ![In: Digit. Soc. 1(3), December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Kuan-Jung Huang, Adrian Staub |
Why do readers fail to notice word transpositions, omissions, and repetitions? A review of recent evidence and theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 15(7), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Serhii Zybin, Volodymyr Khoroshko, Yuliia Khokhlachova, Valerii Kozachok |
Approach of the Attack Analysis to Reduce Omissions in the Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPITS I ![In: Paper Proceedings of the Selected Papers on Publishing Papers with CEUR-WS co-located with Workshop on Cybersecurity Providing in Information and Telecommunication Systems (CPITS 2021), Kyiv, Ukraine, January 28, 2021 (online)., pp. 318-328, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Takehiro Wakabayashi, Shuji Morisaki, Norimitsu Kasai, Noritoshi Atsumi, Shuichiro Yamamoto |
Tool Supported Detection of Omissions by Comparing Words between Requirements and Design Document. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 28, pp. 136-149, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Eileen Graf, Anna L. Theakston, Daniel Freudenthal, Elena Lieven |
The Subject-Object Asymmetry Revisited: Experimental and Computational Approaches to the Role of Information Structure in Children's Argument Omissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cogn. Dev. Syst. ![In: IEEE Trans. Cogn. Dev. Syst. 12(2), pp. 189-197, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | D. Rozo-Ibañez, Javier Ruiz-León, D. Guevara-Lozano, Carlos Renato Vázquez, Y. Yuliana Rios |
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCE ![In: 17th International Conference on Electrical Engineering, Computing Science and Automatic Control, CCE 2020, Mexico City, Mexico, November 11-13, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-8987-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Dimosthenis C. Tsouros, Kostas Stergiou 0001, Christian Bessiere |
Omissions in Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 935-951, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Zhe Zhang 0004, Chung-Wei Hang, Munindar P. Singh |
Octa: Omissions and Conflicts in Target-Aspect Sentiment Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2020, Online Event, 16-20 November 2020., pp. 1651-1662, 2020, Association for Computational Linguistics, 978-1-952148-90-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Yevgeniy V. Bodyanskiy, Alina Shafronenko, Diana Rudenko |
Online Neuro Fuzzy Clustering of Data with Omissions and Outliers based on Сompletion Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMIS ![In: Proceedings of the Second International Workshop on Computer Modeling and Intelligent Systems (CMIS-2019), Zaporizhzhia, Ukraine, April 15-19, 2019., pp. 18-27, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Dai Sato, Shoko Miyagawa, Michinori Hatayama, Yoichi Kayama, Hideaki Sone |
Sharing Information to Eliminate Support Irregularities and Omissions: - Cases from Disaster Information Supporters in Japan -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT-DM ![In: 5th International Conference on Information and Communication Technologies for Disaster Management, ICT-DM 2018, Sendai, Japan, December 4-7, 2018, pp. 1-6, 2019, IEEE, 978-1-5386-6638-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Yevgeniy V. Bodyanskiy, Alina Shafronenko, Sergii Mashtalir |
Online Robust Fuzzy Clustering of Data with Omissions Using Similarity Measure of Special Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDMCI ![In: Lecture Notes in Computational Intelligence and Decision Making - Proceedings of the 15th International Scientific Conference `Intellectual Systems of Decision Making and Problems of Computational Intelligence`, ISDMCI 2019, Salisnyj Port, Ukraine, May 21-25, 2019, pp. 637-646, 2019, Springer, 978-3-030-26473-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Pascale Willemsen |
Omissions and expectations: a new approach to the things we failed to do. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 195(4), pp. 1587-1614, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Minna Kirjavainen, Elena Lieven, Anna L. Theakston |
Can Infinitival to Omissions and Provisions Be Primed? An Experimental Investigation Into the Role of Constructional Competition in Infinitival to Omission Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Sci. ![In: Cogn. Sci. 41(5), pp. 1242-1273, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Paul Bello, Christina Wasylyshyn, Gordon Briggs, Sangeet Khemlani |
Contrasts in reasoning about omissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017, 2017, cognitivesciencesociety.org, 978-0-9911967-6-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Takehiro Wakabayashi, Shuji Morisaki, Noritoshi Atsumi, Shuichiro Yamamoto |
An Empirical Evaluation of Detecting Omissions by Comparing Words between Requirement and Architectural Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWESEP ![In: 8th International Workshop on Empirical Software Engineering in Practice, IWESEP 2017, Tokyo, Japan, March 13, 2017, pp. 12-17, 2017, IEEE Computer Society, 978-1-5090-6699-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Akshat Kapoor, Juhee Kim, Xiaoming Zeng, Andrew G. Anderson |
Identifying Factors Associated with Problem List Omissions in Electronic Medical Records (EMR), to Assess Underdiagnosis in Obesity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2017, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 4-8, 2017, 2017, AMIA. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Santiago Torres-Arias, Anil Kumar Ammula, Reza Curtmola, Justin Cappos |
On Omitting Commits and Committing Omissions: Preventing Git Metadata Tampering That (Re)introduces Software Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016., pp. 379-395, 2016, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Julia M. Taylor, Victor Raskin, Louis C. Hickman |
Accessing implicit meaning: Towards computational ability to reconstruct textual omissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016, pp. 4154-4159, 2016, IEEE, 978-1-5090-1897-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Michael W. Smith, Alexander M. Morison, Charnetta R. Brown, Charlene R. Weir, Jennifer H. Garvin |
Requirements for a Proposed Distributed Attention System for Supporting Awareness of Omissions in Healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Res. Comput. Sci. ![In: Res. Comput. Sci. 89, pp. 37-51, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
28 | David Gessner, Alberto Ballesteros, Andreu Adrover, Julián Proenza |
Experimental evaluation of network component crashes and trigger message omissions in the Flexible Time-Triggered Replicated Star for Ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFCS ![In: IEEE World Conference on Factory Communication Systems, WFCS 2015, Palma de Mallorca, Spain, May 27-29, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-8244-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Anima Singh, John V. Guttag |
Collaborative Filtering for Identifying Prescription Omissions in an ICU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HEALTHINF ![In: HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics, Barcelona, Spain, 11-14 February, 2013., pp. 58-64, 2013, SciTePress, 978-989-8565-37-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
28 | Sharique Hasan, George T. Duncan, Daniel B. Neill, Rema Padman |
Automatic detection of omissions in medication lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 18(4), pp. 449-458, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Jorge Aranda, Gina Venolia |
The secret life of bugs: Going past the errors and omissions in software repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 298-308, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Julián Proenza, Ernesto Sigg |
A First Design for CANsistant: A Mechanism to Prevent Inconsistent Omissions in CAN in the Presence of Multiple Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain, pp. 1-4, 2009, IEEE, 978-1-4244-2727-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | James M. Bjork, Ashley R. Smith, Daniel W. Hommer |
Striatal sensitivity to reward deliveries and omissions in substance dependent patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 42(4), pp. 1609-1621, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Andreas J. Bartsch, György Homola, Stefan Thesen, Peter Sahmer, Ralph Keim, Christian F. Beckmann, Armin Biller, Christoph Knaus, Martin Bendszus |
Scanning for the scanner: FMRI of audition by read-out omissions from echo-planar imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 35(1), pp. 234-243, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Dana Angluin, Martins Krikis, Robert H. Sloan, György Turán |
Malicious Omissions and Errors in Answers to Membership Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 28(2-3), pp. 211-255, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | I. Dan Melamed |
Automatic Detection of Omissions in Translations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cmp-lg/9609010, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | I. Dan Melamed |
Automatic Detection of Omissions in Translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 16th International Conference on Computational Linguistics, Proceedings of the Conference, COLING 1996, Center for Sprogteknologi, Copenhagen, Denmark, August 5-9, 1996, pp. 764-769, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
28 | José Rosario Gallardo, Jaime Sánchez 0002 |
Omissions and ambiguities in CCITT Recommendation Q.921. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 32(2), pp. 88-94, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Linda Z. Suri |
Correcting Illegal NP Omissions Using Local Focus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 30th Annual Meeting of the Association for Computational Linguistics, 28 June - 2 July 1992, University of Delaware, Newark, Deleware, USA, Proceedings., pp. 273-275, 1992, ACL. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
15 | Mohammad Shafkat Amin, Anupam Bhattacharjee, Hasan M. Jamil |
Wikipedia driven autonomous label assignment in wrapper induced tables with missing column names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1656-1660, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
autonomous label assignment, missing column names |
15 | Kevin Lano |
A compositional semantics of UML-RSDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(1), pp. 85-116, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML semantics, UML-RSDS, Model transformations |
15 | Zbigniew Jerzak, Christof Fetzer |
Soft state in publish/subscribe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
upper bound on message transmission delay, routing, publish/subscribe, round-trip time, soft state |
15 | Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos |
An Architecture for Requirements-Driven Self-reconfiguration. ![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. 246-260, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Daniel L. Rubin |
Creating and Curating a Terminology for Radiology: Ontology Modeling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 21(4), pp. 355-362, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
RadLex, Ontologies, software tools, terminologies, vocabularies |
15 | Marek Chrobak |
SIGACT news online algorithms column 13: 2007 - an offine perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 39(3), pp. 96-121, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | José L. Fuertes, Ángel Lucas González, Gonzalo Mariscal, Carlos Ruiz |
Applying a Methodology for Educating Students with Special Needs: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education ![In: Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education, Proceedings of the 2007 International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 2007), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), Bridgeport, CT, USA, December 3-12, 2007, pp. 229-234, 2008, Springer, 978-1-4020-8738-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Barbara Tversky, James E. Corter, Jeffrey V. Nickerson, Doris Zahner, Yun Jin Rho |
Transforming Descriptions and Diagrams to Sketches in Information System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 242-256, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
problem representation, topological diagrams, sketches, Diagrammatic reasoning, information systems design, descriptions |
15 | Gottfried Fuchs, Matthias Függer, Ulrich Schmid 0001, Andreas Steininger |
Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, September 3-5, 2008, pp. 242-249, 2008, IEEE Computer Society, 978-0-7695-3277-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Paulik, Alex Waibel |
Extracting clues from human interpreter speech for spoken language translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 5097-5100, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Diva de S. S. Rodrigues, Sean W. M. Siqueira, Maria Helena Lima Baptista Braz, Rubens Nascimento Melo |
A Strategy for Achieving Learning Content Repurposing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Emerging Technologies and Information Systems for the Knowledge Society, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings, pp. 197-204, 2008, Springer, 978-3-540-87780-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Content Sequencing, Component Objects, Metamodel, Learning Objects, Conceptual Schema |
15 | Zhan Jiuhua |
Intrusion Detection System Based on Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the International Workshop on Knowledge Discovery and Data Mining, WKDD 2008, Adelaide, Australia, 23-24 January 2008, pp. 402-405, 2008, IEEE Computer Society, 0-7695-3090-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Aylin Koca, Aarnout Brombacher |
Extracting "broken expectations" from call center records: why and how. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2985-2990, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
business value of usability, soft reliability, usage-failure classification |
15 | Xiaoyuan Su, Taghi M. Khoshgoftaar, Russell Greiner |
Using Imputation Techniques to Help Learn Accurate Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 437-444, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Romain Robbes, Michele Lanza |
Example-Based Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 174-188, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Taisuke Izumi, Koichi Wada 0001 |
On the Probabilistic Omission Adversary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 357-371, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Denis Hatebur, Maritta Heisel, Holger Schmidt 0001 |
A Pattern System for Security Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 356-365, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Dariusz R. Kowalski, Michal Strojnowski |
On the Communication Surplus Incurred by Faulty Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, pp. 328-342, 2007, Springer, 978-3-540-75141-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
An Approach to Formalization and Analysis of Message Passing Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 164-181, 2007, Springer, 978-3-540-79706-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Muhammad Abdul Qadir 0001, Muhammad Wajahaat Noshairwan |
Warnings for Disjoint Knowledge Omission in Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 45, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Warnings Generation, incompleteness error warning, Evaluation Case study, Ontology Evaluation |
15 | Yi Yang 0002, Xinran Wang, Sencun Zhu, Guohong Cao |
Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007, pp. 219-230, 2007, IEEE Computer Society, 0-7695-2995-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Charlene O'Hanlon |
What's on your hard drive? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 4(1), pp. 11, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Bernardine M. C. Atkinson |
Captology: A Critical Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology, First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006, Proceedings, pp. 171-182, 2006, Springer, 3-540-34291-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Venkat Pothamsetty, Prabhaker Mateti |
A case for exploit-robust and attack-aware protocol RFCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Joel Sommers, Paul Barford, Walter Willinger |
A Proposed Framework for Calibration of Available Bandwidth Estimation Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 26-29 June 2006, Cagliari, Sardinia, Italy, pp. 709-718, 2006, IEEE Computer Society, 0-7695-2588-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh |
Applying flow-sensitive CQUAL to verify MINIX authorization check placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006, pp. 3-6, 2006, ACM, 1-59593-374-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CQUAL, static analysis, type qualifiers, MINIX |
15 | Shijia Gao, Huaiqing Wang, Dongming Xu, Yingfeng Wang, Wenqi Shen, Siubun Yeung |
Intelligent Decision Support for Family Financial Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | John A. Stewart, Sarah J. Dumoulin, Sylvie Noël |
X3D Conformance Testing Factors in Creating Aviable Test Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 2436-2440, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Takao Doi, Hirofumi Yamamoto, Eiichiro Sumita |
Example-based machine translation using efficient sentence retrieval based on edit-distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 4(4), pp. 377-399, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
example retrieval, edit-distance, A* search, Example-based machine translation, word graph |
15 | Milos Besta, Frank A. Stomp |
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(1-2), pp. 5-17, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal methods, pattern matching, theorem proving, PVS |
15 | Grant Dick, Peter A. Whigham |
The behaviour of genetic drift in a spatially-structured evolutionary algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 1855-1860, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jolita Ralyté, Neil A. M. Maiden, Colette Rolland, Rébecca Deneckère |
Applying Modular Method Engineering to Validate and Extend the RESCUE Requirements Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 209-224, 2005, Springer, 3-540-29389-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Amy J. Ko, Htet Htet Aung, Brad A. Myers |
Design requirements for more flexible structured editors from a study of programmers' text editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1557-1560, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
interaction techniques, structured editors |
15 | Jouni Huotari, Kalle Lyytinen, Marketta Niemelä |
Improving graphical information system model use with elision and connecting lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 11(1), pp. 26-58, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
diagrammatic representation, Information visualization, visual search, spatial memory, spatial ability |
15 | Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown |
Requirements-document-based prototyping of CARA software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(4), pp. 370-390, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Specification, Software tools, Rapid prototyping, Requirements analysis, Parallel design |
15 | Jeffrey Parsons, Chad Saunders |
Cognitive Heuristics in Software Engineering: Applying and Extending Anchoring and Adjustment to Artifact Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(12), pp. 873-888, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
human factors in software design, reusable software, requirements/specifications, Software psychology, reuse models, reusable libraries |
15 | Arvind |
Rethinking Computer Architecture Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2004, 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings, pp. 1-2, 2004, Springer, 3-540-24129-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Neil A. M. Maiden, Sara Jones 0001, Sharon Manning, John Greenwood, L. Renou |
Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings, pp. 368-383, 2004, Springer, 3-540-22151-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Patricia Hasson, Stephen Cooper |
A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 17th Conference on Software Engineering Education and Training (CSEE&T 2004), 1-3 March 2004, Norfolk, VA, USA, pp. 84-90, 2004, IEEE Computer Society, 0-7695-2099-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Lars Michael Kristensen, Kurt Jensen |
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 248-269, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | David Nutter, Stephen Rank, Cornelia Boldyreff |
An Evaluation Framework to Drive Future Evolution of a Research Prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004, Modena, Italy, pp. 180-185, 2004, IEEE Computer Society, 0-7695-2183-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Gustavo A. Santana Torrellas |
A Network Security Architectural Approach for Systems Integrity using Multi Agent Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 7th International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN 2004), 10-12 May 2004, Hong Kong, SAR, China, pp. 600-606, 2004, IEEE Computer Society, 0-7695-2135-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mobile Agents, Security Architecture, Security Threats |
15 | Yichen Xie 0001, Dawson R. Engler |
Using Redundancies to Find Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(10), pp. 915-928, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
program redundancy, software quality, error detection, Extensible compilation |
15 | Yichen Xie 0001, Andy Chou, Dawson R. Engler |
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 327-336, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun |
15 | Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen |
Comparative Rapid Prototyping, A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, pp. 210-217, 2003, IEEE Computer Society, 0-7695-1943-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Gustavo A. Santana Torrellas |
A Security Architectural Approach for Risk Assessment Using Multi-agent Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings, pp. 110-124, 2003, Springer, 3-540-20529-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Citron |
MisSPECulation: Partial and Misleading Use of SPEC CPU2000 in Computer Architecture Conferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 52-59, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon |
Distributed Programming for Dummies: A Shifting Transformation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy, pp. 349-, 2003, IEEE Computer Society, 0-7695-1955-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | José Pereira 0001, Luís E. T. Rodrigues, M. João Monteiro, Rui Oliveira 0001, Anne-Marie Kermarrec |
NEEM: Network-Friendly Epidemic Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy, pp. 15-24, 2003, IEEE Computer Society, 0-7695-1955-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Edsger W. Dijkstra |
EWD1300: The Notational Conventions I Adopted, and Why. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(2), pp. 99-107, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | José Meseguer 0001, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott |
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANCE ![In: 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 29-31 May 2002, San Francisco, CA, USA, pp. 494-510, 2002, IEEE Computer Society, 0-7695-1564-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Ron Weber |
Conceptual Modelling and Ontology: Possibilities and Pitfalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44277-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Yichen Xie 0001, Dawson R. Engler |
Using redundancies to find errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002, pp. 51-60, 2002, ACM, 1-58113-514-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
error detection, extensible compilation |
15 | David A. Basin, Frank Rittinger, Luca Viganò 0001 |
A Formal Analysis of the CORBA Security Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 330-349, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano |
Formal Verification of Cardholder Registration in SET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings, pp. 159-174, 2000, Springer, 3-540-41031-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|