Sciweavers

398 search results - page 15 / 80
» Design and Implementation of Bytecode-based Java Slicing Sys...
Sort
View
FDL
2004
IEEE
14 years 5 days ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
SP
1998
IEEE
106views Security Privacy» more  SP 1998»
14 years 20 days ago
Understanding Java Stack Inspection
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
Dan S. Wallach, Edward W. Felten
NLPRS
2001
Springer
14 years 26 days ago
Design of a Generation Component for a Spoken Dialogue System
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...
Graham Wilcock, Kristiina Jokinen
SP
2000
IEEE
121views Security Privacy» more  SP 2000»
14 years 25 days ago
A Security Infrastructure for Distributed Java Applications
We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We ...
Dirk Balfanz, Drew Dean, Mike Spreitzer
CCS
2008
ACM
13 years 10 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...