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 - Calinescu, Radu.; Jackson, Ethan; SpringerLink (Online service) (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; Computer Science; Software Engineering; Information Systems Applications (incl.Internet).; Information Storage and Retrieval; Computer Communication Networks; System Performance and Evaluation; Artificial Intelligence (incl. Robotics).