2306 search results - page 78 / 462 » Modeling issues in a shipping system |
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
EUSFLAT
2001
13 years 11 months ago
2001
During radiotherapy many decisions have to be made and the development of an advanced decision support system that take into consideration different and discipline factors in dete...
SNPD
2008
13 years 11 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
DLT
2009
13 years 7 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
ICLP
2004
Springer
14 years 3 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...