4737 search results - page 180 / 948 » The LOGIC negotiation model |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
LICS
2005
IEEE
14 years 3 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...
ITRUST
2005
Springer
14 years 3 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...
FORMATS
2004
Springer
14 years 3 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...