Sciweavers

253 search results - page 38 / 51
» Interactive Deformation Using Modal Analysis with Constraint...
Sort
View
122
Voted
ICSOC
2005
Springer
15 years 9 months ago
Demonstrating Dynamic Configuration and Execution of Web Processes
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...
Karthik Gomadam, Kunal Verma, Amit P. Sheth, John ...
111
Voted
ECEASST
2008
75views more  ECEASST 2008»
15 years 3 months ago
Extended OCL for Goal Monitoring
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
William N. Robinson
146
Voted
CBSE
2005
Springer
15 years 9 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
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 ...
Zonghua Gu, Zhimin He
129
Voted
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
15 years 9 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
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 ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
132
Voted
BIOADIT
2004
Springer
15 years 9 months ago
Analysis of Responses of Complex Bionetworks to Changes in Environmental Conditions
Abstract. The responses of flexible bionetworks to extreme environmental changes were studied in several microorganisms. Gene and metabolic networks markedly changed with osmotic ...
Hiroshi Shimizu, Takashi Hirasawa, Keisuke Nagahis...