Sciweavers

8022 search results - page 30 / 1605
» Predictability in Critical Systems
Sort
View
HASE
1999
IEEE
15 years 4 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
Mario Dal Cin, Gábor Huszerl, Konstantinos ...
93
Voted
IFIP13
2004
15 years 1 months ago
The Team-Based Operation of Safety-Critical Programmable Systems
This paper analyzes a range of incidents involving team-based interaction with safety-critical programmable systems. The incidents were submitted to NASA's Aviation Safety Rep...
C. W. Johnson
SIGMETRICS
2000
ACM
15 years 4 months ago
An analytical model of the working-set sizes in decision-support systems
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
Magnus Karlsson, Per Stenström
ECIS
2004
15 years 1 months ago
The effect of power on the adoption of interorganizational information systems: The Adoption Position model
The adoption and implementation of interorganizational information systems (IOS) heavily depend upon the trading partner(s) of the focal organization. Power structures have been s...
Akos Nagy
SCS
2001
15 years 1 months ago
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence
This paper describes recently developed policy and procedures for safety management during system acquisition within the Australian government's Defence Materiel Organisation...
Peter A. Lindsay