284 search results - page 6 / 57 » Quantifying process equivalence based on observed behavior |
CATS
2008
13 years 9 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
WSC
2004
13 years 8 months ago
2004
This paper presents a method for allocating production capacity among flexible and dedicated machines based on uncertain demand forecasts of products in a production portfolio. Gi...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
CVIU
2010
13 years 7 months ago
2010
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...