563 search results - page 29 / 113 » A Typing Scheme for Behavioural Models |
IJDSN
2006
13 years 8 months ago
2006
Security is a critical challenge for creating robust and reliable sensor networks. For example, routing attacks have the ability to disconnect a sensor network from its central ba...
ACISP
2008
Springer
14 years 3 months ago
2008
Springer
Abstract. We propose a new hybrid protocol for cryptographically secure biometric authentication. The main advantages of the proposed protocol over previous solutions can be summar...
AMR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Automatic structuring is one means to ease access to document collections, be it for organization or for exploration. Of even greater help would be a presentation that ad...
ALT
2004
Springer
14 years 5 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...