关注
Yi Wei
Yi Wei
在 microsoft.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
Service-oriented computing and cloud computing: Challenges and opportunities
Y Wei, MB Blake
Internet Computing, IEEE 14 (6), 72-75, 2010
5612010
An operation-time simulation framework for UAV swarm configuration and mission planning
Y Wei, MB Blake, GR Madey
Procedia Computer Science 18, 1949-1958, 2013
1262013
Applying DDDAS principles to command, control and mission planning for UAV swarms
GR Madey, MB Blake, C Poellabauer, H Lu, RR McCune, Y Wei
Procedia Computer Science 9, 1177-1186, 2012
552012
Investigations of dddas for command and control of uav swarms with agent-based modeling
R McCune, R Purta, M Dobski, A Jaworski, G Madey, A Madey, Y Wei, ...
2013 Winter simulations conference (WSC), 1467-1478, 2013
462013
Agent-based simulation for uav swarm mission planning and execution
Y Wei, GR Madey, MB Blake
Proceedings of the Agent-Directed Simulation Symposium, 1-8, 2013
442013
A Functional Equivalence Verification Suite for High-Performance Scientific Computing
SF Siegel, TK Zirkel, Y Wei
Technical Report UDEL-CIS-2011/02, Department of Computer and Information …, 2011
34*2011
Proactive virtualized resource management for service workflows in the cloud
Y Wei, MB Blake
Computing 98, 523-538, 2016
312016
Adaptive service workflow configuration and agent-based virtual resource management in the cloud
Y Wei, MB Blake
2013 IEEE International Conference on Cloud Engineering (IC2E), 279-284, 2013
282013
Robots on the web
MB Blake, SL Remy, Y Wei, AM Howard
IEEE robotics & automation magazine 18 (2), 33-43, 2011
242011
Adaptive resource management for service workflows in cloud environments
Y Wei, MB Blake, I Saleh
2013 IEEE International Symposium on Parallel & Distributed Processing …, 2013
192013
An agent-based services framework with adaptive monitoring in cloud environments
Y Wei, MB Blake
2012 IEEE 21st International Workshop on Enabling Technologies …, 2012
132012
Shared service recommendations from requirement specifications: A hybrid syntactic and semantic toolkit
MB Blake, I Saleh, Y Wei, ID Schlesinger, A Yale-Loehr, X Liu
Information and Software Technology 57, 392-404, 2015
112015
Modeling energy-aware web services and application
P Bartalos, Y Wei, MB Blake, H Damgacioglu, I Saleh, N Celik
Journal of Network and Computer Applications 67, 86-98, 2016
102016
Decentralized resource coordination across service workflows in a cloud environment
Y Wei, MB Blake
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013
92013
Formal Methods for Data-Centric Web Services: From Model to Implementation
I Saleh, G Kulczycki, MB Blake, Y Wei
2013 IEEE 20th International Conference on Web Services, 332-339, 2013
62013
Static Detection of Implementation Errors Using Formal Code Specification
I Saleh, G Kulczycki, MB Blake, Y Wei
Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013
62013
Adaptive web services monitoring in cloud environments
Y Wei, MB Blake
International Journal of Web Portals (IJWP) 5 (1), 15-27, 2013
62013
Monitoring, configuration and resource management of service workflows in virtualized clusters and clouds
Y Wei
University of Notre Dame, 2013
12013
FORMAL METHODS FOR THE SPECIFICATION AND TESTING OF DATA-CENTRIC WEB SERVICES: A CASE STUDY
I Saleh, G KulczyckiŢ, MB Blake, Y Wei
Comparative Symbolic Execution for Unbounded Loops Using Loop Co-Invariants
SF Siegel, Y Wei, TK Zirkel
系统目前无法执行此操作,请稍后再试。
文章 1–20