2963 search results - page 370 / 593 » On the Integration of Web Modeling Languages |
217
click to vote
IS
2012
14 years 2 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
190
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
174
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
178
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Workflow technology plays a key role as an enabler in E-Commerce applications, such as supply chains. Until recently the major share of the attention of workflow systems researche...
181
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes user modelling in I-Help, a system to facilitate communication amongst learners. There are two I-Help components: Private and Public Discussions. In the Privat...