Sciweavers

1099 search results - page 205 / 220
» Petri net ontology
Sort
View
COMCOM
2007
83views more  COMCOM 2007»
13 years 11 months ago
Cost analysis and optimization for IP multicast group management
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
Yongjun Li, James Zijun Wang
JCP
2008
142views more  JCP 2008»
13 years 11 months ago
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
Boleslaw Mikolajczak, Nirmal Gami
JSS
2006
153views more  JSS 2006»
13 years 11 months ago
Towards the automatic generation of mobile agents for distributed intrusion detection system
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
Yanxin Wang, Smruti Ranjan Behera, Johnny Wong, Gu...
SIAMAM
2008
72views more  SIAMAM 2008»
13 years 10 months ago
Global Asymptotic Stability for a Class of Nonlinear Chemical Equations
We consider a class of nonlinear differential equations that arises in the study of chemical reaction systems known to be locally asymptotically stable and prove that they are in f...
David F. Anderson
SQJ
2008
94views more  SQJ 2008»
13 years 10 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz