- Explicit Modeling of Semantics Associated with Composite States in UML Statecharts1 Zhaoxia Hu and Sol M. Shatz
- Development of Class-Level and Instance-Level Design Models For Distributed-Object Software 1
- Component Based Multi-Agent System Modeling and Analysis: A Case Study1
- Flexible Coordinator Design for Modeling Resource Sharing in Multi-Agent Systems1
- SAMPLING SENSOR-FIELDS USING A MOBILE OBJECT: A BAND-BASED APPROACH FOR DIRECTIONAL BROADCAST OF SENSOR-DATA
- Applying a Nested Petri Net Modeling Paradigm to Coordination of Sensor Networks with Mobile Agents
- A Modeling Methodology for Conflict Control in Multi-Agent Systems1 Jiexin Lian and Sol M. Shatz
- Abstract--an interplay between mobile devices and static sensor nodes is envisioned in the near future. This will enable a
- To facilitate flexible data discovery, sensor networks can be supported by query processing, where a query is
- A Technique for Power-Aware Query-Informed Routing in Support of Long-Duration Queries for Sensor Networks
- International Journal of Software Engineering and Knowledge Engineering
- Mapping UML Diagrams to a Petri Net Notation for System Simulation Zhaoxia Hu and Sol M. Shatz
- A Framework for Model-Based Design of Agent-Oriented Software1
- Tool Integration for Flexible Simulation of Distributed Algorithms Shashank Khanvilkar1,
- Compositional Petri Net Models ofCompositional Petri Net Models of Advanced Tasking in Ada-95Advanced Tasking in Ada-95
- A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study
- A Framework for Agent-Based Trust Management in Online Auctions* , Sol M. Shatz
- An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce
- UML Diagrams to Object Petri Net Models: An Approach for Modeling and John Anil Saldhana and Sol M. Shatz
- Potential Arc: A Modeling Mechanism For Conflict Control In Multi-Agent Jiexin Lian and Sol M. Shatz
- AN APPROACH TO OBJECT SYSTEM MODELING BY STATE-BASED OBJECT PETRI NETS1
- Design Models for Components in Distributed Object Software X. Xie and S. M. Shatz
- Formalization of Object Behavior and Interactions From UML Models1 John Anil Saldhana, Sol M. Shatz, and Zhaoxia Hu
- An Approach for Modeling Components with Customization for Distributed Software1 X. Xie and S. M. Shatz
- Multi-Root, Multi-Query Processing in Sensor Zhiguo Zhang, Ajay Kshemkalyani, and Sol M. Shatz
- Toward Using Node Mobility to Enhance Greedy Forwarding in Geographic Routing for Mobile Ad Hoc Networks1
- Abstract--An interplay between mobile devices and static sensor nodes is envisioned in the near future. This will enable a heterogeneous design space that can offset the stringent resource and power constraints encountered in traditional static sensor
- A Formal Approach for Modeling Software Agents Coordination Lily Chang1
- A Framework for Modeling Agent-Oriented Software* Haiping Xu and Sol M. Shatz
- A Query Language for Automated General Analysis of Concurrent Ada Programs
- Simulation-Based Analysis of UML Statechart Diagrams: Methods and Case Studies1 Jiexin Lian, Zhaoxia Hu and Sol M. Shatz
