1299 search results - page 113 / 260 » On the Correctness of Operating System Kernels |
138
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
154
click to vote
BPM
2000
Springer
15 years 8 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
132
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...
133
click to vote
ADAEUROPE
2009
Springer
15 years 11 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
132
Voted
ESE
1990
15 years 8 months ago
1990
Most approaches to model-based diagnosis describe a diagnosis for a system as a set of failing components that explains the symptoms. In order to characterize the typically very l...