1397 search results - page 174 / 280 » On the Need for Practical Formal Methods |
135
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
168
click to vote
SEBD
2003
15 years 6 months ago
2003
Abstract. The management of user preferences is becoming a fundamental ingredient of modern Web-based data-intensive applications, in which information filtering is crucial to red...
157
click to vote
TIP
2008
15 years 4 months ago
2008
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
128
click to vote
CHI
2010
ACM
15 years 3 months ago
2010
ACM
With healthcare moving towards electronic health records, it is important to understand existing work practices to design effective systems. We conducted an observational study in...
146
click to vote
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...