9 citations
2 papers
cs.SE2008★ 4 cited
A topological formal treatment for scenario-based software specification of concurrent real-time systems
Miriam C. B. Alves, Christine C. Dantas, Nanci N. Arai +1
Real-time systems are computing systems in which the meeting of their requirements is vital for their correctness. Consequently, if the real-time requirements of these systems are…
cs.NI2007★ 9 cited
Inquiring the Potential of Evoking Small-World Properties for Self-Organizing Communication Networks
Matthias R. Brust, Steffen Rothkugel, Carlos H. C. Ribeiro
Mobile multi-hop ad hoc networks allow establishing local groups of communicating devices in a self-organizing way. However, in a global setting such networks fail to work properly…