Sciweavers

4731 search results - page 12 / 947
» Securing Interactive Programs
Sort
View
128
Voted
AGENTS
1999
Springer
15 years 10 months ago
An Adaptive Interactive Agent for Route Advice
Seth Rogers, Claude-Nicolas Fiechter, Pat Langley
IFIP
2009
Springer
15 years 3 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
162
Voted
BIRTHDAY
2005
Springer
15 years 11 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