19130 search results - page 3422 / 3826 » Modelling multi-path problems |
154
click to vote
ECIS
2000
15 years 5 months ago
2000
The concept of context-dependent access control has emerged during the last years: Information about the state of a process model of a working environment is combined with general ...
144
click to vote
FIW
2000
15 years 5 months ago
2000
While Internet telephony aims to provide services at least equal to traditional telephony, the architecture of Internet telephony is sufficiently different to make it necessary to ...
126
click to vote
FORTE
2000
15 years 5 months ago
2000
The paper addresses the problem of test derivation from partially defined specifications. A specification is modeled by an Input/Output FSM such that transitions from some states ...
139
click to vote
ICMAS
2000
15 years 5 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
121
click to vote
ICMAS
2000
15 years 5 months ago
2000
Safe exchange is a key issue in multiagent systems, especially in electronic transactions where nondelivery is a major problem. In this paper we present a unified framework for mo...