2005 search results - page 193 / 401 » Business Process Knowledge Modelling: Method and Tool |
132
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
160
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
148
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
156
click to vote
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
143
Voted
ICIAP
1997
ACM
15 years 7 months ago
1997
ACM
This paper presents methods for detection and reconstruction of `missing' data in image sequences which can be modelled using 3-dimensional autoregressive (3DAR) models. The ...