258 search results - page 38 / 52 » WofBPEL: A Tool for Automated Analysis of BPEL Processes |
ICCS
2003
Springer
14 years 24 days ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...
DOCENG
2010
ACM
13 years 8 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
BMCBI
2005
13 years 7 months ago
2005
Backgorund: The completion of the Human Genome Project has resulted in large quantities of biological data which are proving difficult to manage and integrate effectively. There i...