-
1
-
-
79952401253
-
A unifying specification logic for cyber-physical systems
-
June 24-26, Tessaloniki, Greece
-
Bujorianu, M.C., and Bujorianu, M.L., 2009. A Unifying Specification Logic for Cyber-Physical Systems. Proceedings of the 17th Mediterranean Conference on Control and Automation, pp 1166-1171. June 24-26, Tessaloniki, Greece.
-
(2009)
Proceedings of the 17th Mediterranean Conference on Control and Automation
, pp. 1166-1171
-
-
Bujorianu, M.C.1
Bujorianu, M.L.2
-
2
-
-
73849141413
-
CloudSim: A novel framework for modeling and simulation of cloud computing infrastructures and services
-
others March 13, The University of Melbourne, Australia
-
Calheiros, R.N., Ranjan, R. and others., 2009. CloudSim: A Novel Framework for Modeling and Simulation of Cloud Computing Infrastructures and Services, Echnical Report, GRIDS-TR-2009-1, Grid Computing and Distributed Systems Laboratory, 9 pages. March 13, The University of Melbourne, Australia.
-
(2009)
Echnical Report, GRIDS-TR-2009-1, Grid Computing and Distributed Systems Laboratory
-
-
Calheiros, R.N.1
Ranjan, R.2
-
3
-
-
71849086888
-
CPS environments
-
October 16-17 Austin, TX
-
Campbell, R.H., Garnett, G. and McGrath, R.E., CPS Environments. NSF Workshop on Cyber-Physical Systems, October 16-17 Austin, TX.
-
NSF Workshop on Cyber-Physical Systems
-
-
Campbell, R.H.1
Garnett, G.2
McGrath, R.E.3
-
4
-
-
51849091527
-
Secure control: Towards survivable cyber-physical systems
-
June 17-20, Beijing, China
-
Cardenas, A.A., Amin, S., and Sastry, S., 2008. Secure Control: Towards Survivable Cyber-Physical Systems. Proceedings of ICDCS Workshops, pp. 495-500. June 17-20, Beijing, China.
-
(2008)
Proceedings of ICDCS Workshops
, pp. 495-500
-
-
Cardenas, A.A.1
Amin, S.2
Sastry, S.3
-
6
-
-
0037960295
-
Monitoring streams: A new class of data management applications
-
others August 20-23, China
-
Carney, D., Cetintemel, U. and others., 2002. Monitoring streams: a new class of data management applications. Proceedings of the 28th international conference on Very Large Data Bases, pp 215-226, August 20-23, China.
-
(2002)
Proceedings of the 28th International Conference on Very Large Data Bases
, pp. 215-226
-
-
Carney, D.1
Cetintemel, U.2
-
7
-
-
80052874434
-
A formal approach to deployment of robotic teams in an urban-like environment
-
Nov 1-3, Lausanne, Switzerland
-
Chen, Y., Ding, X.C., Stefanescu, A. and Belta, C., 2010. A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. Proceedings of 10th International Symposium on DARS, pp 14. Nov 1-3, Lausanne, Switzerland.
-
(2010)
Proceedings of 10th International Symposium on DARS
, pp. 14
-
-
Chen, Y.1
Ding, X.C.2
Stefanescu, A.3
Belta, C.4
-
8
-
-
84871290321
-
A stream-based communication framework for network control system
-
Oct 16-18, Yantai. China
-
Cheng, L., Wang, Z.J., 2010. A Stream-based Communication Framework for Network Control System, Proceedings of the CISP2010-BMEI2010, Vol 1, pp 2828-2833, Oct 16-18, Yantai. China.
-
(2010)
Proceedings of the CISP2010-BMEI2010
, vol.1
, pp. 2828-2833
-
-
Cheng, L.1
Wang, Z.J.2
-
9
-
-
76249123369
-
Buildng a distributed robot garden
-
others Oct 11-15, St. Louis. USA
-
Correll, N., Bolger, A., Bollini, M. and others., 2010. Buildng a Distributed Robot Garden. Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp 219-232. Oct 11-15, St. Louis. USA.
-
(2010)
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
, pp. 219-232
-
-
Correll, N.1
Bolger, A.2
Bollini, M.3
-
10
-
-
78751534019
-
Web of things framework for cyber-physical systems
-
Dillon, T., Zhuge, H., Wu, C. and Singh, J., 2011. Web of things framework for cyber-physical systems. Concurrency and Computation: Practice and Experience, 23 (9): 905-923.
-
(2011)
Concurrency and Computation: Practice and Experience
, vol.23
, Issue.9
, pp. 905-923
-
-
Dillon, T.1
Zhuge, H.2
Wu, C.3
Singh, J.4
-
11
-
-
77952817858
-
Compositional schedulability analysis for cyber-physical systems
-
Easwaran, A., Insup, L., 2008. Compositional schedulability analysis for cyber-physical systems. SIGBED Review, 5 (1): 11-12.
-
(2008)
SIGBED Review
, vol.5
, Issue.1
, pp. 11-12
-
-
Easwaran, A.1
Insup, L.2
-
12
-
-
78650269304
-
Shaping future service environments with the cloud and internet of things: Networking challenges and service evolution
-
Heidelberg: Springer Berlin
-
Gyu, L., Crespi, N., 2010. Shaping Future Service Environments with the Cloud and Internet of Things: Networking Challenges and Service Evolution, Leveraging Applications of Formal Methods, Verification, and Validation, Lecture Notes in Computer Science, 6415: 399-410, Heidelberg: Springer Berlin.
-
(2010)
Leveraging Applications of Formal Methods, Verification, and Validation, Lecture Notes in Computer Science
, vol.6415
, pp. 399-410
-
-
Gyu, L.1
Crespi, N.2
-
13
-
-
79959861785
-
Cyber-physical systems
-
(in Chinese version)
-
He, J.F., 2010. Cyber-physical Systems. China Computer Federation Comunication, 6 (1): 25-29. (in Chinese version)
-
(2010)
China Computer Federation Comunication
, vol.6
, Issue.1
, pp. 25-29
-
-
He, J.F.1
-
14
-
-
52349099245
-
Modeling future cyber-physical energy systems
-
July 20-24, Pittsburgh
-
Ilic, M.D., Xie, L. and Khan, A.U., 2008. Modeling Future Cyber-Physical Energy Systems. Proceedings of IEEE Power Engineering Society General Meeting, pp 1 - 9, July 20-24, Pittsburgh.
-
(2008)
Proceedings of IEEE Power Engineering Society General Meeting
, pp. 1-9
-
-
Ilic, M.D.1
Xie, L.2
Khan, A.U.3
-
15
-
-
77952535694
-
Autonomic computing technologies for cyber-physical systems
-
others February 7-10, South Korea
-
Ingeol, C., Jeongmin, P. and others., 2010. Autonomic Computing Technologies for Cyber-Physical Systems. Proceedings of International Conference on Advanced Communication Technology, ICACT, pp1009-1014. February 7-10, South Korea.
-
(2010)
Proceedings of International Conference on Advanced Communication Technology, ICACT
, pp. 1009-1014
-
-
Ingeol, C.1
Jeongmin, P.2
-
17
-
-
70349400264
-
Networked modeling & simulation platform based on concept of cloud computing - Cloud simulation platform
-
Li, B., Chai, X. and Hou, B., 2009. Networked Modeling & Simulation Platform Based on Concept of Cloud Computing - Cloud Simulation Platform. Journal of System Simulation, 21 (17): 5292-5299.
-
(2009)
Journal of System Simulation
, vol.21
, Issue.17
, pp. 5292-5299
-
-
Li, B.1
Chai, X.2
Hou, B.3
-
19
-
-
84870040507
-
Smart grids: Opportunities for climate change mitigation and adaptation
-
Lyster, R., 2010. Smart Grids: Opportunities for Climate Change Mitigation and Adaptation. Monash University Law Review, 36 (1):137-191
-
(2010)
Monash University Law Review
, vol.36
, Issue.1
, pp. 137-191
-
-
Lyster, R.1
-
20
-
-
84871290262
-
CPS: A sense of control from sensor networks to the network
-
(in Chinese version)
-
Ma, W.F., 2010. CPS: a sense of control from sensor networks to the network. China Computer Newspaper, 7: 25-27. (in Chinese version).
-
(2010)
China Computer Newspaper
, vol.7
, pp. 25-27
-
-
Ma, W.F.1
-
23
-
-
85093116188
-
Spatio-temporal event model for cyber-physical systems
-
others June 22-26, Montreal, Quebec, Canada
-
Tan, Y., Vuran, C. M., and others., 2009. Spatio-Temporal Event Model for Cyber-Physical Systems. Proceedings of 29th IEEE International Conference on Distributed Computing Systems Workshops, pp 44-50. June 22-26, Montreal, Quebec, Canada.
-
(2009)
Proceedings of 29th IEEE International Conference on Distributed Computing Systems Workshops
, pp. 44-50
-
-
Tan, Y.1
Vuran, C.M.2
-
24
-
-
77954618612
-
Automatic abstraction for verification of cyber-physical systems
-
April 13-15, New York, USA
-
Thacker, R.A., Myers, C.J. and Zheng, H., 2010. Automatic abstraction for verification of cyber-physical systems. Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems ACM, pp 12-21. April 13-15, New York, USA.
-
(2010)
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems ACM
, pp. 12-21
-
-
Thacker, R.A.1
Myers, C.J.2
Zheng, H.3
-
25
-
-
74549148439
-
VTrack: Accurate, energy-aware road traffic delay estimation using mobile phones
-
others November 30, Berkeley, CA
-
Thiagarajan, A., Ravindranath, L., LaCurts, K. and others., 2009. VTrack: Accurate, Energy-Aware Road Traffic Delay Estimation Using Mobile Phones. Proceedings of 14th ACM SenSys, pp 85-98. November 30, Berkeley, CA.
-
(2009)
Proceedings of 14th ACM SenSys
, pp. 85-98
-
-
Thiagarajan, A.1
Ravindranath, L.2
LaCurts, K.3
-
26
-
-
34748891125
-
E-networks in an increasingly volatile world: Design for resilience of networked critical infrastructures
-
Feb 21-23, Cairns, Australia
-
Ulieru, M., 2007. e-networks in an increasingly volatile world: Design for resilience of networked critical infrastructures, Proceedings of The Inaugural IEEE International Conference on Digital Ecosystems and Technologies - IEEE-DEST, pp 540-545. Feb 21-23, Cairns, Australia.
-
(2007)
Proceedings of the Inaugural IEEE International Conference on Digital Ecosystems and Technologies - IEEE-DEST
, pp. 540-545
-
-
Ulieru, M.1
-
27
-
-
85017313616
-
Cloud computing - Issues, research and implementations
-
Vouk, M.A., 2008. Cloud computing - Issues, research and implementations. Journal of Computing and Information Technology, Cloud Computing - Issues, Research and Implementations. - CIT, 16 (4):235-246.
-
(2008)
Journal of Computing and Information Technology, Cloud Computing - Issues, Research and Implementations. - CIT
, vol.16
, Issue.4
, pp. 235-246
-
-
Vouk, M.A.1
-
28
-
-
55349097880
-
Network QoS management in cyber-physical systems
-
others July 29-31, Chengdu
-
Xia, F., Ma, L.H. and others., 2008. Network QoS Management in Cyber-Physical Systems. Proceedings of International Conference on Embedded Software and Systems, pp 302-307. July 29-31, Chengdu.
-
(2008)
Proceedings of International Conference on Embedded Software and Systems
, pp. 302-307
-
-
Xia, F.1
Ma, L.H.2
-
29
-
-
77952835463
-
A petri net-based approach to aspect-oriented use case modeling
-
(in Chinese version)
-
Xiao, X., Yu, H.Q. and Fan, G.S., 2010. A Petri Net-Based Approach to Aspect-Oriented Use Case Modeling. East China University of Science and Technology: Natural Science, 35 (2): 248-254. (in Chinese version)
-
(2010)
East China University of Science and Technology: Natural Science
, vol.35
, Issue.2
, pp. 248-254
-
-
Xiao, X.1
Yu, H.Q.2
Fan, G.S.3
-
30
-
-
54349126713
-
Information fusion based smart home control system and its application
-
others
-
Zhang, L., Leung, Henry., and others. 2008. Information Fusion Based Smart Home Control System and Its Application, IEEE Transactions on Consumer Electronics 54:3, 1157-1165.
-
(2008)
IEEE Transactions on Consumer Electronics
, vol.54
, Issue.3
, pp. 1157-1165
-
-
Zhang, L.1
Leung, H.2
-
31
-
-
48349108219
-
Application of support vector machine classification to enhanced protection relay logic in electric power grids
-
October 10-12, Montreal. Canada
-
Zhang, Y., Ilic, M.D., Tonguz, O.F., 2007. Application of support vector machine classification to enhanced protection relay logic in electric power grids. Proceedings of Large Engineering Systems Conference on Power Engineering, pp.30-37. October 10-12, Montreal. Canada.
-
(2007)
Proceedings of Large Engineering Systems Conference on Power Engineering
, pp. 30-37
-
-
Zhang, Y.1
Ilic, M.D.2
Tonguz, O.F.3
-
32
-
-
77952314840
-
Research on theory and key technology of trusted computing platform security testing and evaluation
-
others
-
Zhang, H.G., Yan, F. and others., 2010. Research on theory and key technology of trusted computing platform security testing and evaluation. SCIENCE CHINA Information Sciences, 53 (3): 434-453.
-
(2010)
Science China Information Sciences
, vol.53
, Issue.3
, pp. 434-453
-
-
Zhang, H.G.1
Yan, F.2
-
34
-
-
74949084031
-
RoboEarth: Connecting robots worldwide
-
Nov.24-26, Seoul
-
Zweigle, O., Andrea, R., Haussermann, K., 2009. RoboEarth: connecting robots worldwide. Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, pp184-191, Nov.24-26, Seoul.
-
(2009)
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
, pp. 184-191
-
-
Zweigle, O.1
Andrea, R.2
Haussermann, K.3
|