5843 search results - page 758 / 1169 » Software Security in Practice |
159
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
162
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
187
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
178
click to vote
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
153
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...