Scalable Emulation of Enterprise Systems
暂无分享,去创建一个
[1] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[2] Beng-Hong Lim,et al. Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor , 2001, USENIX Annual Technical Conference, General Track.
[3] Gerardo Canfora,et al. Testing services and service-centric systems: challenges and opportunities , 2006, IT Professional.
[4] Gregor von Bochmann,et al. Formal Methods in Communication Protocol Design , 1980, IEEE Trans. Commun..
[5] Sudipto Ghosh,et al. Issues in Testing Distributed Component-Based Systems , 1999 .
[6] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[7] Jon Watson,et al. VirtualBox: bits and bytes masquerading as machines , 2008 .
[8] Marc Dacier,et al. ScriptGen: an automated script generation tool for Honeyd , 2005, 21st Annual Computer Security Applications Conference (ACSAC'05).
[9] Giovanni Denaro,et al. Early performance testing of distributed software applications , 2004, WOSP '04.
[10] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[11] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[12] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[13] Dejan Kostic,et al. Scalability and accuracy in a large-scale network emulator , 2002, CCRV.
[14] Davide Sangiorgi,et al. Communicating and Mobile Systems: the π-calculus, , 2000 .
[15] Deborah Estrin,et al. Advances in network simulation , 2000, Computer.
[16] Jim Sermersheim,et al. Lightweight Directory Access Protocol (LDAP): The Protocol , 2006, RFC.
[17] Tim Howes,et al. Lightweight Directory Access Protocol , 1995, RFC.