102 search results - page 11 / 21 » Formal Method of Description Supporting Portfolio Assessment |
JSS
1998
14 years 9 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
ACJ
2002
14 years 10 months ago
2002
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
IJCAI
2007
14 years 11 months ago
2007
In the context of operative disruption management, decision support systems have to evaluate the typically manifold options of responding to disturbances: The temporal shift of ac...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
CATA
2003
14 years 11 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...