2673 search results - page 384 / 535 » Guided Static Analysis |
180
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
The current research so far in aspect-oriented software development is focused on problem analysis, software design, and implementation techniques. Even though the importance of s...
111
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a technique for compressing test vectors. The technique reduces test application time and tester memory requirements by utilizing part of the predecessor response in co...
137
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Our “information-oriented” society shows an increasing exigency of life-long learning. In such framework, online Learning is becoming an important tool to allow the flexibilit...
126
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
103
click to vote
SIGDOC
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, I describe how I followed an end-to-end development process in the development of the user’s guide and help information for XML DITA, using scenarios to define my...