4460 search results - page 143 / 892 » Resources in process algebra |
140
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
159
click to vote
FUIN
2007
15 years 6 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
149
click to vote
TCS
2008
15 years 6 months ago
2008
We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Key word...
180
click to vote
BIS
2007
15 years 7 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...
146
click to vote
CSJM
2008
15 years 6 months ago
2008
This article contains the information about the defining and analysis of some rules which will permit the automatic retrieving of the romanian prefixed formations and enriching th...