570 search results - page 92 / 114 » Robustness and Implementability of Timed Automata |
USENIX
2008
14 years 1 months ago
2008
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...
GECCO
2010
Springer
14 years 28 days ago
2010
Springer
Derandomization by means of mirroring has been recently introduced to enhance the performances of (1, λ)-EvolutionStrategies (ESs) with the aim of designing fast robust local sea...
ICWS
2010
IEEE
14 years 11 days ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
IAAI
2001
14 years 9 days ago
2001
For the last 10 years, airlines have widely supported research on the development of airspaces where aircraft would be free to decide their trajectory: these areas where called Fr...
USENIX
2001
14 years 8 days ago
2001
For most of its existence, Linux has been used primarily as a personal desktop operating system. Yet, in recent times, its use as a cost-efficient alternative to commercial operat...