1318 search results - page 210 / 264 » The formal semantics of the timeER model |
105
click to vote
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
104
click to vote
IMPERIAL
1993
15 years 4 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
110
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
103
click to vote
DALT
2007
Springer
15 years 3 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
117
click to vote
CLIMA
2004
15 years 1 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...