3865 search results - page 38 / 773 » From Bidirectionality to Alternation |
SACRYPT
1998
Springer
15 years 3 months ago
1998
Springer
In this paper, we present a simple method for generating random-based signatures when random number generators are either unavailable or of suspected quality (malicious or accident...
90
Voted
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
WSC
2007
15 years 2 months ago
2007
Computed Tomography (CT) is one of the fastest growing diagnostic imaging procedures. Rapid advances in imaging technologies in conjunction with their widening adoption are some o...
95
Voted
ANOR
2010
14 years 11 months ago
2010
We consider the linear classification method consisting of separating two sets of points in d-space by a hyperplane. We wish to determine the hyperplane which minimises the sum of...
INFORMATICALT
2000
14 years 11 months ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...