2562 search results - page 181 / 513 » The Use of B2B Process Standards: A Case Study |
194
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
173
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we propose a neural network model for predicting the durations of syllables. A four layer feedforward neural network trained with backpropagation algorithm is used ...
145
click to vote
ACL
2012
13 years 9 months ago
2012
We present a novel text exploration model, which extends the scope of state-of-the-art technologies by moving from standard concept-based exploration to statement-based exploratio...
185
click to vote
ICSE
2007
IEEE-ACM
16 years 22 days ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
193
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...