2860 search results - page 327 / 572 » The Greenfoot Programming Environment |
173
click to vote
IWIA
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
165
click to vote
OOPSLA
2005
Springer
16 years 4 days 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...
170
click to vote
AUSAI
2005
Springer
16 years 3 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
160
click to vote
EUROPAR
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We describe how the ASSIST parallel programming environment can be used to run parallel programs on collections of heterogeneous workstations and evaluate the scalability...
157
click to vote
SIGADA
2004
Springer
16 years 7 hour ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...