4737 search results - page 754 / 948 » The LOGIC negotiation model |
191
click to vote
CADE
2004
Springer
16 years 17 days ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
206
click to vote
DEXA
2004
Springer
16 years 16 days ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
170
click to vote
ECAI
2004
Springer
16 years 16 days ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
183
click to vote
ESORICS
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
190
click to vote
IFIP
2004
Springer
16 years 16 days ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...