860 search results - page 80 / 172 » A Process Algebra Based Verification of a Production System |
139
Voted
COMPSAC
2005
IEEE
15 years 5 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...
98
Voted
IPPS
2007
IEEE
15 years 9 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...
134
Voted
BPM
2006
Springer
15 years 7 months 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...
130
Voted
CCE
2006
15 years 3 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...
120
Voted
IDEAS
2006
IEEE
15 years 9 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...