7288 search results - page 224 / 1458 » On process rate semantics |
157
click to vote
APPINF
2003
15 years 8 months ago
2003
This paper presents an algorithm for recursive data processing in directed graphs. The proposed algorithm applies graph reduction in order to determine both starting points and a ...
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
158
click to vote
IJFCS
2007
15 years 6 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
120
click to vote
ENTCS
2002
15 years 6 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
168
click to vote
LDVF
2000
15 years 6 months ago
2000
We present preliminary considerations on the architecture of a CONCEPT processing system for robots. With the help of CONCEPTS cognitive robots will be able to structure their sen...