Juan Antonio Martin Checa

analysis soa interface architecture networks contextual embeddded oriented service esoa problems past present variability metamodels domain weaving sensor wireless wsn awsoa network agents ator wsan online meeting tool smartspeed design ui web taxonomy users interface web sites tactile future web services composition wsco optimizer model checking software model checker driven verification model strategies heuristic resolving scheduling heuristics solving algorithms sokoban challenge automatic trends theoretical applied ai bot kismet rodney brooke humanoid mit foundations approach