2482 search results - page 315 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
111
click to vote
ECEASST
2008
15 years 2 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
103
Voted
JSW
2008
15 years 2 months ago
2008
A typical tabular business report contains a set of cells. The cells may contain raw numeric values, character labels, and formulas. This paper will present a bottom-up algorithm f...
176
click to vote
ICDE
2012
IEEE
13 years 4 months ago
2012
IEEE
—Motion sensing input devices like Microsoft’s Kinect offer an alternative to traditional computer input devices like keyboards and mouses. Daily new applications using this in...
107
click to vote
IWPC
1999
IEEE
15 years 6 months ago
1999
IEEE
For many years basic visualisation, based around simple boxes and lines, has been done in an attempt to be able to ease some of the cognitive overload caused by program comprehens...