{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:46:31Z","timestamp":1729651591503,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/itcc.2003.1197499","type":"proceedings-article","created":{"date-parts":[[2004,5,13]],"date-time":"2004-05-13T10:43:37Z","timestamp":1084445017000},"page":"53-57","source":"Crossref","is-referenced-by-count":0,"title":["An e-learning tool for understanding schedule properties"],"prefix":"10.1109","author":[{"given":"S.","family":"Barker","sequence":"first","affiliation":[]},{"given":"P.","family":"Douglas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Logical foundations of artificial intelligence","year":"1987","author":"genesereth","key":"ref10"},{"journal-title":"What Does It Take to Improve Learning?","year":"1988","author":"marton","key":"ref11"},{"journal-title":"NCSA Common Gateway Interface","year":"0","key":"ref12"},{"journal-title":"Prolog Children and Students Kogan-Page","year":"1988","author":"nichol","key":"ref13"},{"journal-title":"The XSB System Version 2 0 Programmer's Manual","year":"1999","author":"sagonas","key":"ref14"},{"journal-title":"Planning and Conducting Formative Evaluations Kogan-Page","year":"1993","author":"tessmer","key":"ref15"},{"journal-title":"PROLOG Programming for Artificial Intelligence","year":"1986","author":"bratko","key":"ref4"},{"journal-title":"Concurrency Control and Recovery in Database Systems","year":"1987","author":"bernstein","key":"ref3"},{"journal-title":"CGIHTML","year":"0","key":"ref6"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"954","DOI":"10.1109\/32.92915","article-title":"On rigorous transaction scheduling","volume":"17","author":"briebart","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"journal-title":"Abstract State Machines - Theory and Applications","year":"2000","key":"ref8"},{"journal-title":"Yajxb website","year":"0","author":"decker","key":"ref7"},{"key":"ref2","first-page":"174","article-title":"Proving properties of schedules","author":"barker","year":"1998","journal-title":"Proceedings of IEEE Knowledge and Data Engineering Workshop"},{"journal-title":"The Apache Software Foundation","year":"0","key":"ref1"},{"article-title":"The Conditions of Learning","year":"1970","author":"gagne","key":"ref9"}],"event":{"name":"ITCC 2003. International Conference on Information Technology: Coding and Computing","acronym":"ITCC-03","location":"Las Vegas, NV, USA"},"container-title":["Proceedings ITCC 2003. International Conference on Information Technology: Coding and Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8532\/26947\/01197499.pdf?arnumber=1197499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:02:07Z","timestamp":1497582127000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1197499\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/itcc.2003.1197499","relation":{},"subject":[]}}