most citedInquiring the Potential of Evoking Small-World Properties for Self-Organizing Communication Networks

9 citations

researchers with a paper here
collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

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…