5757 search results - page 51 / 1152 » Dynamic Policy Programming |
80
Voted
TISSEC
2008
15 years 2 months ago
2008
90
Voted
PERCOM
2010
ACM
15 years 24 days 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...
ANOR
2010
15 years 2 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 ...
166
click to vote
ESOP
2005
Springer
15 years 8 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 ...
157
click to vote
MACE
2009
Springer
15 years 9 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...