1516 search results - page 153 / 304 » Trends in Software Verification |
278
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
138
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
We present a system that tries to automatically collect and monitor Japanese blog collections that include not only ones made with blog softwares but also ones written as normal w...
156
click to vote
COMPSAC
2007
IEEE
16 years 1 days ago
2007
IEEE
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...
143
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
141
click to vote
ICAISC
2004
Springer
15 years 11 months ago
2004
Springer
The advent of the Internet has strongly influenced modern software systems. Existing intranet solutions are being gradually replaced with www services available everywhere and at ...