3799 search results - page 491 / 760 » An Engineering Approach to Formal Methods |
164
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
156
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
186
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Web Service (WS) technology represents a fundamental shift in the way web applications are developed for e-business. It is becoming the next paradigm to deploy business services o...
192
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
Aspect mining identifies cross-cutting concerns in a program to help migrating it to an aspect-oriented design. Such concerns may not exist from the beginning, but emerge over ti...
190
Voted
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a novel approach to clustering, based on deterministic analysis of random walks on the weighted graph associated with the clustering problem. The method is cen...