1728 search results - page 229 / 346 » Formal Modeling of Process Migration |
78
Voted
BPM
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
DEXAW
1997
IEEE
15 years 5 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
UML
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
103
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
68
Voted
EOR
2008
15 years 25 days ago
2008
The paper presents the author's partial and personal historical reconstruction of how decision theory is evolving to a decision aiding methodology. The presentation shows mai...