{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:29:44Z","timestamp":1729654184941,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isads.2003.1193940","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T15:41:06Z","timestamp":1061998866000},"page":"125-130","source":"Crossref","is-referenced-by-count":1,"title":["Predicting timeliness of reactive systems under flexible scheduling"],"prefix":"10.1109","author":[{"given":"G.","family":"Bucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Fedeli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modeling and verification of time dependent systems using time petri nets","volume":"17","author":"diaz","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.489073","article-title":"Compositional validation of time-critical systems using communicating time petri nets","volume":"21","author":"vicario","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref13","first-page":"1036","article-title":"Recoverability of communication protocols","volume":"com 24","author":"farber","year":"1976","journal-title":"IEEE Transactions on Communications"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF01995673","article-title":"What is predictability for real time systems","volume":"2","author":"ramamritham","year":"1990","journal-title":"Journal of Real Time Systems"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0096-0551(91)90017-4","article-title":"Flex: Towards flexible real-time programs","volume":"16","author":"natarajan","year":"1991","journal-title":"Computer Languages"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1109\/12.57057","article-title":"Scheduling periodic jobs that allow imprecise results","volume":"39","author":"lin","year":"1990","journal-title":"IEEE Transactions on Computers"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1109\/32.585499","article-title":"Algoritms for scheduling real-time tasks with input error and end-to-end deadlines","volume":"23","author":"liu","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1109\/12.372040","article-title":"Algoritms for scheduling imprecise computations with timing constraints to minimize maximum error","volume":"44","author":"liu","year":"1995","journal-title":"IEEE Transactions on Computers"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/2.76288","article-title":"Building flexible realtime systems using the flex language","volume":"24","author":"kwei-jay","year":"1991","journal-title":"IEEE Computer"},{"key":"ref1","article-title":"Expressing and maintaining constraints with flex","author":"natarajan","year":"1988","journal-title":"Proceedings of Real-Time Systems Symposium"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1109\/12.990127","article-title":"Elastic scheduling for flexible word-load management","volume":"51","author":"caccomo-luca","year":"2002","journal-title":"IEEE Transactions on Computers"}],"event":{"name":"International Symposium on Autonous Decentralized Systems (ISADS 2003)","acronym":"ISADS-03","location":"Pisa, Italy"},"container-title":["The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8490\/26851\/01193940.pdf?arnumber=1193940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:09:15Z","timestamp":1497571755000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1193940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/isads.2003.1193940","relation":{},"subject":[]}}