290 search results - page 35 / 58 » The Formal Execution Semantics of SpecC |
EUROMICRO
1999
IEEE
15 years 1 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
EUROMICRO
2007
IEEE
14 years 11 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
DALT
2007
Springer
15 years 3 months ago
2007
Springer
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
ICTAC
2005
Springer
15 years 3 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...