523 search results - page 24 / 105 » A Formal Account of WS-BPEL |
HT
2009
ACM
14 years 3 months ago
2009
ACM
Annals and chronicles may be the foundation of accounting, but writers of stories and histories have long known that they seldom render a satisfactory account of complex events. I...
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
The formal analysis of parallelism and pipelining is performed on an 8-bit Add-Compare-Select element of a Viterbi decoder. The results are quantified through a study of the delay...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
LORI
2009
Springer
14 years 3 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
EGOV
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a quality ontology that formalizes all the needed knowledge for the realization of a multi-perspective and adaptive evaluation of e-government services. Differe...