1728 search results - page 168 / 346 » Formal Modeling of Process Migration |
129
click to vote
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
131
click to vote
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
125
click to vote
WSC
2004
15 years 4 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
131
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
142
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...