3901 search results - page 655 / 781 » software 2008 |
159
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
137
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
We prove a version of the derandomized Direct Product lemma for deterministic space-bounded algorithms. Suppose a Boolean function g : {0, 1}n {0, 1} cannot be computed on more th...
124
click to vote
ACSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
183
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
140
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper addresses the general single-machine earliness-tardiness problem with distinct release dates, due dates, and unit costs. The aim of this research is to obtain an exact n...