4211 search results - page 541 / 843 » A formal approach to MASQ |
161
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
177
click to vote
IAT
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
179
click to vote
ICECCS
2005
IEEE
16 years 10 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
153
click to vote
ICRA
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...
175
click to vote
IEEESCC
2005
IEEE
16 years 10 days ago
2005
IEEE
Currently, Grid technologies are widely used in largescale scientific applications. Grids support stateful interactions with explicit exposure of state information across the boun...