4737 search results - page 180 / 948 » The LOGIC negotiation model |
CADE
2007
Springer
16 years 3 months ago
2007
Springer
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
142
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
112
Voted
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
130
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...