3742 search results - page 258 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
FORTE
2001
15 years 8 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
146
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We study the dynamics of information propagation in environments of low-overhead personal publishing, using a large collection of weblogs over time as our example domain. We chara...
147
click to vote
BPM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Despite that formal and informal quality aspects are of significant importance to business process modeling, there is only little empirical work reported on process mode...
180
click to vote
ROCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the field of Text Mining, a key phase in data preparation is concerned with the extraction of terms, i.e. collocation of words attached to specific concepts (e.g. Ph...
141
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...