Walter Truszkowski

According to our database1, Walter Truszkowski authored at least 55 papers between 1986 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2012
You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems.
Proceedings of the Conquering Complexity, 2012

2010
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-1-84628-233-1, 2010

2009
Introduction: Enhancing Intelligence in Aerospace Systems.
JACIC, 2009

2008
AAAI Fall Symposium Reports.
AI Magazine, 2008

You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

2007
Semantic Web: Concepts, Technologies and Applications
NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-1-84628-710-7, 2007

Bionic autonomic nervous system and self-healing for NASA ANTS-like missions.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Preface.
Proceedings of the Regarding the Intelligence in Distributed Intelligent Systems, 2007

2006
Experiences applying formal approaches in the development of swarm-based space exploration systems.
STTT, 2006

Next generation system and software architectures: Challenges from future NASA exploration missions.
Sci. Comput. Program., 2006

2005
You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems.
Transactions of the SDPS, 2005

Progressive autonomy: a method for gradually introducing autonomy into space missions.
ISSE, 2005

Agent Modeling of Tetrahedron-Based Structures.
Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005

Agent-Mediated Pro-active Web-Sites.
Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005

Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Progressive Autonomy - An Incremental Agent-based Approach.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Self*- Properties in NASA Mission.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Autonomous and Autonomic Swarms.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Towards an Autonomic Cluster Management System (ACMS) with Reflex Autonomicity.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Verifying Large Numbers of Cooperating Adaptive Agents.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Towards Autonomic Management of NASA Missions.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Challenges of Developing New Classes of NASA Self-Managing Missions.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Autonomicity of NASA Missions.
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005

Towards Formal Specification and Generation of Autonomic Policies.
Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005

Autonomic Cluster Management System (ACMS): A Demonstration of Autonomic Principles at Work.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004
NASA's Swarm Missions: The Challenge of Building Autonomous Software.
IT Professional, 2004

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Formal Methods for Autonomic and Swarm-based Systems.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Verification of Nasa Emergent Systems.
Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Verification of NASA Emergent Systems.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

Interaction and Communication of Agents in Networks and Language Complexity Estimates.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Asteroid Exploration with Autonomic Systems.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Verification of Emergent Behaviors in Swarm-based Systems.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2003
Formal Approaches to Intelligent Swarms.
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Towards Cyber Communities.
Proceedings of the International Conference on Communications in Computing, 2003

Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems.
Proceedings of the Agent Mediated Knowledge Management, 2003

2002
Ontology negotiation between intelligent information agents.
Knowledge Eng. Review, 2002

An Approach to Knowledge Exchange and Sharing between Agents.
Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

Ontology Negotiation: How Agents Can Really Get to Know Each Other.
Proceedings of the Innovative Concepts for Agent-Based Systems, 2002

An Agent Community Supporting Orbit Determination.
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

Challenges Arising from Applications of Agent-Based System.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

2001
Ontology Negotiation between Scientific Archives.
Proceedings of the 13th International Conference on Scientific and Statistical Database Management, 2001

Ontology Negotiation Using JESS.
Proceedings of the ICEIS 2001, 2001

Autonomy for SOHO Ground Operations.
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

Ontology Negotiation as a Basis for Opportunistic Cooperation between Intelligent Information Agents.
Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

2000
Panel Discussion: Future Directions.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

A Cybernetic Approach to the Modeling of Agent Communities.
Proceedings of the Cooperative Information Agents IV, 2000

1999
Agent Technology from a NASA Perspective.
Proceedings of the Cooperative Information Agents III, Third International Workshop, 1999

Distributed Planning and Scheduling for Enhancing Spacecraft Autonomy.
Proceedings of the Third Annual Conference on Autonomous Agents, 1999

1995
An Agent Model in a Multiagent System Architecture for Automating Distributed Systems.
Proceedings of the First International Conference on Multiagent Systems, 1995

1991
A Learning-Based Software Engineering Environment for Reusing Design Knowledge.
International Journal of Software Engineering and Knowledge Engineering, 1991

A Learning-Based Software Engineering Environment.
Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

1986
Reference Model for DBMS Standardization, Database Architecture Framework Task Group (DAFTG) of the ANSI/X3/SPARC Database System Study Group.
SIGMOD Record, 1986


  Loading...