[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Lifting proof-relevant unification to higher dimensions
- 作者Cockx, Jesper; Devriese, Dominique
- 文件大小204.11KB
- 发表时间2017
- DOI10.1145/3018610.3018612
- 页码173-181
SONET: a network management viewpointHolter, R.F. · 1990
[IEEE NOMS '96 - IEEE Network Operations and Management Symposium - Kyoto, Japan (15-19 April 1996)] Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium - ODP viewpoints of management outsourcingDotti, F.L. · 1996
[IEEE [NOMS '92 Network Without Bounds: IEEE 1992 Network Operations and Management Symposium - Memphis, TN, USA (1992)] [Proceedings] NOMS '92 Network Without Bounds: IEEE 1992 Network Operations and Management Symposium - Operating Company's ViewpointsYamaguchi, H. · 1992
An optimal delay management algorithm from passengers’ viewpoints considering the whole railway networkSatoshi Kanai; Koichi Shiina; Shingo Harada; Norio Tomii · 2011
[IEEE NOMS 98 1998 IEEE Network Operations and Management Symposium - New Orleans, LA, USA (15-20 Feb. 1998)] NOMS 98 1998 IEEE Network Operations and Management Symposium - Distributed applications management based on ODP viewpoint concepts and CORBANeumair, B. · 1998
Project network management: risks and contributors from the viewpoint of contractors and sub-contractorsHwang, Bon Gang; Ng, Han Boey · Technological and Economic Development of Economy · 2015
Analysing the behavioural intention of using telehomecare from a management viewpoint – an application of artificial neural networkHuang, Jui Chen · International Journal of Computer Applications in Technology · 2009
PersonaBaden, Randy; Bender, Adam; Spring, Neil; Bhattacharjee, Bobby; Starin, Daniel · ACM SIGCOMM Computer Communication Review · 2009
DevoFlowCurtis, Andrew R.; Mogul, Jeffrey C.; Tourrilhes, Jean; Yalagandula, Praveen; Sharma, Puneet; Banerjee, Sujata · ACM SIGCOMM Computer Communication Review · 2011
HeliosFarrington, Nathan; Porter, George; Radhakrishnan, Sivasankar; Bazzaz, Hamid Hajabdolali; Subramanya, Vikram; Fainman, Yeshaiahu; Papen, George; Vahdat, Amin · ACM SIGCOMM Computer Communication Review · 2010
10 Networking PapersWetherall, David · ACM SIGCOMM Computer Communication Review · 2006
PicassoHong, Steven S.; Mehlman, Jeffrey; Katti, Sachin · ACM SIGCOMM Computer Communication Review · 2012
ChordStoica, Ion; Morris, Robert; Karger, David; Kaashoek, M. Frans; Balakrishnan, Hari · ACM SIGCOMM Computer Communication Review · 2001
Resilient overlay networksAndersen, David; Balakrishnan, Hari; Kaashoek, Frans; Morris, Robert · ACM SIGCOMM Computer Communication Review · 2002
Wireless sensor networksElson, Jeremy; Römer, Kay · ACM SIGCOMM Computer Communication Review · 2003