843 search results - page 77 / 169 » Codes and Projective Multisets |
IWPC
1997
IEEE
14 years 2 months ago
1997
IEEE
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...
ECLIPSE
2007
ACM
14 years 1 months ago
2007
ACM
This paper presents a code-revision history collection and visualization Eclipse plugin for use in empirical studies of programmers. The revision history is collected non-intrusiv...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG [2]. Th...
CASCON
2006
13 years 11 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
SDL
2001
13 years 11 months ago
2001
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...