8828 search results - page 136 / 1766 » Formal methods in practice |
160
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
134
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
Gotsman et al. (SIGGRAPH 2003) presented the first method to generate a provably bijective parameterization of a closed genus-0 manifold mesh to the unit sphere. This involves the...
111
click to vote
WSC
2001
15 years 5 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
143
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
143
click to vote
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the crypto...