5506 search results - page 501 / 1102 » Minimal Logic Programs |
179
click to vote
PDCN
2004
15 years 8 months ago
2004
Setuid programs are often exploited by malicious attackers to obtain unauthorized access to local systems. Setuid programs, especially owned by the root user, are granted root pri...
173
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
168
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custome...
183
click to vote
IPSN
2005
Springer
16 years 13 days ago
2005
Springer
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
166
click to vote
ISSRE
2003
IEEE
16 years 6 days ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...