68 search results - page 14 / 14 » Model Checking of Security-Sensitive Business Processes |
BMCBI
2010
13 years 8 months ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
ESEC
1999
Springer
14 years 3 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...