4731 search results - page 795 / 947 » Securing Interactive Programs |
182
click to vote
JAPLL
2010
15 years 4 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
161
click to vote
RFIDSEC
2010
15 years 4 months ago
2010
NFC is a standardised technology providing short-range RFID communication channels for mobile devices. Peer-to-peer applications for mobile devices are receiving increased interest...
171
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
196
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
173
click to vote
TLT
2010
15 years 4 months ago
2010
— A key design goal of mobile learning is that its built-in experiences are enjoyable and proactive, empowering the learner with the knowledge and ability to self-manage. This im...