1102 search results - page 80 / 221 » Generalizing Updates: From Models to Programs |
101
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
110
click to vote
UIST
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
IRI
2007
IEEE
15 years 6 months ago
2007
IEEE
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
NIPS
1993
15 years 1 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...