1026 search results - page 127 / 206 » A Methodology for Equational Reasoning |
ICTAI
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we present a prediction process of the Stock Exchange of Thailand index using adaptive evolution strategies. The prediction process does not require the knowledge of...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
ICCBR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
LPAR
2005
Springer
14 years 2 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...