16206 search results - page 346 / 3242 » At Issue |
138
click to vote
CAISE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
150
click to vote
FMICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
147
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
156
click to vote
ICB
2007
Springer
16 years 26 days ago
2007
Springer
Although fingerprint verification systems reached a high degree of accuracy, it has been recently shown that they can be circumvented by “fake fingers”, namely, fingerprint ima...
166
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...