182 search results - page 26 / 37 » P Automata: Concepts, Results, and New Aspects |
89
Voted
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
IJSNET
2011
14 years 4 months ago
2011
— The numbers of high-risk pregnancies and premature births are increasing due to the steadily higher age at which women get pregnant. The long-term quality of life of the neonat...
NPIV
1998
ACM
15 years 1 months ago
1998
ACM
We explore techniques from visualization and computational geometry to make tactical information more intuitive to a military commander. To be successful, the commander must quick...
TC
1997
14 years 11 months ago
1997
In this paper we describe a new approach to repairing violations of integrity constraints in databases with null values. By adopting basic concepts from model-based diagnosis, we ...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Ultra low-power devices are being developed for embedded applications in bio-medical electronics, wireless sensor networks, environment monitoring and protection, etc. The testing...