1821 search results - page 71 / 365 » Security-Aware Program Transformations |
109
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
173
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
110
Voted
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
We address the design and optimization of an energy-efficient lifting-based 2D transform for wireless sensor networks with irregular spatial sampling. The 2D transform is designe...
135
Voted
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
114
Voted
ICMLA
2010
15 years 4 days ago
2010
Abstract--We study how to effectively integrate reinforcement learning (RL) and programming languages via adaptation-based programming, where programs can include non-deterministic...