1650 search results - page 145 / 330 » The HOM problem is decidable |
141
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
152
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
133
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
138
click to vote
FIMH
2005
Springer
15 years 9 months ago
2005
Springer
Calcified coronary arteries can cause severe cardiac problems and may provoke an infarction of the heart’s wall. An established treatment method is the bypass operation. The usa...
111
click to vote
JIT
2005
Springer
15 years 9 months ago
2005
Springer
: The challenge of finding services or resources in Web services and Grid environments has recently been the subject of a lot of attention. Different solutions to this problem wer...