The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In 2011, GPSS, the General Purpose Simulation System, celebrates its 50th anniversary. At the 2001 Winter Simulation Conference there were two papers dealing with the 40th anniversary of GPSS. With these papers available on the Web, this paper will concentrate on the developments of GPSS after 2001. There are still three systems with the GPSS name that are sold, supported and improved: GPSS/H, GPSS...
Power-system simulator is considered an essential tool for design, operation, and control of electrical power systems. The nature of power-system enforces its simulation into sophisticated mathematical models and matrix calculations. Consequently, several research efforts were directed to develop numerical techniques that include efficient mathematical methods for various power system problems. Along...
As applications grow more and more complex, the current software faces a great challenge in dynamism. This paper proposes to modernize legacy software towards runtime plug-and-play architecture using service-oriented component model. Our object is to provide runtime plug-and-play feature for software to simplify development and adapt to changing execution environment. We propose a two-stage modernization...
To follow the technology advancement and satisfy the needs on the RTI software in the “Cloud computing” age, a scheme of remodeling the traditional RTI software to be with “Platform as a Service (PaaS)” architecture was proposed. Software construction, sub-component functions and the method of interacting based on the remodeled RTI software on the WAN were studied. The focus was scheduling computing...
Recent shift to the Software as Service popularly known as SaS and Cloud Computing, importance of conventional PC Software has reduced and is making drift towards the cloud with the help of Web 2.0. Software is being used as a Service in the Web that can be accessed from any part of the world. Web Services are one integral part of the cloud computing that are making noises and proposing a lot in depth...
Queuing network modelling is a modelling technique for capacity planning studies of computer and communication systems. Due to complexity of the technique, it is very difficult to know from the computed outputs whether the computation of the modelling software is correct. It is necessary to have an effective testing technique to address this problem. Recently, it has been noticed that metamorphic...
In this paper, we present a program comprehension tool, called SymAnalyzer, which uses symbolic analysis as its main mechanism to help software engineers understand symbolic flows of the the most relevant sequences. Captured information is useful in troubleshooting and familiarization.
OSGi is a famous technique based on the concept Service-Oriented Component Model. As far as the application of OSGi is concerned, Service Dependency management and Distribution are two issues that have to be taken into consideration. The Service Binder is a mechanism that adds automatic service dependency management into OSGi, and R-OSGi is a distributed middleware layer on the top of OSGi that allows...
Today, experimental environments and setups in natural sciences and engineering are neither available sufficiently, nor accessible enough to cover the broad demand. Yet, they form an essential part of the scientific methodology within the technological disciplines. Additionally, the ability to cooperate and work in teams when performing experiments is crucial. By integrating experimental setups into...
A distributed application can be implemented as components, which might be available on a single host or distributed across various hosts. However, in a pervasive environment, such applications cannot be described statically in terms of the required components. This is because in such environments, the device participation is dynamic and the components described in application may not be available...
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interleavings. Software model checkers can directly verify an implementation, but typically cannot handle network input/output operations, which most programs require. This shortcoming can be addressed by a special model checker...
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied successfully to networked software, with all processes being analyzed in conjunction. Unfortunately, this approach does not scale very well. This paper presents a partial-order reduction through which a performance gain of...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.