32117 search results - page 5991 / 6424 » Design for Unanticipated Use.. |
205
click to vote
EUROPKI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
167
click to vote
FM
2005
Springer
16 years 9 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
199
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
188
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
173
click to vote
GFKL
2005
Springer
16 years 9 days ago
2005
Springer
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...