10 search results - page 1 / 2 » cuza 2006 |
CUZA
2006
13 years 6 months ago
2006
CUZA
2002
13 years 6 months ago
2002
CUZA
2002
13 years 6 months ago
2002
This paper presents a theory of testing for processes calculi which have broadcast as basic communication primitive. Firstly, we justify the necessity of an alternative theory to b...
CUZA
2002
13 years 6 months ago
2002
In order for agent technology to fulfill its promise, it must be integrated with other existing technologies. In this paper we address one of the problems occurring in a real-world...
CUZA
2004
13 years 6 months ago
2004
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...