860 search results - page 62 / 172 » A Process Algebra Based Verification of a Production System |
UTP
2010
13 years 6 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
FGR
2008
IEEE
14 years 3 months ago
2008
IEEE
Facial expressions are part of emotional reactions. However, humans can voluntarily pose a specific emotional expression without having the corresponding underlying feeling, or vo...
WWW
2011
ACM
13 years 4 months ago
2011
ACM
Most product search engines today build on models of relevance devised for information retrieval. However, the decision mechanism that underlies the process of buying a product is...
RECSYS
2010
ACM
13 years 9 months ago
2010
ACM
Recommender systems have emerged as an effective decision tool to help users more easily and quickly find products that they prefer, especially in e-commerce environments. However...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...