27 search results - page 4 / 6 » Verifying Information Flow Control over Unbounded Processes |
IPPS
2007
IEEE
14 years 8 days ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
CAISE
2004
Springer
13 years 11 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
RSP
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Heterogeneous object design is an active research area in recent years. The conventional CAD modeling approaches only provide geometry and topology of the object, but do not conta...
ACMICEC
2003
ACM
13 years 11 months ago
2003
ACM
In this paper we present a B2B integration project, which aims to augment the added value of services instead of improving efficiency by automating processes. This paper introduce...