9626 search results - page 394 / 1926 » Invariant Based Programming |
202
click to vote
SPE
2002
15 years 6 months ago
2002
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
266
click to vote
PADL
2011
Springer
14 years 9 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
158
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
162
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Although various ideas for integrating Semantic Web and Agent Programming techniques have appeared in the literature, as yet no practical programming approach has managed...
147
click to vote
DRM
2007
Springer
16 years 27 days ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...