1541 search results - page 239 / 309 » Interaction Analysis in Aspect-Oriented Models |
CTRSA
2006
Springer
13 years 12 months ago
2006
Springer
Vaudenay recently proposed a message authentication protocol which is interactive and based on short authenticated strings (SAS). We study here SASbased non-interactive message aut...
ESCIENCE
2006
IEEE
13 years 12 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
ICRA
1995
IEEE
13 years 11 months ago
1995
IEEE
— Few robot tasks require as forceful an interaction with the world as excavation. In order to effectively plan its actions, our robot excavator requires a method that allows it ...
AUSDM
2008
Springer
13 years 10 months ago
2008
Springer
Exploratory data mining is fundamental to fostering an appreciation of complex datasets. For large and continuously growing datasets, such as obtained by regular sampling of an or...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...