9626 search results - page 1468 / 1926 » Invariant Based Programming |
175
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract-- This work deals with devising a secure, powerefficient, beam-steerable and on-chip transmission system for wireless sensor networks. A passively controllable smart (PCS)...
181
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
239
click to vote
AI
2011
Springer
15 years 2 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
196
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...
211
click to vote
IWMM
2011
Springer
14 years 9 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...