11718 search results - page 2120 / 2344 » Testing database applications |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, the high density out-of-plane microprobe array is demonstrated. The fabrication processes of proposed device including bulk micromachining, thin film deposition and ...
CPHYSICS
2008
13 years 8 months ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
EAAI
2008
13 years 8 months ago
2008
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...
ALGORITHMICA
2006
13 years 8 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...