Sciweavers

454 search results - page 41 / 91
» Design and Implementation of the Virtual Machine Constructin...
Sort
View
COOTS
1997
13 years 9 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small
ICALT
2006
IEEE
14 years 1 months ago
A Platform for CSCL Practice and Dissemination
CSCL practice and dissemination are problematic due to the lack of technical and pedagogical expertise, concrete training, and support for teachers. This paper describes a technol...
Jacques Lonchamp
EMSOFT
2004
Springer
14 years 1 months ago
Garbage collection for embedded systems
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
David F. Bacon, Perry Cheng, David Grove
ACSAC
2006
IEEE
14 years 1 months ago
Shamon: A System for Distributed Mandatory Access Control
We define and demonstrate an approach to securing distributed computation based on a shared reference monitor (Shamon) that enforces mandatory access control (MAC) policies acros...
Jonathan M. McCune, Trent Jaeger, Stefan Berger, R...
APSEC
2007
IEEE
14 years 2 months ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
Ke Jiang, Lei Zhang, Shigeru Miyake