674 search results - page 24 / 135 » Toward Self-Stabilizing Operating Systems |
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
ISDA
2008
IEEE
15 years 4 months ago
2008
IEEE
This study is concerned with the application of multi-objective particle swarm optimization (MOPSO) approaches to the framework of collaborative fuzzy clustering. In particular, t...
SMC
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—This paper explores multi-operator supervisory control (MOSC) of multiple independent robots using two complementary approaches: a human factors experiment and an agent-...
VSTTE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
83
Voted
AH
2008
Springer
15 years 4 months ago
2008
Springer
End users of Adaptive Hypermedia Systems (AHS) receive an experience that has been tailored towards their specific needs. Several AHS have produced favourable results showing benef...