UMass Dartmouth CIS Technical Reports
REPORT SEARCH
     
There were 24 reports found. Submit a Report
Sort By Author Author(s) Sort By Title Title Currently Sorted By Report No. in Descending Order - Click to view in Ascending Order Report No. View Hits
Xu, Haiping
Shatz, Sol M.
Bates, Christopher K.
 A Framework for Agent-Based Trust Management in Online Auctions UMASSD-CIS-TR-2007007 View the report: A Framework for Agent-Based Trust Management in Online Auctions 412
Padmanabhan, Deepak
Vokkarane, Vinod
TCP Over Optical Burst Switching (OBS): To Split or Not To Split? UMASSD-CIS-TR-2007006 View the report: TCP Over Optical Burst Switching (OBS): To Split or Not To Split? 593
Xu, Haiping
Xing, Liudong
FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING UMASSD-CIS-TR-2007005 View the report: FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING 1259
Robidoux, Ryan
Automated Verification of a Computer System Reliability Model UMASSD-CIS-TR-2007004 View the report: Automated Verification of a Computer System Reliability Model 547
Patel, Rinkesh
Real-Time Trust Management in Agent Based Online Auction Systems UMASSD-CIS-TR-2007003 View the report: Real-Time Trust Management in Agent Based Online Auction Systems 688
Khadka, Binsan
Transformation of Live Sequence Charts to Colored Petri Nets UMASSD-CIS-TR-2007002 View the report: Transformation of Live Sequence Charts to Colored Petri Nets 1134
Jain, Deepti
CAR: Coordinated Activation and Reporting for Target Monitoring in Wireless Sensor Networks UMASSD-CIS-TR-2007001 View the report: CAR: Coordinated Activation and Reporting for Target Monitoring in Wireless Sensor Networks 639
Williams, Jason
The Study of Emotion, Learning and Intelligence UMASSD-CIS-TR-2006010 View the report: The Study of Emotion, Learning and Intelligence 914
Parikh, Sachin
Vokkarane, Vinod
Xing, Liudong
Kasilingam, Dayalan
Node-Replacement Policies to Maintain Threshold-Coverage in Wireless Sensor Networks UMASSD-CIS-TR-2006009 View the report: Node-Replacement Policies to Maintain Threshold-Coverage in Wireless Sensor Networks 900
Ayachit, Mihir M.
A PETRI NET BASED XML FIREWALL SECURITY MODEL FOR WEB SERVICES INVOCATION UMASSD-CIS-TR-2006008 View the report: A PETRI NET BASED XML FIREWALL SECURITY MODEL FOR WEB SERVICES INVOCATION 1053
Basnet, Animesh
Formulation of Decision Support Systems (DSS) Architectures for Highway Toll Plazas UMASSD-CIS-TR-2006007 View the report: Formulation of Decision Support Systems (DSS) Architectures for Highway Toll Plazas 1105
Nagelly, Harish Reddy
 Monitoring Wireless Sensor Readings Through Graphical User Interface UMASSD-CIS-TR-2006006 View the report: Monitoring Wireless Sensor Readings Through Graphical User Interface 1908
Zheng, Qinhe
THE STUDY OF VIRTUAL ORGANIZATION UMASSD-CIS-TR-2006005 View the report: THE STUDY OF VIRTUAL ORGANIZATION 779
Cheng, Yi-Tsung
A Formal Approach to Detecting Shilling Behavior in Concurrent Online Auctions UMASSD-CIS-TR-2006004 View the report: A Formal Approach to Detecting Shilling Behavior in Concurrent Online Auctions 958
Jain, Nidhi
Evaluation of Dual-Homing Based Fault-Tolerant Routing in Wireless Sensor Networks UMASSD-CIS-TR-2006003 View the report: Evaluation of Dual-Homing Based Fault-Tolerant Routing in Wireless Sensor Networks 1019
Cheng, Yi-Tsung
Xu, Haiping
A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions UMASSD-CIS-TR-2006002 View the report: A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions 1103
Jain, Nidhi
Vokkarane, Vinod
Wang, Jianping
Evaluation of Dual-Homed Fault-Tolerant Routing in Wireless Sensor Networks UMASSD-CIS-TR-2006001 View the report: Evaluation of Dual-Homed Fault-Tolerant Routing in Wireless Sensor Networks 1292
Zhang, Xiaoqin
Solving Negotiation Chains in Semi Cooperative Multi-Agent Systems UMASSD-CIS-TR-2005007 View the report: Solving Negotiation Chains in Semi Cooperative Multi-Agent Systems 1376
Wang, Zuyan
Petri Net Morphisms and Their Roles in Formal Development of Concurrent Systems UMASSD-CIS-TR-2005006 View the report: Petri Net Morphisms and Their Roles in Formal Development of Concurrent Systems 969
Bauskar, Bhushan
INTEGRATION OF OBJECT ORIENTED DESIGN AND COLORED PETRI NETS USING ABSTRACT NODE APPROACH UMASSD-CIS-TR-2005005 View the report: INTEGRATION OF OBJECT ORIENTED DESIGN AND COLORED PETRI NETS USING ABSTRACT NODE APPROACH 910
Mikolajczak, Boleslaw
Specifying Selected Security Features of Inter-Organizational Workflows UMASSD-CIS-TR-2005004 View the report: Specifying Selected Security Features of Inter-Organizational Workflows 1084
Joshi, Sachin
Security in Inter-Organizational Workflows UMASSD-CIS-TR-2005003 View the report: Security in Inter-Organizational Workflows 2116
Vokkarane, Vinod M
Wang, Jianping
Optimal Remote Homing for Providing Service Differentiation in Information-aware Multi-Layered Wireless Sensor Networks UMASSD-CIS-TR-2005002 View the report: Optimal Remote Homing for Providing Service Differentiation in Information-aware Multi-Layered Wireless Sensor Networks 964
Vokkarane, Vinod M
Zhang, Qiong
Forward Error Correction: A Loss Recovery Mechanism for Optical Burst-Switched Networks UMASSD-CIS-TR-2005001 View the report: Forward Error Correction: A Loss Recovery Mechanism for Optical Burst-Switched Networks 1208