2043 search results - page 210 / 409 » Reasoning About Security Models |
157
click to vote
TIME
2007
IEEE
16 years 16 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
150
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
165
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
179
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider addition...
178
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...