2514 search results - page 20 / 503 » The use of industrial-strength formal methods |
131
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
121
Voted
AI
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a method to identify topics in email messages. The formal concept analysis is adopted as a semantic analysis method to group emails containing the same ke...
114
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In an earlier work, we proposed a novel phonetic segmentation method based on speech analysis under the Microcanonical Multiscale Formalism (MMF). The latter relies on the computa...
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
