58 search results - page 3 / 12 » fuin 2008 |
FUIN
2008
13 years 5 months ago
2008
A few years ago a nice criterion of Martin-L
FUIN
2008
13 years 5 months ago
2008
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long
FUIN
2008
13 years 5 months ago
2008
The paper concerns the problem of predicting behaviour of web users, based on real historical data which constitutes an important issue in web mining. The research reported here wa...
FUIN
2008
13 years 5 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
FUIN
2008
13 years 5 months ago
2008
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...