153 search results - page 16 / 31 » Implementing and Validating an Environmental and Health Moni... |
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
100
click to vote
WACV
2005
IEEE
15 years 5 months ago
2005
IEEE
Position tracking of rodents is useful and necessary to help elucidate the behavioral and physiological effects of genetic mutations, drug action, and environmental stimuli. In th...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
LREC
2010
15 years 1 months ago
2010
We describe the implementation of an enterprise monitoring system that builds on an ontology-based information extraction (OBIE) component applied to heterogeneous data sources. T...