4460 search results - page 672 / 892 » Formal methods for interactive systems |
150
click to vote
AIME
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
134
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
132
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
135
click to vote
WIOPT
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...
129
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...