3595 search results - page 140 / 719 » Roles of Program Extension |
150
click to vote
AIIA
1997
Springer
15 years 8 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
154
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
106
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
132
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...
130
Voted
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...