11168 search results - page 1949 / 2234 » Abstract State Processes |
153
click to vote
ATAL
2005
Springer
16 years 22 days 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...
212
click to vote
ATAL
2005
Springer
16 years 22 days 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...
224
click to vote
AVBPA
2005
Springer
16 years 22 days 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...
186
click to vote
BIRTHDAY
2005
Springer
16 years 22 days 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...
186
click to vote
BIRTHDAY
2005
Springer
16 years 22 days 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 ...