Sciweavers

1087 search results - page 84 / 218
» Modelling and Implementing Complex Systems with Timebands
Sort
View
FTCS
1998
114views more  FTCS 1998»
15 years 4 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
WSC
1997
15 years 4 months ago
Applications of Discrete Event Simulation in the Design of Automotive Powertrain Manufacturing Systems
Manufacturing automotive powertrain components (engines and transmissions) is a complex task involving the integration of hundreds of components. Simulation is commonly applied in...
Arun Jayaraman, Ali K. Gunal
DEBS
2008
ACM
15 years 5 months ago
Distributed automatic service composition in large-scale systems
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
Songlin Hu, Vinod Muthusamy, Guoli Li, Hans-Arno J...
MODELS
2009
Springer
15 years 9 months ago
Domain analysis on an electronic health records system
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
Xiaocheng Ge, Richard F. Paige, John A. McDermid
SIGGRAPH
2000
ACM
15 years 7 months ago
QSplat: a multiresolution point rendering system for large meshes
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
Szymon Rusinkiewicz, Marc Levoy