[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - On semantics and refinement of uml statecharts: a coalgebraic view
- 作者Sun Meng, ; Zhang Naixiao, ; Barbosa, L.S.
- 文件大小515.07KB
- 发表时间2004
- DOI10.1109/sefm.2004.1347517
- 页码164-173
High performance cloud computingMauch, Viktor; Kunze, Marcel; Hillenbrand, Marius · Future Generation Computer Systems · 2013
Optimizing LZSS compression on GPGPUsOzsoy, Adnan; Swany, Martin; Chauhan, Arun · Future Generation Computer Systems · 2014
Automatic faceted navigationXu, Bei; Zhuge, Hai · Future Generation Computer Systems · 2014
Parallel processing of large graphsKajdanowicz, Tomasz; Kazienko, Przemyslaw; Indyk, Wojciech · Future Generation Computer Systems · 2014
EditorialRicci, Laura; Baraglia, Ranieri · Future Generation Computer Systems · 2013
ContentsFuture Generation Computer Systems · 2013
ContentsFuture Generation Computer Systems · 2014
Cryptography in Cloud ComputingDeng, Robert H.; Xiang, Yang; Au, Man Ho · Future Generation Computer Systems · 2014