629 search results - page 59 / 126 » Business Process Integration: Method and Analysis |
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Today, valuable business information is increasingly stored as unstructured data (documents, emails, etc.). For example, documents exchanged between business partners capture info...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...
DOCENG
2008
ACM
13 years 10 months ago
2008
ACM
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
BMCBI
2008
13 years 8 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...