2257 search results - page 268 / 452 » Secure program partitioning |
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
ADHOCNETS
2009
Springer
14 years 3 months ago
2009
Springer
Mobile ad hoc networks (MANETs) are a highly promising new form of networking. However they are more vulnerable to attacks than wired networks. In addition, conventional intrusion ...
JAVA
1999
Springer
14 years 2 months ago
1999
Springer
Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway f...
HPCC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...