691 search results - page 6 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
SAC
2009
ACM
14 years 1 months ago
2009
ACM
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
ECIS
2003
13 years 8 months ago
2003
Contemporary concepts such as Business Process Re-engineering and Process Innovation emphasize the importance of process-oriented management concepts as a businesses paradigm. Lar...
DATE
2003
IEEE
14 years 10 days ago
2003
IEEE
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
SPIN
1999
Springer
13 years 11 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
ENTCS
2006
13 years 7 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...