5962 search results - page 930 / 1193 » Working with Patterns and Code |
141
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
The Web Mashup Scripting Language (WMSL) enables an enduser ("you") working from his browser, e.g. not needing any other infrastructure, to quickly write mashups that in...
229
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
267
Voted
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
134
Voted
KDD
2003
ACM
16 years 5 months ago
2003
ACM
Government regulations are semi-structured text documents that are often voluminous, heavily cross-referenced between provisions and even ambiguous. Multiple sources of regulation...
150
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
This paper focuses on an emerging model for software development in higher education: community source. Community source seeks to blend aspects of both open source and traditional...