10038 search results - page 1607 / 2008 » Model Checking for Managers |
160
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a proposal for integrating in a single CORBA middleware platform two important OMG specifications: FTCORBA, which provides fault-tolerance support for CORBA obj...
180
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Previous workflow mining works have concentrated their efforts on process behavioral aspects. Although powerful, these proposals are found lacking in functionalities and performanc...
150
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
144
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
A measure for the quality of software is the extent to which it corresponds to the business objectives and requirements it was designed for. The earlier those who elicit the requir...
185
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Recently, enterprise interoperability has been improved by the Web Service technology, making available an ever-growing number of services. Service discovery is considered a crucia...