Table of Contents

• A dependency based framework for the evaluation of agent oriented methodologiesReza Basseda, Tannaz Alinaghi, Camellia Ghoroghi. 1-9 [doi]
• FPGA-based MIMO system for Wireless Sensor NetworkWael M. El-Medany. 1-5 [doi]
• Modeling the characteristics of system of systemsW. Clifton Baldwin, Brian J. Sauser. 1-6 [doi]
• Intelligent agent control using simple logic-based hierarchical planningHuy Pham, Qusay H. Mahmoud, Alexander Ferworn, Alireza Sadeghian. 1-5 [doi]
• Medium access for hybrid, large-scale wireless networks for missile defenseT. Owens Walker III, Murali Tummala, John C. McEachen, J. Bret Michael. 1-5 [doi]
• Verification of temporal requirements of complex systems using UML patterns, application to a railway control exampleMohamed Ghazel, Malek Masmoudi, Armand Toguyéni. 1-6 [doi]
• An integrated cyber security monitoring system using correlation-based techniquesQishi Wu, Denise Ferebee, Yunyue Lin, Dipankar Dasgupta. 1-6 [doi]
• A discrete event XML based system of systems hardware-in-the-loop simulation for robust threat detectionMatthew R. Hosking, Ferat Sahin. 1-6 [doi]
• TLtoSQL: Rapid post-mortem verification using temporal logic to SQL code generation in the Eclipse PDEDoron Drusinsky. 1-5 [doi]
• Data mining strategies and techniques for CRM systemsAbdullah S. Al-Mudimigh, Zahid Ullah, Farrukh Saleem. 1-5 [doi]
• A systems approach to governance in Maritime Transportation System of SystemsMo Mansouri, Alex Gorod, Thomas H. Wakeman, Brian J. Sauser. 1-6 [doi]
• A framework for a junior level design courseRene Arechiga, Aly I. El-Osery, Kevin Wedeward. 1-6 [doi]
• Self-organization of mobile devices networksJoseph Guadalupe Olascuaga-Cabrera, Emesto López-Mellado, Felix Ramos Corchado. 1-6 [doi]
• Path planning for a multiple robot systemScott R. Dearie, Kevin Wedeward. 1-6 [doi]
• Coordinated control of Distributed Generation to balance line powersKarina Muñoz-Ramos, Kevin Wedeward. 1-3 [doi]
• Human health monitoring system of systems by non-contacted senorsYutaka Hata, Syoji Kobashi, Hayato Yamaguchi, Osamu Ishikawa, Naoki Tsuchiya, Hiroshi Nakajima. 1-5 [doi]
• A hybrid fault diagnosis for a team of unmanned aerial vehiclesMani M. Tousi, Amir G. Aghdam, Khashayar Khorasani. 1-6 [doi]
• A simulation approach for the design of safety-relevant automotive multi-ECU systemsThomas Herpel, Reinhard German. 1-8 [doi]
• The verification and validation of software architecture for systems of systemsJames Bret Michael, Richard Riehle, Man-tak Shing. 1-6 [doi]
• Impact of programmatic system interdependencies on system-of-systems developmentMuharrem Mane, Daniel A. DeLaurentis. 1-6 [doi]
• The simulation of pressurized water reactor NPP physical processW. A. Ping, Xi Shi, Jie Zhao, L. C. Dichen, Yaowen Wu, Qingsheng Lei, D. C. Zhi. 1-6 [doi]
• Statechart based formal modeling of workflow processesMichael Schumann, James Bret Michael. 1-5 [doi]
• Extraction of memory colors using Bayesian NetworksMustafa I. Jaber, Eli Saber, Ferat Sahin. 1-6 [doi]
• Systems of Systems Communication for heterogeneous independent operable systemsKranthimanoj Nagothu, Ted Shaneyfelt, Patrick Benavidez, Matthew A. Joordens, Anjan Kumar Ray, Mo Jamshidi. 1-6 [doi]
• Using RuleML to specify cross-domain information flow control policiesRandall J. Arvay, Duminda Wijesekera, James Bret Michael. 1-6 [doi]
• A system of systems approach to modeling and analysis of P2P overlays for WSNsS. Al-Shukri, Rathinasamy B. Lenin, Srinivasan Ramaswamy, A. Imperiale, Mhamed Itmi. 1-6 [doi]
• An evidence generation model for web servicesMurat Gunestas, Duminda Wijesekera, Ahmed Elkhodary. 1-6 [doi]
• A System of Systems approach to model an Artificial Immune System using Discrete Event SpecificationRyan Bowen, Ferat Sahin. 1-6 [doi]
• Software reuse in the IV&V of system of systemsThomas W. Otani, James Bret Michael, Man-tak Shing. 1-5 [doi]
• Obligations as constrainers, descriptors, and linkers of Open System of SystemsJ. Octavio Gutiérrez-García, Félix F. Ramos Corchado, Jean-Luc Koning. 1-6 [doi]
• Guarding the guard: Using meta formal specifications to guard assertionsDoron Drusinsky. 1-5 [doi]
• Wearable knee kinematics monitoring system of MARG sensor and pressure sensor systemsSyoji Kobashi, Yohei Tsumori, Seturo Imawaki, Shinichi Yoshiya, Yutaka Hata. 1-6 [doi]
• Optimizing social life using online friend networksSebastian Echegaray, Jafet Morales, Wenbin Luo. 1-5 [doi]
• Standards interoperability: Applying software safety assurance standards to the evolution of legacy softwareDesmond J. Meacham, James Bret Michael, Man-tak Shing, Jeffrey M. Voas. 1-8 [doi]
• Motion coordination of multi-agent formation of roversAnjan Kumar Ray, Patrick Benavidez, Laxmidhar Behera, Mo M. Jamshidi. 1-6 [doi]
• A physics of interdependence for human-robot-machine organizationsWilliam F. Lawless, Donald A. Sofge, G. K. Venayagamoorthy, Roger Hillson, C. P. Abubucker. 1-6 [doi]
• A Validation Metrics Framework for safety-critical software-intensive SystemsKristian John Cruickshank, James Bret Michael, Man-tak Shing. 1-8 [doi]
• Mobile agents formation control in 3D environments based on self organization strategiesMiguel A. Sanchez-Acevedo, Ernesto López-Mellado, Felix Ramos Corchado. 1-6 [doi]
• System of systems complexity identification and controlJoseph J. Simpson, Mary J. Simpson. 1-6 [doi]