Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers - Jackson, Ethan; Calinescu, Radu.; Monterey Workshop. 2010 : Redmond, USA) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Communication Networks; Computer system performance; Software engineering; Information storage and retrieval systems; Information systems; Artificial intelligence