1121 search results - page 157 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
100
click to vote
AIPS
2003
15 years 1 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
STEP
2005
IEEE
15 years 5 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
108
click to vote
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...