Sciweavers

4281 search results - page 131 / 857
» How to Disembed a Program
Sort
View
ACSAC
2006
IEEE
15 years 6 months ago
Data Sandboxing: A Technique for Enforcing Confidentiality Policies
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...
Tejas Khatiwala, Raj Swaminathan, V. N. Venkatakri...
GECCO
2008
Springer
130views Optimization» more  GECCO 2008»
15 years 3 months ago
Parsimony pressure made easy
The parsimony pressure method is perhaps the simplest and most frequently used method to control bloat in genetic programming. In this paper we first reconsider the size evolutio...
Riccardo Poli, Nicholas Freitag McPhee
RIA
2007
123views more  RIA 2007»
15 years 1 months ago
Continuations pour la programmation de comportement d'agent
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...
Denis Jouvin
221
Voted

Book
252views
17 years 17 days ago
C++ GUI Programming with Qt 3
"The purpose of this book is to teach you how to write GUI programs using Qt 3."
Jasmin Blanchette, Mark Summerfield
137
Voted
ESOP
2006
Springer
15 years 6 months ago
Inference of User-Defined Type Qualifiers and Qualifier Rules
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
Brian Chin, Shane Markstrum, Todd D. Millstein, Je...