4854 search results - page 275 / 971 » It's the Programming, Stupid |
159
Voted
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
Agility is an important requirement for successful organizations in periods of market turbulence and unpredictable socio-economic changes. Agility in a virtual enterprise depends ...
205
click to vote
ENTCS
2008
15 years 7 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
174
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A Prolog implementation of an In-lined Reference Monitoring system prototype for Adobe ActionScript Bytecode programs is presented. Prolog provides an elegant framework f...
190
click to vote
IH
2005
Springer
16 years 24 days ago
2005
Springer
We describe a dynamic software watermark embedded in the memory trace of an executing Java program. Our approach is a generalisation of the spread–transform watermarking techniqu...
189
click to vote
ADVIS
2004
Springer
16 years 21 days ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...