4036 search results - page 274 / 808 » Formal Methods |
162
click to vote
FMCO
2007
Springer
16 years 24 days ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
159
click to vote
ISOLA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
155
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
165
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
157
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...