3145 search results - page 255 / 629 » Algebraic Linear Orderings |
165
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
190
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
164
Voted
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
157
click to vote
CSFW
2003
IEEE
16 years 1 days ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
166
click to vote
ASIAN
1999
Springer
15 years 11 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...