523 search results - page 24 / 105 » A Formal Account of WS-BPEL |
139
click to vote
HT
2009
ACM
16 years 17 days 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...
129
click to vote
ICCD
2005
IEEE
16 years 3 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...
191
click to vote
TPHOL
2009
IEEE
16 years 21 days 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...
243
click to vote
LORI
2009
Springer
16 years 18 days 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...
163
click to vote
EGOV
2007
Springer
16 years 7 days 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...