1031 search results - page 93 / 207 » codes 2004 |
IH
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents an implementation of the novel watermarking method proposed by Venkatesan, Vazirani, and Sinha in their recent paper A Graph Theoretic Approach to Sof...
JELIA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
MICAI
2004
Springer
15 years 4 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...
RISE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. How can off-the-shelf editors be reused in applications that need mature editing support? We describe our editor multiplexer which enables interactive, application guided...
AGILEDC
2004
IEEE
15 years 2 months ago
2004
IEEE
In 2001 we started a new project at our company. Undermanned, short on time, and under the gun to succeed, we knew that we needed a process that would help us stay on track. Unfor...