1516 search results - page 153 / 304 » Trends in Software Verification |
239
Voted
POPL
2008
ACM
16 years 3 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 ...
114
click to vote
WWW
2004
ACM
16 years 4 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...
134
Voted
COMPSAC
2007
IEEE
15 years 10 months 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 ...
122
Voted
SIGADA
2005
Springer
15 years 9 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...
114
Voted
ICAISC
2004
Springer
15 years 9 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 ...