5757 search results - page 51 / 1152 » Dynamic Policy Programming |
TISSEC
2008
15 years 4 months ago
2008
119
Voted
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
Abstract—Recently, researchers and engineers began considering the use of WSN in time-sensitive applications. For effective real-time communications, it is important to solve the...
109
click to vote
ANOR
2010
15 years 4 months ago
2010
Abstract In the controlled ovary hyperstimulation (COH) cycle of the in vitro fertilization-embryo transfer (IVFET) therapy, the clinicians observe the patients' responses to ...
191
Voted
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
181
click to vote
MACE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...