254 search results - page 50 / 51 » Is What You Write What You Get |
ENTCS
2006
13 years 6 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
JOT
2007
13 years 6 months ago
2007
All modern software development processes try to help project teams conduct their work. While there are some important differences between them, the commonalities are far greater ...
CHI
2011
ACM
12 years 10 months ago
2011
ACM
Categorization of online videos is often treated as a tag suggestion task; tags can be generated by individuals or by machine classification. In this paper, we suggest categoriza...
C5
2003
IEEE
13 years 11 months ago
2003
IEEE
SuperSwiki is a not yet well defined term. Its origins go back to Ward Cunningham's Wiki and its Squeak variant, the Swiki. It provides a place to share and edit web pages, f...
FMSB
2008
13 years 7 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...