21490 search results - page 301 / 4298 » Business Process Modeling |
111
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
176
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Rapidly leveraging information analytics technologies to mine the mounting information in structured and unstructured forms, derive business insights and improve decision making i...
118
click to vote
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
103
click to vote
ECIS
2000
15 years 3 months ago
2000
Abstract-- Knowledge management is becoming a fashion in many organizations. This entails the danger that large investments in knowledge externalization are made with little short-...
111
Voted
ACMICEC
2008
ACM
15 years 4 months ago
2008
ACM
A local choreography describes how a business partner - from his perspective - interacts with other business partners. If local choreographies are developed in isolation, the loca...