Sciweavers

1279 search results - page 79 / 256
» AWESIM: The Integrated Simulation System
Sort
View
ATMOS
2007
124views Optimization» more  ATMOS 2007»
15 years 3 months ago
A Simulation/Optimization Framework for Locomotive Planning
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
Artyom G. Nahapetyan, Ravindra K. Ahuja, F. Zeynep...
NCM
2010
14 years 12 months ago
Trusted business system model using context sensitiveness
—The objective of the paper is to propose a predictable context sensitive trust model for a business system. A business system can be imagined with four basic entities between wh...
Chandrasekaran Subramaniam, Sankarbharathy Ponnusa...
RTAS
2008
IEEE
15 years 8 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 7 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
IPPS
2006
IEEE
15 years 7 months ago
A job monitoring system for the LCG computing grid
Experience with generating simulation data of high energy physics experiments has shown that a job monitoring system (JMS) is essential to understand failures of jobs within the G...
Ahmad Hammad, T. Harenberg, D. Igdalov, P. Mä...