5326 search results - page 83 / 1066 » On what we can ensure |
146
click to vote
SUTC
2006
IEEE
16 years 8 days ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
130
click to vote
IAT
2005
IEEE
15 years 12 months ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
125
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce the concept of fruitful regions in a dynamic routing context: regions that have a high potential of generating loads to be transported. The objective is to m...
145
click to vote
WDAG
2000
Springer
15 years 9 months ago
2000
Springer
Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...
214
click to vote
ICCS
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. In knowledge bases, the open world assumption and the ability to express variables may lead to an answer redundancy problem. This problem occurs when the returned answers...