Sciweavers

1774 search results - page 11 / 355
» Modeling Dynamic Component Interfaces
Sort
View
CAV
2010
Springer
214views Hardware» more  CAV 2010»
13 years 11 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
WSC
2004
13 years 9 months ago
Using XML and BOMs to Rapidly Compose Simulations and Simulation Environments
This paper explores the application of Base Object Models (BOMs), an emerging XML standard, for rapidly composing simulations and simulation environments. We examine how pattern c...
Paul Gustavson, Tram Chase
COMPSAC
2002
IEEE
14 years 18 days ago
The Architecture of a Dynamically Updatable, Component-Based System
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
Robert Pawel Bialek
OTM
2005
Springer
14 years 1 months ago
A Framework Supporting Dynamic Workflow Interoperation
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
Jaeyong Shim, Myungjae Kwak, Dongsoo Han
SIGSOFT
2005
ACM
14 years 8 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...