860 search results - page 109 / 172 » A Process Algebra Based Verification of a Production System |
EAAI
2006
13 years 9 months ago
2006
Throughout the history, the evolutions of the requirements for manufacturing equipments have depended on the changes in the customers' demands. Among the present trends in th...
ICNP
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
ASWSD
2006
Springer
14 years 23 days ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
SEUS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
ICTAI
2003
IEEE
14 years 2 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...