128 search results - page 6 / 26 » Forward Analysis of Depth-Bounded Processes |
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
EGOV
2009
Springer
13 years 11 months ago
2009
Springer
About fifteen years of e-government research (EGR) lead to a research field that is looking forward to define an identity as a proper and autonomous scientific discipline. This pap...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
We examine a few elementary cases of forward contracting and a process by which capacity contracts with energy strike prices can lead to incentives for enhanced competition. To mo...
TCS
2008
13 years 7 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...