523 search results - page 16 / 105 » A Formal Account of WS-BPEL |
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
CD++ is an implementation of the Cell-DEVS formalism, which has been used to simulate various complex systems. In this study, we constructed a Cell-DEVS to simulate the dynamics of...
ISSS
2000
IEEE
14 years 25 days ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
INLG
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
INFOVIS
1999
IEEE
14 years 22 days ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...