6757 search results - page 126 / 1352 » Knowledge Analysis on Process Models |
131
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
130
click to vote
KBS
2000
15 years 4 months ago
2000
: In this paper we present an interaction-oriented approach to the process of designing a document for the end-user. We emphasize exchange between subjects and the subjects' r...
141
click to vote
ISPW
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
131
click to vote
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...
170
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
We describe a three-step algorithm for the analysis of color images of flames, with the objective of analyzing the combustion process and its control parameters indirectly. The al...