6079 search results - page 464 / 1216 » Aspect-Oriented Process Engineering |
174
Voted
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
212
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Software Product Lines (SPL) processes are gradually being adopted by many companies in several domains. A particular domain where the adoption of such processes may bring relevan...
164
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
286
click to vote
VLSI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
156
click to vote
IWPC
2006
IEEE
16 years 26 days ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...