11168 search results - page 1949 / 2234 » Abstract State Processes |
71
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
121
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Overlay topology plays an important role in P2P systems. Topology serves as a basis for achieving functions such as routing, searching and information dissemination, and it has a m...
132
Voted
AVBPA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, the use of biometric systems in forensic applications is reviewed. Main differences between the aim of commercial biometric systems and forensic reporting...
109
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
87
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...