2860 search results - page 319 / 572 » The Greenfoot Programming Environment |
171
click to vote
IWPC
2006
IEEE
16 years 20 days ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
155
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
167
click to vote
SBACPAD
2003
IEEE
15 years 12 months ago
2003
IEEE
Collective communication is very useful for parallel applications, especially those in which matrix and vector data structures need to be manipulated by a group of processes. This...
150
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Recovering architectural documentation from code is crucial to maintaining and reengineering software systems. Reverse engineering and program understanding approaches are often l...
130
click to vote
EOR
2002
15 years 6 months ago
2002
We develop a multicriteria approach to the problem of space heating under a time varying price of electricity. In our dynamic goal programming model the goals are ideal temperatur...