3256 search results - page 472 / 652 » Applications of Formal Methods to System Design and Verifica... |
154
click to vote
FTCS
1996
15 years 6 months ago
1996
This paper presents a benchmark for dependablesystems. The benchmark consists of two metrics, number of catastrophic incidents and performance degradation, which are obtained by a...
150
click to vote
JUCS
2008
15 years 5 months ago
2008
: Most information in Hospitals is still only available in text format and the amount of this data is immensely increasing. Consequently, text mining is an essential area of medica...
137
click to vote
IFIP
2009
Springer
15 years 12 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
158
click to vote
SENSYS
2010
ACM
15 years 3 months ago
2010
ACM
Currently, there is no existing method for automatically tracking the location of burrowing animals when they are underground, consequently zoologists only have a partial view of ...
186
click to vote
SOCO
1998
Springer
15 years 5 months ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...