116
click to vote
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
Appeared in: Harrie de Swart, editor. Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 1489, Springer, pages 232
114
Voted
STOC
1998
ACM
15 years 7 months ago
1998
ACM
141
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
195
click to vote
ISN
2000
Springer
15 years 7 months ago
2000
Springer
Network Control is currently carried out mainly by means of signalling protocols. Although these protocols are robust and facilitate standardisation, they present several drawback...