882 search results - page 10 / 177 » Analysis of Composite Corridors |
DGO
2007
13 years 10 months ago
2007
Poster. We highlight the latest developments in the Argos project. First, we describe our approach to automatic workflow composition. Second, we discuss the validation of the fre...
ENTCS
2002
13 years 8 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
ALP
1994
Springer
14 years 21 days ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
ASWC
2006
Springer
14 years 10 days ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
CMSB
2006
Springer
14 years 9 days ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...