Sciweavers

4731 search results - page 12 / 947
» Securing Interactive Programs
Sort
View
AGENTS
1999
Springer
13 years 11 months ago
An Adaptive Interactive Agent for Route Advice
Seth Rogers, Claude-Nicolas Fiechter, Pat Langley
IFIP
2009
Springer
13 years 5 months ago
A User Interface for a Game-Based Protocol Verification Tool
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
Peeter Laud, Ilja Tsahhirov
BIRTHDAY
2005
Springer
14 years 1 months ago
Towards MultiMedia Instruction in Safe and Secure Systems
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
Bernd Krieg-Brückner