2257 search results - page 163 / 452 » Secure program partitioning |
137
click to vote
WSC
2004
15 years 6 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
132
click to vote
COMPSEC
2006
15 years 5 months ago
2006
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
137
click to vote
COREGRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
140
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
133
click to vote
HYBRID
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...