2947 search results - page 368 / 590 » Analyzing Program Analyses |
160
click to vote
ATMOS
2007
15 years 8 months ago
2007
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
181
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we recast the formalism of argumentation formalism known as DeLP (Defeasible Logic Programming) in game-theoretic terms. By considering a game between a Pro...
169
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...
198
click to vote
ACSW
2004
15 years 7 months ago
2004
Software protection via obscurity is now considered fundamental for securing software systems. This paper proposes a framework for obfuscating the program interpretation instead o...
223
click to vote
CHI
2008
ACM
15 years 7 months ago
2008
ACM
Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. With...