3799 search results - page 243 / 760 » An Engineering Approach to Formal Methods |
161
click to vote
CODES
2007
IEEE
16 years 15 days ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
151
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
148
click to vote
CODES
2007
IEEE
16 years 15 days ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
295
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
136
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Phishing is a significant security threat to the Internet, which causes tremendous economic loss every year. In this paper, we proposed a novel hybrid phish detection method based...