860 search results - page 53 / 172 » A Process Algebra Based Verification of a Production System |
WECWIS
2005
IEEE
14 years 2 months ago
2005
IEEE
Recommender systems are a powerful tool for promoting sales in electronic commerce. An effective shopping recommender system can help boost the retailer’s sales by reminding cus...
PICS
2000
13 years 10 months ago
2000
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...
FLAIRS
1998
13 years 10 months ago
1998
Manyindustrial processes involve makingparts with an assemblyof machines, where each machinecarries out an operation on a part, and the finished product requires a wholeseries of ...
DSRT
2008
IEEE
13 years 10 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
SIGSOFT
2002
ACM
14 years 9 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...