4178 search results - page 133 / 836 » Similarity Patterns in Language |
245
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
138
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
130
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
Collaborative work requires, more than ever, access to data located on multiple autonomous and heterogeneous data sources. The development of these novel information platforms, ref...
138
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by...
133
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
Existing array region representation techniques are sensitive to the complexity of array subscripts. In general, these techniques are very accurate and efficient for simple subscr...