469 search results - page 9 / 94 » Reasoning About Method Calls in Interface Specifications |
VMCAI
2010
Springer
14 years 7 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...
IJCAI
2001
13 years 11 months ago
2001
This paper presents a new method for building domain-specific web search engines. Previous methods eliminate irrelevant documents from the pages accessed using heuristics based on...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
CHI
2010
ACM
13 years 10 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
VLUDS
2010
13 years 4 months ago
2010
A central feature that scientists are interested in is the dynamics of fluid interfaces or the so called material boundaries in multi-fluid simulation . Visualization techniques f...