Sciweavers

2024 search results - page 287 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
128
Voted
APLAS
2004
ACM
15 years 9 months ago
A Relational Model for Object-Oriented Designs
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
110
Voted
DFT
2003
IEEE
145views VLSI» more  DFT 2003»
15 years 8 months ago
System-Level Analysis of Fault Effects in an Automotive Environment
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
Fulvio Corno, S. Tosato, P. Gabrielli
129
Voted
HAPTICS
2010
IEEE
15 years 7 months ago
Stability Analysis of Mobile Robot Teleoperation with Variable Force Feedback Gain
Abstract. We analyze the stability of previously proposed mobile robot teleoperation system [7]. Unlike to other approaches human-operator dynamics is included for the stability an...
Ildar Farkhatdinov, Jee-Hwan Ryu
ICAC
2009
IEEE
15 years 10 months ago
Applying genetic algorithms to decision making in autonomic computing systems
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
Andres J. Ramirez, David B. Knoester, Betty H. C. ...
ATAL
2005
Springer
15 years 9 months ago
Knowledge and social laws
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
Wiebe van der Hoek, Mark Roberts, Michael Wooldrid...