| Price comparison: A reliable approach to identifying shill bidding in online auctions? | 11 | 0.56 | 2012 |
| A Methodology For Modeling Multi-Agent Systems Using Nested Petri Nets | 6 | 0.48 | 2012 |
| Mobile Sampling of Sensor Field Data Using Controlled Broadcast | 7 | 0.50 | 2011 |
| An Empirical Evaluation On The Relationship Between Final Auction Price And Shilling Activity In Online Auctions | 2 | 0.39 | 2010 |
| Dynamic multiroot, multiquery processing based on data sharing in sensor networks | 3 | 0.39 | 2010 |
| Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents. | 1 | 0.35 | 2010 |
| Reasoning Under Uncertainty For Shill Detection In Online Auctions Using Dempster-Shafer Theory | 16 | 0.88 | 2010 |
| Remote Query Processing In Wireless Sensor Networks Using Coordinated Mobile Objects | 1 | 0.35 | 2010 |
| A Multi-State Bayesian Network For Shill Verification In Online Auctions | 9 | 0.55 | 2010 |
| Real-Time Model Checking for Shill Detection in Live Online Auctions | 19 | 0.99 | 2009 |
| Flexible coordinator design for modeling resource sharing in multi-agent systems | 3 | 0.40 | 2009 |
| Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions | 5 | 0.52 | 2009 |
| Querying sensor networks using ad hoc mobile devices: A two-layer networking approach | 5 | 0.45 | 2009 |
| Inference of Online Auction Shills Using Dempster-Shafer Theory | 16 | 0.77 | 2009 |
| Combating online in-auction fraud: Clues, techniques and challenges | 7 | 0.60 | 2009 |
| Multi-root, Multi-Query Processing in Sensor Networks | 1 | 0.38 | 2008 |
| A Framework for Agent-Based Trust Management in Online Auctions | 14 | 0.98 | 2008 |
| Composing Multi-Perspective Software Requirements Specifications | 5 | 0.41 | 2008 |
| Simulation-based analysis of UML statechart diagrams: methods and case studies | 11 | 0.62 | 2008 |
| Component Based Multi-Agent System Modeling and Analysis: A Case Study | 1 | 0.36 | 2007 |
| A Framework For Querying Sensor Networks Using Mobile Devices | 2 | 0.38 | 2007 |
| Optimizing Query Injection from Mobile Objects to Sensor Networks | 2 | 0.38 | 2007 |
| Explicit modeling of semantics associated with composite states in UML statecharts | 14 | 0.96 | 2006 |
| A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study | 1 | 0.36 | 2005 |
| A Security Based Model For Mobile Agent Software Systems | 2 | 0.39 | 2005 |
| Mapping UML Diagrams to a Petri Net Notation for System Simulation | 27 | 1.62 | 2004 |
| ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems | 19 | 1.13 | 2003 |
| A Framework for Model-Based Design of Agent-Oriented Software | 35 | 1.47 | 2003 |
| Development Of Class-Level And Instance-Level Design Models For Distributed-Object Software | 0 | 0.34 | 2002 |
| An approach for modeling components with customization for distributed software | 0 | 0.34 | 2001 |
| An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce | 14 | 0.70 | 2001 |
| Formalization Of Object Behavior And Interactions From Uml Models | 23 | 1.59 | 2001 |
| Tool integration for flexible simulation of distributed algorithms | 4 | 0.48 | 2001 |
| Extending G-nets to support inheritance modeling in concurrent object-oriented design | 6 | 0.88 | 2000 |
| Compositional Petri net models of advanced tasking in Ada-95 | 5 | 0.54 | 1999 |
| Formal modeling of synchronization methods for concurrent objects in Ada 95 | 2 | 0.40 | 1999 |
| Protocol Specification Design Using An Object-Based Petri Net Formalism | 1 | 0.36 | 1999 |
| An Approach to Object System Modeling by State-Based Object Petri Nets | 10 | 0.85 | 1998 |
| Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective | 5 | 1.07 | 1997 |
| An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis | 38 | 3.11 | 1996 |
| Detection of Ada Static Deadlocks Using Petri Net Invariants | 89 | 16.71 | 1989 |
| Superprocesses: a Distributed Program Configuration Concept Supporting | 0 | 0.34 | 1988 |
| Introduction to Distributed-Software Engineering | 18 | 8.24 | 1987 |
| A partitioning algorithm for distributed software systems design | 4 | 0.98 | 1986 |
| On Communication in the Design of Software Components of Distributed Computer Systems | 5 | 0.70 | 1982 |
