Sciweavers

6149 search results - page 463 / 1230
» Revealing the programming process
Sort
View
ESOP
2000
Springer
15 years 10 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
ICISC
2008
103views Cryptology» more  ICISC 2008»
15 years 8 months ago
Instruction Set Limitation in Support of Software Diversity
This paper proposes a novel technique, called instruction set limitation, to strengthen the resilience of software diversification against collusion attacks. Such attacks require a...
Bjorn De Sutter, Bertrand Anckaert, Jens Geiregat,...
PDCN
2004
15 years 8 months ago
CS_LITE: A lightweight computational steering system
Computational steering environments (CSEs) allow users to interact with applications executing in batch mode. Interaction with an application includes viewing intermediate results...
Silvia M. Figueira, Sonia Bui
WSC
1997
15 years 8 months ago
Using Response Surface Methodology to Link Force Structure Budgets to Campaign Objectives
Effective and timely execution of the Department of Defense’s (DoD) Program Objective Memorandum (POM) and Joint Warfare Capability Assessment (JWCA) process requires objective...
James B. Grier, T. Glenn Bailey, Jack A. Jackson
COMSIS
2010
15 years 4 months ago
Metrics for evaluation of metaprogram complexity
The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software de...
Robertas Damasevicius, Vytautas Stuikys