9989 search results - page 37 / 1998 » A CLP Approach to Modelling Systems |
122
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
123
Voted
WSC
2007
15 years 6 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
173
Voted
ESWS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
126
Voted
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
129
Voted
ISSE
2006
15 years 3 months ago
2006
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...