5203 search results - page 181 / 1041 » An approach to workflow modeling and analysis |
188
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
229
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Despite the extensive use of the agent technology in the Supply Chain Management field, its integration with Advanced Planning and Scheduling (APS) tools still represents a promis...
154
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
175
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
171
click to vote
ENDM
2000
15 years 6 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...