var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"lordamit.github.io/files/mypubs.bib\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Imran\"],\"suffixes\":[]},{\"firstnames\":[\"A.\",\"U.\"],\"propositions\":[],\"lastnames\":[\"Gias\"],\"suffixes\":[]},{\"firstnames\":[\"R.\"],\"propositions\":[],\"lastnames\":[\"Rahman\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Seal\"],\"suffixes\":[]},{\"firstnames\":[\"T.\"],\"propositions\":[],\"lastnames\":[\"Rahman\"],\"suffixes\":[]},{\"firstnames\":[\"F.\"],\"propositions\":[],\"lastnames\":[\"Ishraque\"],\"suffixes\":[]},{\"firstnames\":[\"K.\"],\"propositions\":[],\"lastnames\":[\"Sakib\"],\"suffixes\":[]}],\"booktitle\":\"Computer and Information Technology (ICCIT), 2013 16th International Conference on\",\"title\":\"Cloud-Niagara: A high availability and low overhead fault tolerance middleware for the cloud\",\"year\":\"2014\",\"pages\":\"271-276\",\"keywords\":\"cloud computing;fault tolerant computing;middleware;set theory;Cloud-Niagara middleware;cloud based applications;cloud computing;deterministic algorithm;effective descriptive set theory;fault tolerance middleware;open source cloud;Availability;Central Processing Unit;Computer architecture;Fault tolerance;Fault tolerant systems;Middleware;Random access memory\",\"doi\":\"10.1109/ICCITechn.2014.6997344\",\"month\":\"March\",\"bibtex\":\"@INPROCEEDINGS{6997344,\\nauthor={A. Imran and A. U. Gias and R. Rahman and A. Seal and T. Rahman and F. Ishraque and K. Sakib},\\nbooktitle={Computer and Information Technology (ICCIT), 2013 16th International Conference on},\\ntitle={Cloud-Niagara: A high availability and low overhead fault tolerance middleware for the cloud},\\nyear={2014},\\npages={271-276},\\nkeywords={cloud computing;fault tolerant computing;middleware;set theory;Cloud-Niagara middleware;cloud based applications;cloud computing;deterministic algorithm;effective descriptive set theory;fault tolerance middleware;open source cloud;Availability;Central Processing Unit;Computer architecture;Fault tolerance;Fault tolerant systems;Middleware;Random access memory},\\ndoi={10.1109/ICCITechn.2014.6997344},\\nmonth={March},}\\n\\n\",\"author_short\":[\"Imran, A.\",\"Gias, A. U.\",\"Rahman, R.\",\"Seal, A.\",\"Rahman, T.\",\"Ishraque, F.\",\"Sakib, K.\"],\"key\":\"6997344\",\"id\":\"6997344\",\"bibbaseid\":\"imran-gias-rahman-seal-rahman-ishraque-sakib-cloudniagaraahighavailabilityandlowoverheadfaulttolerancemiddlewareforthecloud-2014\",\"role\":\"author\",\"urls\":{},\"keyword\":[\"cloud computing;fault tolerant computing;middleware;set theory;Cloud-Niagara middleware;cloud based applications;cloud computing;deterministic algorithm;effective descriptive set theory;fault tolerance middleware;open source cloud;Availability;Central Processing Unit;Computer architecture;Fault tolerance;Fault tolerant systems;Middleware;Random access memory\"],\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"A.\",\"U.\"],\"propositions\":[],\"lastnames\":[\"Gias\"],\"suffixes\":[]},{\"firstnames\":[\"M.\",\"R.\"],\"propositions\":[],\"lastnames\":[\"Tabassum\"],\"suffixes\":[]},{\"firstnames\":[\"A.\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Ami\"],\"suffixes\":[]},{\"firstnames\":[\"A.\"],\"propositions\":[],\"lastnames\":[\"Imran\"],\"suffixes\":[]},{\"firstnames\":[\"M.\"],\"propositions\":[],\"lastnames\":[\"Ibrahim\"],\"suffixes\":[]},{\"firstnames\":[\"R.\"],\"propositions\":[],\"lastnames\":[\"Rahman\"],\"suffixes\":[]},{\"firstnames\":[\"K.\"],\"propositions\":[],\"lastnames\":[\"Sakib\"],\"suffixes\":[]}],\"booktitle\":\"Computer and Information Technology (ICCIT), 2013 16th International Conference on\",\"title\":\"A formal approach to verify software scalability requirements using set theory and Hoare triple\",\"year\":\"2014\",\"pages\":\"7-12\",\"keywords\":\"program verification;set theory;software quality;Hoare triple;caching;code level;code quality measurement;code segment;data compression;execution environment;formal approach;performance fulfillment measurement;real life online ticketing system;response time;set notations;set theory;software scalability requirements verification;user needs;user requests;variation handling;workload variation;Computers;Data compression;Information technology;Scalability;Servers;Set theory;Time factors;Formal Method;Hoare Triple;Set Theory;Software Scalability;Verification\",\"doi\":\"10.1109/ICCITechn.2014.6997367\",\"month\":\"March\",\"bibtex\":\"@INPROCEEDINGS{6997367,\\nauthor={A. U. Gias and M. R. Tabassum and A. S. Ami and A. Imran and M. Ibrahim and R. Rahman and K. Sakib},\\nbooktitle={Computer and Information Technology (ICCIT), 2013 16th International Conference on},\\ntitle={A formal approach to verify software scalability requirements using set theory and Hoare triple},\\nyear={2014},\\npages={7-12},\\nkeywords={program verification;set theory;software quality;Hoare triple;caching;code level;code quality measurement;code segment;data compression;execution environment;formal approach;performance fulfillment measurement;real life online ticketing system;response time;set notations;set theory;software scalability requirements verification;user needs;user requests;variation handling;workload variation;Computers;Data compression;Information technology;Scalability;Servers;Set theory;Time factors;Formal Method;Hoare Triple;Set Theory;Software Scalability;Verification},\\ndoi={10.1109/ICCITechn.2014.6997367},\\nmonth={March},}\\n\\n\",\"author_short\":[\"Gias, A. U.\",\"Tabassum, M. R.\",\"Ami, A. S.\",\"Imran, A.\",\"Ibrahim, M.\",\"Rahman, R.\",\"Sakib, K.\"],\"key\":\"6997367\",\"id\":\"6997367\",\"bibbaseid\":\"gias-tabassum-ami-imran-ibrahim-rahman-sakib-aformalapproachtoverifysoftwarescalabilityrequirementsusingsettheoryandhoaretriple-2014\",\"role\":\"author\",\"urls\":{},\"keyword\":[\"program verification;set theory;software quality;Hoare triple;caching;code level;code quality measurement;code segment;data compression;execution environment;formal approach;performance fulfillment measurement;real life online ticketing system;response time;set notations;set theory;software scalability requirements verification;user needs;user requests;variation handling;workload variation;Computers;Data compression;Information technology;Scalability;Servers;Set theory;Time factors;Formal Method;Hoare Triple;Set Theory;Software Scalability;Verification\"],\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"P.\"],\"propositions\":[],\"lastnames\":[\"Mandal\"],\"suffixes\":[]},{\"firstnames\":[\"A.\",\"S.\"],\"propositions\":[],\"lastnames\":[\"Ami\"],\"suffixes\":[]}],\"booktitle\":\"2015 IEEE International WIE Conference on Electrical and Computer Engineering (WIECON-ECE)\",\"title\":\"Selecting best attributes for software defect prediction\",\"year\":\"2015\",\"pages\":\"110-113\",\"keywords\":\"Data preprocessing;NASA;Prediction algorithms;Predictive models;Software;Software algorithms;Software metrics\",\"doi\":\"10.1109/WIECON-ECE.2015.7444011\",\"month\":\"Dec\",\"bibtex\":\"@INPROCEEDINGS{7444011,\\nauthor={P. Mandal and A. S. Ami},\\nbooktitle={2015 IEEE International WIE Conference on Electrical and Computer Engineering (WIECON-ECE)},\\ntitle={Selecting best attributes for software defect prediction},\\nyear={2015},\\npages={110-113},\\nkeywords={Data preprocessing;NASA;Prediction algorithms;Predictive models;Software;Software algorithms;Software metrics},\\ndoi={10.1109/WIECON-ECE.2015.7444011},\\nmonth={Dec},}\\n\\n\",\"author_short\":[\"Mandal, P.\",\"Ami, A. S.\"],\"key\":\"7444011\",\"id\":\"7444011\",\"bibbaseid\":\"mandal-ami-selectingbestattributesforsoftwaredefectprediction-2015\",\"role\":\"author\",\"urls\":{},\"keyword\":[\"Data preprocessing;NASA;Prediction algorithms;Predictive models;Software;Software algorithms;Software metrics\"],\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Face Recognition and Adaptation for Secure Human Computer Interaction\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Khaled\"],\"firstnames\":[\"Shah\",\"Mostafa\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Gias\"],\"firstnames\":[\"Alim\",\"Ul\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Seal\"],\"firstnames\":[\"Amit\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Hasanuzzaman\"],\"firstnames\":[\"Md\"],\"suffixes\":[]}],\"journal\":\"International Journal of Advanced Computer Science\",\"volume\":\"3\",\"number\":\"10\",\"year\":\"2013\",\"bibtex\":\"@article{khaled2013face,\\n  title={Face Recognition and Adaptation for Secure Human Computer Interaction},\\n  author={Khaled, Shah Mostafa and Gias, Alim Ul and Seal, Amit and Hasanuzzaman, Md},\\n  journal={International Journal of Advanced Computer Science},\\n  volume={3},\\n  number={10},\\n  year={2013}\\n}\\n\\n\",\"author_short\":[\"Khaled, S. M.\",\"Gias, A. U.\",\"Seal, A.\",\"Hasanuzzaman, M.\"],\"key\":\"khaled2013face\",\"id\":\"khaled2013face\",\"bibbaseid\":\"khaled-gias-seal-hasanuzzaman-facerecognitionandadaptationforsecurehumancomputerinteraction-2013\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"A Content Assist based Approach for Providing Rationale of Method Change for Object Oriented Programming\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ami\"],\"firstnames\":[\"Amit\",\"S\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Islam\"],\"firstnames\":[\"Shariful\"],\"suffixes\":[]}],\"journal\":\"International Journal of Information Engineering and Electronic Business (IJIEEB)\",\"volume\":\"7\",\"number\":\"1\",\"pages\":\"49\",\"year\":\"2015\",\"bibtex\":\"@article{ami2015content,\\n  title={A Content Assist based Approach for Providing Rationale of Method Change for Object Oriented Programming},\\n  author={Ami, Amit S and Islam, Shariful},\\n  journal={International Journal of Information Engineering and Electronic Business (IJIEEB)},\\n  volume={7},\\n  number={1},\\n  pages={49},\\n  year={2015}\\n}\\n\\n\",\"author_short\":[\"Ami, A. S\",\"Islam, S.\"],\"key\":\"ami2015content\",\"id\":\"ami2015content\",\"bibbaseid\":\"ami-islam-acontentassistbasedapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"An efficient approach for providing rationale of method change for object oriented programming\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ami\"],\"firstnames\":[\"Amit\",\"Seal\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Islam\"],\"firstnames\":[\"Md\",\"Shariful\"],\"suffixes\":[]}],\"booktitle\":\"Informatics, Electronics & Vision (ICIEV), 2014 International Conference on\",\"pages\":\"1–6\",\"year\":\"2014\",\"organization\":\"IEEE\",\"bibtex\":\"@inproceedings{ami2014efficient,\\n  title={An efficient approach for providing rationale of method change for object oriented programming},\\n  author={Ami, Amit Seal and Islam, Md Shariful},\\n  booktitle={Informatics, Electronics \\\\& Vision (ICIEV), 2014 International Conference on},\\n  pages={1--6},\\n  year={2014},\\n  organization={IEEE}\\n}\\n\\n\",\"author_short\":[\"Ami, A. S.\",\"Islam, M. S.\"],\"key\":\"ami2014efficient\",\"id\":\"ami2014efficient\",\"bibbaseid\":\"ami-islam-anefficientapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2014\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"A Static Code Search Technique to Identify Dead Fields by Analyzing Usage of Setup Fields and Field Dependency in Test Code\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Satter\"],\"firstnames\":[\"Abdus\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ami\"],\"firstnames\":[\"Amit\",\"Seal\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Sakib\"],\"firstnames\":[\"Kazi\"],\"suffixes\":[]}],\"booktitle\":\"CDUD 2016–The 3rd International Workshop on Concept Discovery in Unstructured Data\",\"pages\":\"60\",\"year\":\"2016\",\"bibtex\":\"@inproceedings{satter2016static,\\n  title={A Static Code Search Technique to Identify Dead Fields by Analyzing Usage of Setup Fields and Field Dependency in Test Code},\\n  author={Satter, Abdus and Ami, Amit Seal and Sakib, Kazi},\\n  booktitle={CDUD 2016--The 3rd International Workshop on Concept Discovery in Unstructured Data},\\n  pages={60},\\n  year={2016}\\n}\\n\",\"author_short\":[\"Satter, A.\",\"Ami, A. S.\",\"Sakib, K.\"],\"key\":\"satter2016static\",\"id\":\"satter2016static\",\"bibbaseid\":\"satter-ami-sakib-astaticcodesearchtechniquetoidentifydeadfieldsbyanalyzingusageofsetupfieldsandfielddependencyintestcode-2016\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":0,\"html\":\"\"}],\n      metadata: {\"authorlinks\":{}},\n      ownerID: undefined\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"mypubs.bib\" href=\"data:text/bibtex;base64,QElOUFJPQ0VFRElOR1N7Njk5NzM0NCwKYXV0aG9yPXtBLiBJbXJhbiBhbmQgQS4gVS4gR2lhcyBhbmQgUi4gUmFobWFuIGFuZCBBLiBTZWFsIGFuZCBULiBSYWhtYW4gYW5kIEYuIElzaHJhcXVlIGFuZCBLLiBTYWtpYn0sCmJvb2t0aXRsZT17Q29tcHV0ZXIgYW5kIEluZm9ybWF0aW9uIFRlY2hub2xvZ3kgKElDQ0lUKSwgMjAxMyAxNnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbn0sCnRpdGxlPXtDbG91ZC1OaWFnYXJhOiBBIGhpZ2ggYXZhaWxhYmlsaXR5IGFuZCBsb3cgb3ZlcmhlYWQgZmF1bHQgdG9sZXJhbmNlIG1pZGRsZXdhcmUgZm9yIHRoZSBjbG91ZH0sCnllYXI9ezIwMTR9LApwYWdlcz17MjcxLTI3Nn0sCmtleXdvcmRzPXtjbG91ZCBjb21wdXRpbmc7ZmF1bHQgdG9sZXJhbnQgY29tcHV0aW5nO21pZGRsZXdhcmU7c2V0IHRoZW9yeTtDbG91ZC1OaWFnYXJhIG1pZGRsZXdhcmU7Y2xvdWQgYmFzZWQgYXBwbGljYXRpb25zO2Nsb3VkIGNvbXB1dGluZztkZXRlcm1pbmlzdGljIGFsZ29yaXRobTtlZmZlY3RpdmUgZGVzY3JpcHRpdmUgc2V0IHRoZW9yeTtmYXVsdCB0b2xlcmFuY2UgbWlkZGxld2FyZTtvcGVuIHNvdXJjZSBjbG91ZDtBdmFpbGFiaWxpdHk7Q2VudHJhbCBQcm9jZXNzaW5nIFVuaXQ7Q29tcHV0ZXIgYXJjaGl0ZWN0dXJlO0ZhdWx0IHRvbGVyYW5jZTtGYXVsdCB0b2xlcmFudCBzeXN0ZW1zO01pZGRsZXdhcmU7UmFuZG9tIGFjY2VzcyBtZW1vcnl9LApkb2k9ezEwLjExMDkvSUNDSVRlY2huLjIwMTQuNjk5NzM0NH0sCm1vbnRoPXtNYXJjaH0sfQoKCgpASU5QUk9DRUVESU5HU3s2OTk3MzY3LAphdXRob3I9e0EuIFUuIEdpYXMgYW5kIE0uIFIuIFRhYmFzc3VtIGFuZCBBLiBTLiBBbWkgYW5kIEEuIEltcmFuIGFuZCBNLiBJYnJhaGltIGFuZCBSLiBSYWhtYW4gYW5kIEsuIFNha2lifSwKYm9va3RpdGxlPXtDb21wdXRlciBhbmQgSW5mb3JtYXRpb24gVGVjaG5vbG9neSAoSUNDSVQpLCAyMDEzIDE2dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9ufSwKdGl0bGU9e0EgZm9ybWFsIGFwcHJvYWNoIHRvIHZlcmlmeSBzb2Z0d2FyZSBzY2FsYWJpbGl0eSByZXF1aXJlbWVudHMgdXNpbmcgc2V0IHRoZW9yeSBhbmQgSG9hcmUgdHJpcGxlfSwKeWVhcj17MjAxNH0sCnBhZ2VzPXs3LTEyfSwKa2V5d29yZHM9e3Byb2dyYW0gdmVyaWZpY2F0aW9uO3NldCB0aGVvcnk7c29mdHdhcmUgcXVhbGl0eTtIb2FyZSB0cmlwbGU7Y2FjaGluZztjb2RlIGxldmVsO2NvZGUgcXVhbGl0eSBtZWFzdXJlbWVudDtjb2RlIHNlZ21lbnQ7ZGF0YSBjb21wcmVzc2lvbjtleGVjdXRpb24gZW52aXJvbm1lbnQ7Zm9ybWFsIGFwcHJvYWNoO3BlcmZvcm1hbmNlIGZ1bGZpbGxtZW50IG1lYXN1cmVtZW50O3JlYWwgbGlmZSBvbmxpbmUgdGlja2V0aW5nIHN5c3RlbTtyZXNwb25zZSB0aW1lO3NldCBub3RhdGlvbnM7c2V0IHRoZW9yeTtzb2Z0d2FyZSBzY2FsYWJpbGl0eSByZXF1aXJlbWVudHMgdmVyaWZpY2F0aW9uO3VzZXIgbmVlZHM7dXNlciByZXF1ZXN0czt2YXJpYXRpb24gaGFuZGxpbmc7d29ya2xvYWQgdmFyaWF0aW9uO0NvbXB1dGVycztEYXRhIGNvbXByZXNzaW9uO0luZm9ybWF0aW9uIHRlY2hub2xvZ3k7U2NhbGFiaWxpdHk7U2VydmVycztTZXQgdGhlb3J5O1RpbWUgZmFjdG9ycztGb3JtYWwgTWV0aG9kO0hvYXJlIFRyaXBsZTtTZXQgVGhlb3J5O1NvZnR3YXJlIFNjYWxhYmlsaXR5O1ZlcmlmaWNhdGlvbn0sCmRvaT17MTAuMTEwOS9JQ0NJVGVjaG4uMjAxNC42OTk3MzY3fSwKbW9udGg9e01hcmNofSx9CgoKCkBJTlBST0NFRURJTkdTezc0NDQwMTEsCmF1dGhvcj17UC4gTWFuZGFsIGFuZCBBLiBTLiBBbWl9LApib29rdGl0bGU9ezIwMTUgSUVFRSBJbnRlcm5hdGlvbmFsIFdJRSBDb25mZXJlbmNlIG9uIEVsZWN0cmljYWwgYW5kIENvbXB1dGVyIEVuZ2luZWVyaW5nIChXSUVDT04tRUNFKX0sCnRpdGxlPXtTZWxlY3RpbmcgYmVzdCBhdHRyaWJ1dGVzIGZvciBzb2Z0d2FyZSBkZWZlY3QgcHJlZGljdGlvbn0sCnllYXI9ezIwMTV9LApwYWdlcz17MTEwLTExM30sCmtleXdvcmRzPXtEYXRhIHByZXByb2Nlc3Npbmc7TkFTQTtQcmVkaWN0aW9uIGFsZ29yaXRobXM7UHJlZGljdGl2ZSBtb2RlbHM7U29mdHdhcmU7U29mdHdhcmUgYWxnb3JpdGhtcztTb2Z0d2FyZSBtZXRyaWNzfSwKZG9pPXsxMC4xMTA5L1dJRUNPTi1FQ0UuMjAxNS43NDQ0MDExfSwKbW9udGg9e0RlY30sfQoKCgpAYXJ0aWNsZXtraGFsZWQyMDEzZmFjZSwKICB0aXRsZT17RmFjZSBSZWNvZ25pdGlvbiBhbmQgQWRhcHRhdGlvbiBmb3IgU2VjdXJlIEh1bWFuIENvbXB1dGVyIEludGVyYWN0aW9ufSwKICBhdXRob3I9e0toYWxlZCwgU2hhaCBNb3N0YWZhIGFuZCBHaWFzLCBBbGltIFVsIGFuZCBTZWFsLCBBbWl0IGFuZCBIYXNhbnV6emFtYW4sIE1kfSwKICBqb3VybmFsPXtJbnRlcm5hdGlvbmFsIEpvdXJuYWwgb2YgQWR2YW5jZWQgQ29tcHV0ZXIgU2NpZW5jZX0sCiAgdm9sdW1lPXszfSwKICBudW1iZXI9ezEwfSwKICB5ZWFyPXsyMDEzfQp9CgoKCkBhcnRpY2xle2FtaTIwMTVjb250ZW50LAogIHRpdGxlPXtBIENvbnRlbnQgQXNzaXN0IGJhc2VkIEFwcHJvYWNoIGZvciBQcm92aWRpbmcgUmF0aW9uYWxlIG9mIE1ldGhvZCBDaGFuZ2UgZm9yIE9iamVjdCBPcmllbnRlZCBQcm9ncmFtbWluZ30sCiAgYXV0aG9yPXtBbWksIEFtaXQgUyBhbmQgSXNsYW0sIFNoYXJpZnVsfSwKICBqb3VybmFsPXtJbnRlcm5hdGlvbmFsIEpvdXJuYWwgb2YgSW5mb3JtYXRpb24gRW5naW5lZXJpbmcgYW5kIEVsZWN0cm9uaWMgQnVzaW5lc3MgKElKSUVFQil9LAogIHZvbHVtZT17N30sCiAgbnVtYmVyPXsxfSwKICBwYWdlcz17NDl9LAogIHllYXI9ezIwMTV9Cn0KCgoKQGlucHJvY2VlZGluZ3N7YW1pMjAxNGVmZmljaWVudCwKICB0aXRsZT17QW4gZWZmaWNpZW50IGFwcHJvYWNoIGZvciBwcm92aWRpbmcgcmF0aW9uYWxlIG9mIG1ldGhvZCBjaGFuZ2UgZm9yIG9iamVjdCBvcmllbnRlZCBwcm9ncmFtbWluZ30sCiAgYXV0aG9yPXtBbWksIEFtaXQgU2VhbCBhbmQgSXNsYW0sIE1kIFNoYXJpZnVsfSwKICBib29rdGl0bGU9e0luZm9ybWF0aWNzLCBFbGVjdHJvbmljcyBcJiBWaXNpb24gKElDSUVWKSwgMjAxNCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb259LAogIHBhZ2VzPXsxLS02fSwKICB5ZWFyPXsyMDE0fSwKICBvcmdhbml6YXRpb249e0lFRUV9Cn0KCgoKQGlucHJvY2VlZGluZ3N7c2F0dGVyMjAxNnN0YXRpYywKICB0aXRsZT17QSBTdGF0aWMgQ29kZSBTZWFyY2ggVGVjaG5pcXVlIHRvIElkZW50aWZ5IERlYWQgRmllbGRzIGJ5IEFuYWx5emluZyBVc2FnZSBvZiBTZXR1cCBGaWVsZHMgYW5kIEZpZWxkIERlcGVuZGVuY3kgaW4gVGVzdCBDb2RlfSwKICBhdXRob3I9e1NhdHRlciwgQWJkdXMgYW5kIEFtaSwgQW1pdCBTZWFsIGFuZCBTYWtpYiwgS2F6aX0sCiAgYm9va3RpdGxlPXtDRFVEIDIwMTYtLVRoZSAzcmQgSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBDb25jZXB0IERpc2NvdmVyeSBpbiBVbnN0cnVjdHVyZWQgRGF0YX0sCiAgcGFnZXM9ezYwfSwKICB5ZWFyPXsyMDE2fQp9Cg==\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=lordamit.github.io/files/mypubs.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=lordamit.github.io/files/mypubs.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=lordamit.github.io%2Ffiles%2Fmypubs.bib&amp;jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=lordamit.github.io%2Ffiles%2Fmypubs.bib&amp;jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=lordamit.github.io%2Ffiles%2Fmypubs.bib&amp;jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2016\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2016')\"\n      onkeypress=\"toggleGroup('group_2016')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2016</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"satter-ami-sakib-astaticcodesearchtechniquetoidentifydeadfieldsbyanalyzingusageofsetupfieldsandfielddependencyintestcode-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A Static Code Search Technique to Identify Dead Fields by Analyzing Usage of Setup Fields and Field Dependency in Test Code.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Satter, A.; Ami, A. S.;  and Sakib, K.\n</span>\n\n  \n\n</span>\n\n  In <i>CDUD 2016–The 3rd International Workshop on Concept Discovery in Unstructured Data</i>, pages 60,  2016. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/satter-ami-sakib-astaticcodesearchtechniquetoidentifydeadfieldsbyanalyzingusageofsetupfieldsandfielddependencyintestcode-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('satter-ami-sakib-astaticcodesearchtechniquetoidentifydeadfieldsbyanalyzingusageofsetupfieldsandfielddependencyintestcode-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{satter2016static,\n  title={A Static Code Search Technique to Identify Dead Fields by Analyzing Usage of Setup Fields and Field Dependency in Test Code},\n  author={Satter, Abdus and Ami, Amit Seal and Sakib, Kazi},\n  booktitle={CDUD 2016--The 3rd International Workshop on Concept Discovery in Unstructured Data},\n  pages={60},\n  year={2016}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2015\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2015')\"\n      onkeypress=\"toggleGroup('group_2015')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2015</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"mandal-ami-selectingbestattributesforsoftwaredefectprediction-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Selecting best attributes for software defect prediction.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Mandal, P.;  and Ami, A. S.\n</span>\n\n  \n\n</span>\n\n  In <i>2015 IEEE International WIE Conference on Electrical and Computer Engineering (WIECON-ECE)</i>, pages 110-113, Dec 2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/WIECON-ECE.2015.7444011\"\n     onclick=\"log_download('mandal-ami-selectingbestattributesforsoftwaredefectprediction-2015', 'http://doi.org/10.1109/WIECON-ECE.2015.7444011', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/mandal-ami-selectingbestattributesforsoftwaredefectprediction-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('mandal-ami-selectingbestattributesforsoftwaredefectprediction-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@INPROCEEDINGS{7444011,\nauthor={P. Mandal and A. S. Ami},\nbooktitle={2015 IEEE International WIE Conference on Electrical and Computer Engineering (WIECON-ECE)},\ntitle={Selecting best attributes for software defect prediction},\nyear={2015},\npages={110-113},\nkeywords={Data preprocessing;NASA;Prediction algorithms;Predictive models;Software;Software algorithms;Software metrics},\ndoi={10.1109/WIECON-ECE.2015.7444011},\nmonth={Dec},}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"ami-islam-acontentassistbasedapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A Content Assist based Approach for Providing Rationale of Method Change for Object Oriented Programming.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Ami, A. S;  and Islam, S.\n</span>\n\n  \n\n</span>\n\n  <i>International Journal of Information Engineering and Electronic Business (IJIEEB)</i>, 7(1): 49.  2015.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ami-islam-acontentassistbasedapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ami-islam-acontentassistbasedapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{ami2015content,\n  title={A Content Assist based Approach for Providing Rationale of Method Change for Object Oriented Programming},\n  author={Ami, Amit S and Islam, Shariful},\n  journal={International Journal of Information Engineering and Electronic Business (IJIEEB)},\n  volume={7},\n  number={1},\n  pages={49},\n  year={2015}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2014\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2014')\"\n      onkeypress=\"toggleGroup('group_2014')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2014</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"imran-gias-rahman-seal-rahman-ishraque-sakib-cloudniagaraahighavailabilityandlowoverheadfaulttolerancemiddlewareforthecloud-2014\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Cloud-Niagara: A high availability and low overhead fault tolerance middleware for the cloud.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Imran, A.; Gias, A. U.; Rahman, R.; Seal, A.; Rahman, T.; Ishraque, F.;  and Sakib, K.\n</span>\n\n  \n\n</span>\n\n  In <i>Computer and Information Technology (ICCIT), 2013 16th International Conference on</i>, pages 271-276, March 2014. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICCITechn.2014.6997344\"\n     onclick=\"log_download('imran-gias-rahman-seal-rahman-ishraque-sakib-cloudniagaraahighavailabilityandlowoverheadfaulttolerancemiddlewareforthecloud-2014', 'http://doi.org/10.1109/ICCITechn.2014.6997344', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/imran-gias-rahman-seal-rahman-ishraque-sakib-cloudniagaraahighavailabilityandlowoverheadfaulttolerancemiddlewareforthecloud-2014\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('imran-gias-rahman-seal-rahman-ishraque-sakib-cloudniagaraahighavailabilityandlowoverheadfaulttolerancemiddlewareforthecloud-2014')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@INPROCEEDINGS{6997344,\nauthor={A. Imran and A. U. Gias and R. Rahman and A. Seal and T. Rahman and F. Ishraque and K. Sakib},\nbooktitle={Computer and Information Technology (ICCIT), 2013 16th International Conference on},\ntitle={Cloud-Niagara: A high availability and low overhead fault tolerance middleware for the cloud},\nyear={2014},\npages={271-276},\nkeywords={cloud computing;fault tolerant computing;middleware;set theory;Cloud-Niagara middleware;cloud based applications;cloud computing;deterministic algorithm;effective descriptive set theory;fault tolerance middleware;open source cloud;Availability;Central Processing Unit;Computer architecture;Fault tolerance;Fault tolerant systems;Middleware;Random access memory},\ndoi={10.1109/ICCITechn.2014.6997344},\nmonth={March},}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"gias-tabassum-ami-imran-ibrahim-rahman-sakib-aformalapproachtoverifysoftwarescalabilityrequirementsusingsettheoryandhoaretriple-2014\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A formal approach to verify software scalability requirements using set theory and Hoare triple.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Gias, A. U.; Tabassum, M. R.; Ami, A. S.; Imran, A.; Ibrahim, M.; Rahman, R.;  and Sakib, K.\n</span>\n\n  \n\n</span>\n\n  In <i>Computer and Information Technology (ICCIT), 2013 16th International Conference on</i>, pages 7-12, March 2014. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICCITechn.2014.6997367\"\n     onclick=\"log_download('gias-tabassum-ami-imran-ibrahim-rahman-sakib-aformalapproachtoverifysoftwarescalabilityrequirementsusingsettheoryandhoaretriple-2014', 'http://doi.org/10.1109/ICCITechn.2014.6997367', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/gias-tabassum-ami-imran-ibrahim-rahman-sakib-aformalapproachtoverifysoftwarescalabilityrequirementsusingsettheoryandhoaretriple-2014\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('gias-tabassum-ami-imran-ibrahim-rahman-sakib-aformalapproachtoverifysoftwarescalabilityrequirementsusingsettheoryandhoaretriple-2014')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@INPROCEEDINGS{6997367,\nauthor={A. U. Gias and M. R. Tabassum and A. S. Ami and A. Imran and M. Ibrahim and R. Rahman and K. Sakib},\nbooktitle={Computer and Information Technology (ICCIT), 2013 16th International Conference on},\ntitle={A formal approach to verify software scalability requirements using set theory and Hoare triple},\nyear={2014},\npages={7-12},\nkeywords={program verification;set theory;software quality;Hoare triple;caching;code level;code quality measurement;code segment;data compression;execution environment;formal approach;performance fulfillment measurement;real life online ticketing system;response time;set notations;set theory;software scalability requirements verification;user needs;user requests;variation handling;workload variation;Computers;Data compression;Information technology;Scalability;Servers;Set theory;Time factors;Formal Method;Hoare Triple;Set Theory;Software Scalability;Verification},\ndoi={10.1109/ICCITechn.2014.6997367},\nmonth={March},}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"ami-islam-anefficientapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2014\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  An efficient approach for providing rationale of method change for object oriented programming.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Ami, A. S.;  and Islam, M. S.\n</span>\n\n  \n\n</span>\n\n  In <i>Informatics, Electronics & Vision (ICIEV), 2014 International Conference on</i>, pages 1–6,  2014. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ami-islam-anefficientapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2014\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ami-islam-anefficientapproachforprovidingrationaleofmethodchangeforobjectorientedprogramming-2014')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ami2014efficient,\n  title={An efficient approach for providing rationale of method change for object oriented programming},\n  author={Ami, Amit Seal and Islam, Md Shariful},\n  booktitle={Informatics, Electronics \\&amp; Vision (ICIEV), 2014 International Conference on},\n  pages={1--6},\n  year={2014},\n  organization={IEEE}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2013\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2013')\"\n      onkeypress=\"toggleGroup('group_2013')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2013</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"khaled-gias-seal-hasanuzzaman-facerecognitionandadaptationforsecurehumancomputerinteraction-2013\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Face Recognition and Adaptation for Secure Human Computer Interaction.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Khaled, S. M.; Gias, A. U.; Seal, A.;  and Hasanuzzaman, M.\n</span>\n\n  \n\n</span>\n\n  <i>International Journal of Advanced Computer Science</i>, 3(10).  2013.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/khaled-gias-seal-hasanuzzaman-facerecognitionandadaptationforsecurehumancomputerinteraction-2013\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('khaled-gias-seal-hasanuzzaman-facerecognitionandadaptationforsecurehumancomputerinteraction-2013')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{khaled2013face,\n  title={Face Recognition and Adaptation for Secure Human Computer Interaction},\n  author={Khaled, Shah Mostafa and Gias, Alim Ul and Seal, Amit and Hasanuzzaman, Md},\n  journal={International Journal of Advanced Computer Science},\n  volume={3},\n  number={10},\n  year={2013}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);