469 search results - page 40 / 94 » Reasoning About Method Calls in Interface Specifications |
ESOP
2006
Springer
14 years 11 days ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
CISIS
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— For certain applications, field robotic systems require small size for cost, weight, access, stealth or other reasons. Small size results in constraints on critical resources s...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...