897 search results - page 58 / 180 » Reuse, Validation and Verification of System Development Pro... |
VVEIS
2007
13 years 10 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
CSSE
2006
IEEE
13 years 9 months ago
2006
IEEE
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
ICDM
2003
IEEE
14 years 2 months ago
2003
IEEE
Clustering is an important technique for understanding and analysis of large multi-dimensional datasets in many scientific applications. Most of clustering research to date has be...
ICSE
2000
IEEE-ACM
14 years 15 days ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...