10038 search results - page 582 / 2008 » Model Checking for Managers |
196
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
This paper comes back to the problem of coordination of cooperative activities with a Workflow management system. First, we describe the differences that we have noted between busi...
164
click to vote
FEWS
2007
15 years 8 months ago
2007
Many organizations face every day the problem of effectively managing their contacts (customers, suppliers, partners, etc.), in terms of communication, clustering, networking, ana...
197
click to vote
INTERACT
2003
15 years 8 months ago
2003
: The concept of Learning Objects has been introduced in the e-learning field to enhance the accessibility, reusability, and interoperability of learning content. Despite intensive...
194
click to vote
JCP
2008
15 years 7 months ago
2008
In a fast changing market environment the task of reducing the downtime for change management of business processes has high importance. Ensuring that IT reflects the updated busin...
234
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...