3914 search results - page 76 / 783 » Automating SLA modeling |
127
Voted
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
120
click to vote
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
115
Voted
WSC
2007
15 years 4 months ago
2007
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....
121
click to vote
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
124
Voted
ECIS
2000
15 years 3 months ago
2000
Event-driven Process Chains (EPCs) have been helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts m...