2024 search results - page 133 / 405 » A Logic Based Approach for Dynamic Access Control |
152
Voted
P2P
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this paper we face the following problem: how to provide each peer local access to the full information (not just a summary) that is distributed over all edges of an overlay ...
125
Voted
CN
2004
15 years 3 months ago
2004
The Differentiated Services architecture targets at providing scalable network Quality of Service by means of aggregate scheduling. However, the defined framework itself only give...
138
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
116
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— The aim of this article is to achieve accurate visual servoing tasks when the shape of the object being observed as well as the final image are unknown. More precisely, we wan...
141
Voted
TCS
2008
15 years 3 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...