5757 search results - page 51 / 1152 » Dynamic Policy Programming |
65
Voted
TISSEC
2008
15 years 14 days ago
2008
PERCOM
2010
ACM
14 years 11 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...
78
Voted
ANOR
2010
15 years 21 days 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 ...
149
click to vote
ESOP
2005
Springer
15 years 6 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 ...
141
Voted
MACE
2009
Springer
15 years 7 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...