Sciweavers

41938 search results - page 238 / 8388
» Complex Systems Modeling
Sort
View
IADIS
2004
15 years 8 months ago
Telecollaboration - a case study for performance analysis of voip systems
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
Venkatesh Mahadevan, Zenon Chaczko
SDL
2003
158views Hardware» more  SDL 2003»
15 years 7 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
IEEEIAS
2007
IEEE
16 years 24 days ago
SARBAC07: A Scoped Administration Model for RBAC with Hybrid Hierarchy
Recently, administration of RBAC systems using a role-based approach has become very appealing because of the benefits that such an approach typically brings. This approach uses R...
Yue Zhang 0002, James B. D. Joshi
APN
2005
Springer
16 years 1 days ago
Modeling Dynamic Architectures Using Nets-Within-Nets
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
COMPLEXITY
2007
103views more  COMPLEXITY 2007»
15 years 6 months ago
Putting complex systems to work
A primary objective of this paper (as well as of this symposium) is to examine concepts from the field of complex systems that can be applied to systems engineering. In this paper ...
Russ Abbott