923 search results - page 72 / 185 » Proving the value of formal methods |
174
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
In this paper, we first define a difference measure between the old and new sequential patterns of stream data, which is proved to be a distance. Then we propose an experimental me...
132
click to vote
IROS
2006
IEEE
16 years 4 days ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...
168
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
219
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
208
click to vote
IEEEIAS
2009
IEEE
16 years 23 days ago
2009
IEEE
: Network security situation awareness (NSSA) is a hotspot in the network security research field, and it’s the perception, comprehension, and forecast of network security situat...