860 search results - page 53 / 172 » A Process Algebra Based Verification of a Production System |
152
click to vote
WECWIS
2005
IEEE
15 years 9 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...
129
Voted
PICS
2000
15 years 4 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...
113
Voted
FLAIRS
1998
15 years 4 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 ...
172
click to vote
DSRT
2008
IEEE
15 years 5 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...
159
click to vote
SIGSOFT
2002
ACM
16 years 4 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...