- A Framework for Modeling AgentOriented Software * Haiping Xu and Sol M. Shatz
- Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets1
- 290 Conf. On Frontiers in Education: CS and CE | FECS'07 | Designing Software Engineering Option within
- Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
- A METHODOLOGY FOR ROLE-BASED MODELING OF OPEN MULTI-AGENT SOFTWARE SYSTEMS
- Presented on Feb. 26 (Monday), 2001 at 3:30 PM in room 1027 SEO FROM OBJECT TO AGENT: AN APPROACH TO USING FORMAL
- 195Int'l Conf. Artificial Intelligence | ICAI'10 | Identifying Suspicious Bidders Utilizing Hierarchical
- Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions*
- Fifth International Conference on Information Technology: New Generations A Framework for Agent-Based Trust Management in Online Auctions*
- A Multi-State Bayesian Network for Shill Verification in Online Auctions* Ankit Goel1
- International Journal of Computational Intelligence Theory and Practice Vol. 2, No. 1, June 2007 Serials Publications
- ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
- An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions*
- A Framework for Modeling Agent-Oriented Software* Haiping Xu and Sol M. Shatz
- Towards Automated Development of Multi-Agent Systems Using RADE
- Presented on Feb. 26 (Monday), 2001 at 3:30 PM in room 1027 SEO FROM OBJECT TO AGENT: AN APPROACH TO USING FORMAL
- Building a Health Care Multi-Agent Simulation System with Role-Based
- An Integrated Role-Based Approach for Modeling, Designing
- Proposal for book chapters in Intelligent Agent Software Engineering, March 2001 Page 1 Formal Methods in Agent-Oriented Design and Analysis
- Defending Against XML-Based Attacks Using State-Based XML Firewall
- 02/26/01 Department of EECS, UIC 1 From Object to Agent: An Approach to Using Formal
- A Framework for Agent-Based Trust Management in Online Auctions* , Sol M. Shatz
- Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents
- 134 Int'l Conf. Software Eng. Research and Practice | SERP'09 | Real-Time Model Checking for Shill Detection in
- PAPER MANUSCRIPT SUBMITTED TO INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING &
- A Framework for Model-Based Design of Agent-Oriented Software1
- UMASS DARTMOUTH 5-28-2011 CURRICULUM VITAE Haiping Xu
- Securing Service-Oriented Systems Using State-Based XML Firewall* Abhinay Reddyreddy and Haiping Xu
- RESEARCH ARTICLE Zhenhua YU, Yuanli CAI, Haiping XU
- Inference of Online Auction Shills Using Dempster-Shafer Theory* , Sol M. Shatz1
- Combating Online In-Auction Fraud: Clues, Techniques and Challenges* , Sol M. Shatza
- A PETRI NET BASED XML FIREWALL SECURITY MODEL FOR WEB SERVICES INVOCATION
- State-Based XML Firewall for Service-Oriented Systems Abhinay Kartik Reddyreddy and Haiping Xu
- Developing Multi-Agent Systems with Automatic Agent Generation and Dynamic Task Allocation Mechanisms
- An Agent-based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce
- Extending G-Nets to Support Inheritance Modeling in Concurrent Object-Oriented Design
- A MODEL-BASED APPROACH FOR DEVELOPMENT OF MULTI-AGENT SOFTWARE SYSTEMS
- Complete Sequence Generation Algorithm for Reliability Analysis of Dynamic Systems with Sequence-Dependent Failures
- Formal Modeling of Synchronization Methods forFormal Modeling of Synchronization Methods for Concurrent Objects inConcurrent Objects in Ada 95Ada 95
- Model-Based Development of Intelligent Communicating Agents for Multi-Agent Systems1
- A Design Model for Intelligent Mobile Agent Software Systems1
- Modeling and Analyzing Search/Insert/Delete Problem byModeling and Analyzing Search/Insert/Delete Problem by Petri NetsPetri Nets
- Hamilton St SSixthStNSixthSt
- Arizona Intramurals * Student Recreation Center, Room 122 * Tennis Rules -Page 1 of 10, Updated: 9/29/2004 4:41 PM * Imsports@email.arizona.edu * (520) 621-8723 TENNIS RULES
- FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING
- International Journal of Software Engineering and Knowledge Engineering World Scientific Publishing Company
- Multi-Agent Systems for Healthcare Simulation and Modeling: Applications for System Improvement
- RESEARCH ARTICLE Zhenhua YU, Yuanli CAI, Haiping XU
- PAPER MANUSCRIPT SUBMITTED TO INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS
- 03/26/01 Department of EECS, UIC 1 An Agent-based Petri Net Model with Application to
- Java Security Model andJava Security Model and Bytecode VerificationBytecode Verification1 EECS department
- 04/17/01 Department of EECS, UIC 1 A Framework for Modeling Agent-Oriented Software
- A FORMAL APPROACH TO DETECTING SHILLING BEHAVIORS IN CONCURRENT ONLINE AUCTIONS
- 10/10/00 Department of EECS, UIC 1 Extending G-Nets to Support Inheritance Modeling in
- A Liberal Arts (Group I) B Main Auditorium (Group V)
- DART Blueline Express stops Building Name (abbreviation)
- Foreword................................................................................III Summary of Important Changes for 2005 Edition of Friend at Court................IV
- Int. J. Security and Networks, Vol. 3, No. 3, 2008 147 Copyright 2008 Inderscience Enterprises Ltd.
- An Agentbased Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce
- Real-Time Trust Management in Agent Based Online Auction Systems* Rinkesh Patel, Haiping Xu and Ankit Goel
- vol 22 no 4 july 2007 179 Comput Syst Sci & Eng (2007) 4: 179-191
- Model Checking Bidding Behaviors in Internet Concurrent Auctions Haiping Xu and Yi-Tsung Cheng
- Case-Based Instructional Planning for Learning in a Context Kai Warendorf, Haiping Xu and Antoon Verhoeven
- Proposal for book chapters in Intelligent Agent Software Engineering, March 2001 Page 1 Formal Methods in AgentOriented Design and Analysis
- Subject: Fall 2011 Registration Dates From: "Dr. Carnell Jones, Jr. -University Registrar"
- 10/20/99 Department of EECS, UIC 1 Formal Modeling of Synchronization
- 06/29/01 Computer Science Dept., UIC 1 Mobile AgentsMobile Agents
- A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition
- Subject: Spring 2012 Registration -Graduate and Undergraduate From: UMDNOTIFY@umassd.edu
- PAPER MANUSCRIPT SUBMITTED TO THE COMPUTER JOURNAL (Final Version)
- Price Comparison: A Reliable Approach to Identifying Shill Bidding in Online Auctions? Fei Dong, 2
