 | |
  | |
| Searching ... |
| 0 % | ||
Books by Insup Lee
  | | Handbook of Real-Time and Embedded Systems(1st Edition) (Chapman & Hall/CRC Computer and Information Science Series) by Insup Lee, Sang H. Son, Sartaj Sahni Hardcover, 800 Pages, Published 2007 by Chapman And Hall/Crc ISBN-13: 978-1-58488-678-5, ISBN: 1-58488-678-1 "Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and Embedded Systems provides comprehensive coverage of the most advanced and timely topics in the field. The book focuses on several major areas ..." |
 | | Chapman and Hall/CRC Computer and Information Science Ser. Handbook of Real-Time and Embedded Systems by Insup Lee, Sang H. Son 800 Pages, Published 2007 by Crc Press ISBN-13: 978-1-4200-1174-6, ISBN: 1-4200-1174-X "In: J.L. Rosenfeld (ed.): Information Processing 74. Proc. of the IFIP Congress 74, Amsterdam, North Holland, 1974, 471–475. 33. D. Garlan, R. Allen, J. Ockerbloom. Architectural Mismatch: Why Reuse is so Hard. IEEE Software, pp. 17–26, November 1995. 34. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems 16(3): 872–923, 1994. 35. D.C. Luckham, J.L. Kenney, L.M. Augustin, J. Vera, D. Br ..." |
 | | Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, Gordon J. Pace, Grigore Roåu Paperback, 492 Pages, Published 2010 by Springer ISBN-13: 978-3-642-16611-2, ISBN: 3-642-16611-3 "This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime Veri?cation conference was a forum for researchers and industrial practitioners to present theories and tools for monitoring and anal- ing system(so ..." |
 | | Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science) by Insup Lee, Rajeev Alur Paperback, 378 Pages, Published 2003 by Springer ISBN-13: 978-3-540-20223-3, ISBN: 3-540-20223-4 "This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling a ..." |
 | | Lecture Notes in Computer Science Ser. Runtime Verification : First International Conference, Rv 2010, St. Julians, Malta, November 1-4, 2010. Proceedings by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann 492 Pages, Published 2010 by Springer ISBN-13: 978-3-642-16612-9, ISBN: 3-642-16612-1 "First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. ... More recently, forms of software fault tolerance have been explored under the names autonomic, recovery-oriented, failure-oblivious ... Even more recently, the term software health management (SHM) has emerged in the safety-critical systems community and we adopt that term here to ... In an SHM solution, error detection communicates the identity of ..." |
 | | Automated Technology for Verification and Analysis(1st Edition) 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan Paperback, Published 2008 by Springer ISBN-13: 978-3-540-88422-4, ISBN: 3-540-88422-X "This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, includin ..." |
 | | CONCUR '95 Concurrency Theory 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science) by Scott Smolka, Insup Lee Paperback, 553 Pages, Published 1995 by Springer ISBN-13: 978-3-540-60218-7, ISBN: 3-540-60218-6 "This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happen ..." |
 | | Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture ... / Programming and Software Engineering) by Sungdeok Cha, Moonzoo Kim, Mahesh Viswanathan, Jin-Young Choi, Editor-Insup Lee Paperback, 430 Pages, Published 2008 by Springer ISBN-13: 978-3-540-88386-9, ISBN: 3-540-88386-X |