8828 search results - page 1314 / 1766 » Formal methods in practice |
210
click to vote
ATAL
2005
Springer
16 years 18 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
152
Voted
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
The identification of mechanisms by which constraints on phenotypic variability are tuned in nature, and the implementation of these mechanisms in Evolutionary Algorithms (EAs) ca...
198
click to vote
FMCAD
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
212
click to vote
ICFCA
2004
Springer
16 years 13 days ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
200
click to vote
ICFCA
2004
Springer
16 years 13 days ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...