1299 search results - page 141 / 260 » On the Correctness of Operating System Kernels |
178
click to vote
CCS
1994
ACM
15 years 11 months ago
1994
ACM
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
163
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
170
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
174
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
187
click to vote
FMOODS
2003
15 years 8 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...