This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...
Dawn K. Russell, Phillip A. Farrington, Sherri L. ...
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
Service Oriented Architectures are emerging as the recommended paradigm for developing dispersed escience environments. In this paper we analyze the characteristics and requiremen...
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...