523 search results - page 81 / 105 » A Formal Account of WS-BPEL |
MASCOTS
1996
13 years 9 months ago
1996
Formalisms based on stochastic Petri Nets (SPNs) can employ structural analysis to ensure that the underlying stochastic process is fully determined. The focus is on the detection...
ACL
1989
13 years 9 months ago
1989
This paper addresses issues that arose in applying the model for discourse entity (DE) generation in B. Webber's work (1978, 1983) to an interactive multimodal interface. Her...
ENTCS
2010
13 years 8 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...