Sciweavers

4914 search results - page 366 / 983
» Arbitration of a help system
Sort
View
DRM
2003
Springer
16 years 5 hour ago
Digital rights management in a 3G mobile phone and beyond
In this paper we examine how copyright protection of digital items can be securely managed in a 3G mobile phone and other devices. First, the basic concepts, strategies, and requi...
Thomas S. Messerges, Ezzat A. Dabbish
LISA
2007
15 years 9 months ago
Secure Isolation of Untrusted Legacy Applications
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
Shaya Potter, Jason Nieh, Matt Selsky
ATAL
2008
Springer
15 years 8 months ago
Towards a reliable air traffic control
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two "...
Minh Nguyen-Duc, Zahia Guessoum, Olivier Marin, Je...
JTRES
2010
ACM
15 years 7 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
SIGCSE
2008
ACM
140views Education» more  SIGCSE 2008»
15 years 6 months ago
Using iPodLinux in an introductory OS course
This paper describes a proof of concept for introducing iPods and iPodLinux into a one-semester introductory undergraduate operating systems course. iPodLinux is a version of the ...
Barry Lawson, Lewis Barnett