12487 search results - page 317 / 2498 » Graspable Work Modeling |
139
click to vote
ADVIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
144
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
An open challenge is to integrate XML and conceptual modeling in order to satisfy large-scale enterprise needs. Because enterprises typically have many data sources using differe...
133
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
Collaborative work requires, more than ever, access to data located on multiple autonomous and heterogeneous data sources. The development of these novel information platforms, ref...
131
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
The objective of the Ph.D. work discussed in this paper is to define a methodology for the design of distributed applications, in line with the ModelDriven Architecture (MDA). An i...
136
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...