Abstract: High-assurance software has become a key goal in modern software development, especially in the design of embedded kernel systems and other fields where high reliability and security are ...
Abstract: With the rapid development of mobile Internet in recent years, a large scale of continuous arrival correlative data, namely dynamic streaming graph, are extensively generated in various ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results