253 search results - page 38 / 51 » Interactive Deformation Using Modal Analysis with Constraint... |
ICSOC
2005
Springer
14 years 1 months ago
2005
Springer
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE1 ) syste...
ECEASST
2008
13 years 7 months ago
2008
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
CBSE
2005
Springer
14 years 1 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
BIOADIT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The responses of flexible bionetworks to extreme environmental changes were studied in several microorganisms. Gene and metabolic networks markedly changed with osmotic ...