6757 search results - page 425 / 1352 » Knowledge Analysis on Process Models |
193
click to vote
AEI
2006
15 years 6 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
171
click to vote
GC
2004
Springer
16 years 6 days ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
151
click to vote
WSC
2008
15 years 9 months ago
2008
We formulate and evaluate distribution-free statistical process control (SPC) charts for monitoring an autocorrelated process when a training data set is used to estimate the marg...
221
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
196
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Correlation is often used to measure the similarity between signals and is an important tool in signal and image processing. In some applications it is common that signals are cor...