Open Access. Powered by Scholars. Published by Universities.®

Business Intelligence Commons

Open Access. Powered by Scholars. Published by Universities.®

Journal

Engineering

Traffic

Publication Year

Articles 1 - 4 of 4

Full-Text Articles in Business Intelligence

Formal Verification Of Urban Traffic System Using The Concept Of Fuzzy Workflow Simulation, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi Jan 2009

Formal Verification Of Urban Traffic System Using The Concept Of Fuzzy Workflow Simulation, Manuj Darbari, Abhay Kumar Srivastava, Sanjay Medhavi

Journal of International Technology and Information Management

Modeling complex urban traffic system requires extensive use of workflow methodologies which can simulate almost real time traffic situations. Number of studies were done in the field of Urban Traffic Simulation like PLOTS, NETSIM and PALAMICS but none of them could provide a real formal solution. Our paper proposes a methodology using Fuzzy Petri nets for modeling real time traffic system. Fuzzy Petrinets are also visualised and tested by using Flow- Charter and HPSIM software packages. These packages help in providing successive iterations of process model for further refinement.


Internet Industry Competition Dynamics: Peering Limitations, Exposure, And Counter Strategies, Seungjae Shin, Jack E. Tucci Jan 2007

Internet Industry Competition Dynamics: Peering Limitations, Exposure, And Counter Strategies, Seungjae Shin, Jack E. Tucci

Journal of International Technology and Information Management

The Internet industry is vertically integrated with Internet Backbone Providers (IBPs) and Internet Service Providers (ISPs.) Although there are many ISPs and IBPs in each stream, both markets are considered independent oligopolies in that there are a few dominant competitors in each market. It is generally accepted that the Internet industry structure has evolved into a four-tier hierarchical structure. The synergistic and codependent nature of the Internet industry is the key element in understanding the competitive environment in which both IBP’s and ISP’s cooperate. Peering is an efficient way to exchange traffic freely within the access tier, nevertheless competitive constraints …


Application Of Uml For Modeling Urban Traffic System Using Producer Consumer Theory To Generate Process Algebra Model, Manuj Darbari, Sanjay Medhavi, Abhay Kumar Srivastava Jan 2007

Application Of Uml For Modeling Urban Traffic System Using Producer Consumer Theory To Generate Process Algebra Model, Manuj Darbari, Sanjay Medhavi, Abhay Kumar Srivastava

Journal of International Technology and Information Management

UML is widely used as an industry standard for modeling any system. In this paper will be dealing with simple UML diagrams and show that low it can be transformed into process algebra models specially designated to model urban traffic systems. The model capture functionality at the level of mesoscopic as well as microscopic level and it is merged with process algebra’s producer consumer theory. The model is also formalized using Process algebra equations. This paper focuses on complex situational activity diagrams enhancing the expressivity by refining at the abstraction levels. Performance requirement is annotated by the UML profile for …


Review Of The Opnet It Guru Software, Jeng-Chung Victor Chen Jan 2004

Review Of The Opnet It Guru Software, Jeng-Chung Victor Chen

Journal of International Technology and Information Management

The OPNET IT GURU has been in existence for years and designed to be used for the industry and the academics. The simulation software is now in version 10.0 and equipped with abundant features such as: modeling network topology and traffic, application impact assessment, and server capacity planning. The features of modeling network topology and traffic are ideal for network engineers to experiment different kinds of scenarios before implementation of any networks, which in turn could cost the organizations less on the IT budget. The application impact assessment is useful when measuring the end-to-end time of the deployed or to-be-deployed …