18 search results - page 1 / 4 » fsen 2009 |
88
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
95
Voted
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
116
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
136
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...