3362 search results - page 102 / 673 » A definition of subjective possibility |
172
click to vote
LAWEB
2003
IEEE
15 years 11 months ago
2003
IEEE
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
171
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
197
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
156
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we investigate the gap between auxiliary-input zero-knowledge (AIZK) and blackbox-simulation zero-knowledge (BSZK). It is an interesting open problem whether or not ...
179
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Existing sequence mining algorithms mostly focus on mining for subsequences. However, a large class of applications, such as biological DNA and protein motif mining, require effici...