2702 search results - page 179 / 541 » Practically Applicable Formal Methods |
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Kohonen self-organisation maps are a well know classification tool, commonly used in a wide variety of problems, but with limited applications in time series forecasting context....
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
114
click to vote
EUROCAST
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
INFOVIS
1999
IEEE
15 years 3 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
EGICE
2006
15 years 2 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...