Abstract. Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be ...
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
Joseph C. Carnahan, Steven A. Policastro, Erin C. ...
The purpose of this research was to identify the factors in a wafer fabrication facility that significantly affect the cycle times of two main technologies that are currently in p...
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...