5757 search results - page 250 / 1152 » Dynamic Policy Programming |
192
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
190
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
186
click to vote
UAI
2004
15 years 8 months ago
2004
This paper describes a study of agent bidding strategies, assuming combinatorial valuations for complementary and substitutable goods, in three auction environments: sequential au...
180
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
170
click to vote
ACSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...