1039 search results - page 63 / 208 » Using GXL for exchanging business process models |
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
JETAI
2007
14 years 11 months ago
2007
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
WSC
2004
15 years 1 months ago
2004
Computer-based business analysis relies on models, or algorithmic representations of the business process. Real-life business problems can become very complex, which creates diffi...
ELECTRONICMARKETS
2008
14 years 12 months ago
2008
The following paper presents results from a longitudinal study on the use of ICT for B2B-related business processes in large Swiss companies. In an empirical survey, 68 questionna...