981 search results - page 131 / 197 » Semantics-aware trace analysis |
119
click to vote
MICCAI
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Recently developed techniques for reconstruction of highresolution 3D images from fetal MR scans allows us to study the morphometry of developing brain tissues in utero. ...
128
Voted
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
107
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
It has been suggested that metadata describing data quality (DQ), termed DQ tags, be made available in situations where decision-makers are unfamiliar with the data context, for e...
155
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
128
click to vote
IEEEIAS
2009
IEEE
15 years 9 months ago
2009
IEEE
: Threats to information security for healthcare information system increased tremendously. There are various factors that contribute to information security threats, many research...