9626 search results - page 1256 / 1926 » Invariant Based Programming |
182
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
201
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
174
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
In this paper, we study a novel problem of staring people discovery from social networks, which is concerned with finding people who are not only authoritative but also sociable i...
196
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Hierarchical topic taxonomies have proliferated on the World Wide Web [5, 18], and exploiting the output space decompositions they induce in automated classification systems is an...
218
click to vote
WWW
2007
ACM
16 years 8 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...