30267 search results - page 46 / 6054 » Process Modelling Languages |
103
click to vote
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Flexibility of business processes requires a modeling language that can distinguish between the stable and flexible parts of a business process. Starting from a general model of bu...
114
Voted
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
EMNLP
2009
14 years 10 months ago
2009
We develop a general method to match unstructured text reviews to a structured list of objects. For this, we propose a language model for generating reviews that incorporates a de...
103
Voted
UML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
121
Voted
IFIP
1999
Springer
15 years 5 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...