15754 search results - page 537 / 3151 » Programs are Knowledge Bases |
184
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
155
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
156
click to vote
PDCAT
2004
Springer
16 years 13 days ago
2004
Springer
There are many situations in which it is desirable to protect a piece of software from illegitimate tampering once it gets distributed to the users. Protecting the software code me...
198
click to vote
MEMOCODE
2003
IEEE
16 years 10 days ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
205
click to vote
CPAIOR
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...