2673 search results - page 333 / 535 » Guided Static Analysis |
170
Voted
IJCIS
2006
15 years 5 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
147
Voted
IVS
2008
15 years 5 months ago
2008
Information visualization leverages the human visual system to support the process of sensemaking, in which information is collected, organized, and analyzed to generate knowledge...
132
click to vote
IPL
1998
15 years 4 months ago
1998
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
138
click to vote
TELSYS
2002
15 years 4 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
152
click to vote
PRL
2010
15 years 3 months ago
2010
— The concept of reversible conversion of color images to gray ones has been recently introduced. Colors are mapped to textures and from the textures the receiver can recover the...