Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
Abstract. GREC’05 marked the 10th anniversary of the series of international workshops on graphics recognition, for which the first edition was held in Penn State in 1995. At th...
—The scale, heterogeneity and dynamism of Grid applications and environments require Grid applications to be self-managing or autonomic. This paper presents the Accord autonomic ...
Hua Liu, Viraj Bhat, Manish Parashar, Scott Klasky
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bone...
This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulat...