2905 search results - page 187 / 581 » Formal Memetic Algorithms |
110
click to vote
JCS
2007
15 years 19 days ago
2007
Distributed authorization takes into account several elements, including certificates that may be provided by non-local actors. While most trust management systems treat all asse...
113
Voted
COMCOM
1998
15 years 13 days ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
112
Voted
FOIKS
2010
Springer
14 years 10 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
109
click to vote
FORTE
2009
14 years 10 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
127
Voted
DOCENG
2010
ACM
14 years 10 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...