Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton,…
by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Amaral, José Nelson
fromLecture Notes in Computer Science
This book?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was?rst conceived. At that time, there was a belief that pr…
Architecting Dependable Systems V
by Hutchison, David, Gacek, Cristina, Giandomenico, Felicita, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Lemos, Rogério, Mattern, Friedemann, Mitchell, John C., Muccini, Henry, Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Vieira, Marlon, Weikum, Gerhard
fromLecture Notes in Computer Science
Architecting Dependable Systems V
by Hutchison, David, Gacek, Cristina, Giandomenico, Felicita, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Lemos, Rogério, Mattern, Friedemann, Mitchell, John C., Muccini, Henry, Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Vieira, Marlon, Weikum, Gerhard
fromLecture Notes in Computer Science
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectu…
The three-volume set LNCS 8016, 8017, and 8018 constitutes the refereed proceedings of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, NV, USA in July 2013. The total of 1666 papers and 303 posters presented at the HCII 2013 confere…