10038 search results - page 597 / 2008 » Model Checking for Managers |
183
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
Modeling is now an essential ingredient in business process management and information systems development. The general usefulness of models in these areas is therefore generally ...
204
click to vote
TIME
2009
IEEE
16 years 2 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
187
click to vote
CGI
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...
240
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we visit the problem of the management of inconsistencies emerging on ETL processes as results of evolution operations g at their sources. We abstract Extract-Transf...
172
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...