-
1
-
-
71849111185
-
-
CPS-Steering-Group, Mar. [Online]. Available
-
CPS-Steering-Group, "Cyber-physical systems - executive summary," Mar. 2008. [Online]. Available: http://varma.ece.cmu.edu/summit
-
(2008)
Cyber-physical Systems - Executive Summary
-
-
-
3
-
-
84865043784
-
Generic terms and definitions
-
ISO/TC, Document ISO/TC 176/SC 1 N 93
-
ISO/TC, "Quality concepts and terminology, part 1: Generic terms and definitions," Document ISO/TC 176/SC 1 N 93, 1992.
-
(1992)
Quality Concepts and Terminology
, Issue.PART 1
-
-
-
5
-
-
12344308304
-
Basic concepts and taxonomy of dependable and secure computing
-
A. Avizienis, J. C. Laprie, B. Randall, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," IEEE Transactions On Dependable And Secure Computing, vol. 1, pp. 11-33, 2004.
-
(2004)
IEEE Transactions on Dependable and Secure Computing
, vol.1
, pp. 11-33
-
-
Avizienis, A.1
Laprie, J.C.2
Randall, B.3
Landwehr, C.4
-
6
-
-
0002123712
-
Intelligent agents theories, architectures and languages
-
Springer-Verhalg
-
M. Wooldridge and N. Jennings, "Intelligent agents theories, architectures and languages," in Lecture Notes in Artificial Intelligence. Springer-Verhalg, 1995, vol. 890.
-
(1995)
Lecture Notes in Artificial Intelligence
, vol.890
-
-
Wooldridge, M.1
Jennings, N.2
-
8
-
-
77950551079
-
Towards integrated simulation of cyber-physical systems: A case study on intelligent water distribution
-
J. Lin, S. Sedigh, and A. Miller, "Towards integrated simulation of cyber-physical systems: A case study on intelligent water distribution," in Proceedings of 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, 2009, pp. 690-695.
-
Proceedings of 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, 2009
, pp. 690-695
-
-
Lin, J.1
Sedigh, S.2
Miller, A.3
-
11
-
-
2442534971
-
Developing,ultiagent systems: The gaia methodology
-
F. Zambonelli, N. Jennings, and M. Wooldridge, "Developing ,ultiagent systems: the gaia methodology," ACM Transactions on Software Engineering and Methodology, vol. 12, no. 3, pp. 317-370, 2003.
-
(2003)
ACM Transactions on Software Engineering and Methodology
, vol.12
, Issue.3
, pp. 317-370
-
-
Zambonelli, F.1
Jennings, N.2
Wooldridge, M.3
-
12
-
-
84899269026
-
From Requirements to Code with the PASSI Methodology
-
Idea Group, ch.
-
M. Cossentino, Agent-oriented Methodologies. Idea Group, 2005, ch. From Requirements to Code with the PASSI Methodology, pp. 79-100.
-
(2005)
Agent-oriented Methodologies
, pp. 79-100
-
-
Cossentino, M.1
-
13
-
-
84899210687
-
The INGENIAS Methodology and Tools
-
Idea Group, ch.
-
J. Pavon, J. J. Gomez-Sanz, and R. Fuentes, Agent-oriented Methodologies. Idea Group, 2005, ch. The INGENIAS Methodology and Tools, pp. 236-276.
-
(2005)
Agent-oriented Methodologies
, pp. 236-276
-
-
Pavon, J.1
Gomez-Sanz, J.J.2
Fuentes, R.3
-
14
-
-
51849163814
-
The MaSE Methodology
-
Springer US, ch.
-
S. A. DeLoach, Methodologies and Software Engineering for Agent Systems, Multiagent Systems, Artificial Societies and Simulated Organizations. Springer US, 2004, ch. The MaSE Methodology, pp. 107-125.
-
(2004)
Methodologies and Software Engineering for Agent Systems, Multiagent Systems, Artificial Societies and Simulated Organizations
, pp. 107-125
-
-
DeLoach, S.A.1
-
15
-
-
78049240578
-
Methodological development of a multi-agent system in the healthcare domain
-
D. Iser, C. Gomez-Alonso, and A. Moreno, "Methodological development of a multi-agent system in the healthcare domain," International Journal Communications of SIWN, vol. 3, 2008.
-
(2008)
International Journal Communications of SIWN
, vol.3
-
-
Iser, D.1
Gomez-Alonso, C.2
Moreno, A.3
-
16
-
-
38149059010
-
The ingenias methodology for advanced surveillance systems modelling
-
IWINAC 2007, Part II, J. Mira and J. Alvarez, Eds. Springer-Verlag Berlin Heidelberg
-
J. M. Gascuena and A. Fernandez-Caballero, "The ingenias methodology for advanced surveillance systems modelling," in IWINAC 2007, Part II, J. Mira and J. Alvarez, Eds. Springer-Verlag Berlin Heidelberg, 2007, vol. LNCS 4528, pp. 541-550.
-
(2007)
LNCS
, vol.4528
, pp. 541-550
-
-
Gascuena, J.M.1
Fernandez-Caballero, A.2
|