8874 search results - page 1525 / 1775 » A New Implementation of Automath |
251
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
184
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
253
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
The web has become an important medium for news delivery and consumption. Fresh content about a variety of topics, events, and places is constantly being created and published on ...
196
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
The migration from desktop applications to Web-based services is scattering personal data across a myriad of Web sites, such as Google, Flickr, YouTube, and Amazon S3. This disper...
209
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...