1150 search results - page 46 / 230 » Specifying Information-Flow Controls |
AICCSA
2001
IEEE
14 years 28 days ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
ACSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
TOG
2008
13 years 9 months ago
2008
Clouds play an important role for creating realistic images of outdoor scenes. In order to generate realistic clouds, many methods have been developed for modeling and animating c...
CIS
2007
Springer
14 years 3 months ago
2007
Springer
— Privacy is the claim of individuals, groups and institutions to determine for themselves, when, how and to what extent information about them is communicated to others. How to ...