4726 search results - page 193 / 946 » Domain Modeling of Software Process Models |
103
click to vote
KIVS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
131
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
132
Voted
BIS
2006
15 years 3 months ago
2006
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, business processes are always evolving in cur...
149
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
110
Voted
ICWE
2003
Springer
15 years 7 months ago
2003
Springer
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...