2232 search results - page 150 / 447 » Formal Modeling and Analysis of Organizations |
211
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
214
click to vote
CAISE
2010
Springer
15 years 1 months ago
2010
Springer
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
193
click to vote
FASE
2005
Springer
16 years 1 days ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
172
click to vote
ECIS
2001
15 years 8 months ago
2001
Australia has been at the forefront of the adoption of outsourcing as a means for delivering IT services, but the success of IT outsourcing in Australia has been mixed. With two h...
187
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...