3420 search results - page 4 / 684 » A Language-Based Approach to Security |
HICSS
1997
IEEE
13 years 10 months ago
1997
IEEE
OOPSLA
2007
Springer
14 years 11 days ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...
SP
2005
IEEE
13 years 11 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
DSN
2002
IEEE
13 years 11 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
EUROPAR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Current multicore computers differ in many hardware aspects. Tuning parallel applications is indispensable to achieve best performance on a particular hardware platform....