1202 search results - page 153 / 241 » Sortings for Reactive Systems |
129
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper proposes a hybrid genetic algorithm for multiple sequence alignment. The algorithm evolves guide sequences and aligns input sequences based on the guide sequences. It a...
129
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
140
click to vote
ANTSW
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an ant-inspired algorithm for building a self-organizing information system of a Grid. Ant-inspired mobile agents travel the Grid through P2P (peer-to-peer) int...
125
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
167
click to vote
SBBD
2008
15 years 5 months ago
2008
Abstract Data mining algorithms have been recently applied to software repositories to help on the maintenance of evolving software systems. In the past, information about what cla...