Sciweavers

7778 search results - page 1332 / 1556
» Designing Controllers for Reachability
Sort
View
VIP
2003
15 years 5 months ago
Web-based Multimedia GP Medical System
This paper introduced GP-Soft, a powerful new patient management system, which is designed to improve the records management for clinic, nursing home and hospital. GP-Soft is a co...
Chee Chern Lim, Man Hing Yu, Jesse J. Jin
FTCS
1998
91views more  FTCS 1998»
15 years 5 months ago
How Fail-Stop are Faulty Programs?
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...
Subhachandra Chandra, Peter M. Chen
FTCS
1998
114views more  FTCS 1998»
15 years 5 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...
FTCS
1998
144views more  FTCS 1998»
15 years 5 months ago
Improving Software Robustness with Dependability Cases
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
Roy A. Maxion, Robert T. Olszewski
ICIS
1998
15 years 5 months ago
Technology as traitor: emergent SAP infrastructure in a global organization
This paper discusses IT infrastructure development and use in the European fertilizer division of Norsk Hydro. The main element of the infrastructure discussed is a new SAP-based ...
Ole Hanseth, Kristin Braa
« Prev « First page 1332 / 1556 Last » Next »