860 search results - page 80 / 172 » A Process Algebra Based Verification of a Production System |
COMPSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Commercial Scale-Out is a new research project at IBM Research. Its main goal is to investigate and develop technologies for the use of large scale parallelism in commercial appli...
BPM
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...
CCE
2006
13 years 9 months ago
2006
This paper describes the development of a real-time monitoring system for a batch process operated by Aroma and Fine Chemicals Limited. The process shares many similarities with o...
IDEAS
2006
IEEE
14 years 3 months ago
2006
IEEE
Collaborative Filtering (CF) Systems are gaining widespread acceptance in recommender systems and ecommerce applications. These systems combine information retrieval and data mini...